Browsing 08 Faculty of Arts and Sciences by Subject "Knowledge representation (Information theory) - Reasoning"

EMU I-REP

Browsing 08 Faculty of Arts and Sciences by Subject "Knowledge representation (Information theory) - Reasoning"

Sort by: Order: Results:

  • Propositional Logic for Knowledge Representation and Formalization of Reasoning 
    Rasol, Kurdman Abdulrahman (Eastern Mediterranean University (EMU). Doğu Akdeniz Universitesi (DAÜ), 2017-06)
    The purpose of this master thesis is to investigate the basic concepts of propositional logic for knowledge representation and formalization of reasoning in Artificial Intelligence. The different properties of logical ...