Propositional Logic for Knowledge Representation and Formalization of Reasoning
2017
0 views
0 downloads
Advisor: Rashad Aliyev
Abstract (EN)
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 propositions are discussed. The basic and derived logical connectives are used to establish the compound statements, and the truth tables are constructed to investigate the properties of logical connectives. Such propositions as tautology, satisfiability, contradiction, contingency, logical entailment and logical equivalence are analyzed. Three algebraic normal forms - negation normal form, disjunctive normal form and conjunctive normal form are studied. Horn clauses are implemented. Two forms of valid inferences as modus ponens and modus tollens are considered. Some examples are provided to better understand the main properties of propositional logic. Keywords: Propositional Logic, Logical Connectives, Normal Forms, Horn Clauses, Modus Ponens, Modus Tollens
Author
Kurdman Abdulrahman Rasol
How to Cite
Kurdman Abdulrahman Rasol (Master Thesis). Propositional Logic for Knowledge Representation and Formalization of Reasoning, 2017, Eastern Mediterranean University, Department of Mathematics.
Keywords
License
Tüm Hakları Saklıdır
This work is shared under the specified license terms.
More theses from Eastern Mediterranean University
- An Investigation on Time and Cost Overrun in Construction Projects(2012)
- Radial Power-Law Position-dependent Mass, Cylindrical Coordinates, Spectral Signatures(2015)
- Deep Learning for Robotics(2020)
- Predicting performance level of reinforced concrete structures subject to corrosion as a function of time(2012)
- Some Results on Laguerre Type and Mittag-Leffler Type Functions(2017)
- Discussion of Conservation Approaches for the Selected Heritage Buildings in the Walled City of Famagusta(2019)