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 ...