An overview of KLM-style defeasible entailment
| dc.contributor.advisor | Meyer, Thomas | |
| dc.contributor.author | Kaliski, Adam | |
| dc.date.accessioned | 2021-02-01T10:24:45Z | |
| dc.date.available | 2021-02-01T10:24:45Z | |
| dc.date.issued | 2020 | |
| dc.date.updated | 2021-01-29T11:58:05Z | |
| dc.description.abstract | The usage of formal logic to solve problems in artificial intelligence has a long history in the field. Information is represented in a formal language, which facilitates algorithmic reasoning about some domain knowledge. Traditionally, the algorithms used for the reasoning services are monotonic, which states that adding knowledge never causes the retraction of an inference. A result of this is that if the knowledge in question contains examples that are exceptions to stated rules, then the entire knowledge base may become unsatisfiable. If the knowledge accurately represents the domain, then such a result is undesirable. One solution is nonmonotonic reasoning, which encompasses patterns of defeasible or “common sense” reasoning that may retract conclusions upon the addition of new information to a knowledge base. One of the most prominent frameworks for nonmonotonic reasoning is the one defined by Kraus, Lehmann, and Magidor (KLM). The KLM framework has very desirable features both for theoretical study of nonmonotonic reasoning, as well as for implementation in AI applications. However, the current state of the KLM framework spans numerous papers over two decades of research. This provides a challenge for new researchers to understand the current problems being studied, as well as to understand the framework well enough to either extend it or apply it. This dissertation aims to compile the theoretical work done in this framework to provide a single point of reference for anyone wishing to understand the KLM framework, as well as to know how to define a defeasible entailment relation, using homogenised terminology and notation that is now typical of the field. Firstly, the propositional logic used as the base language will be defined. Then, paralleling the way the framework was historically built up, a preferential semantics over that language will be described, before modifying the language itself with a defeasible connective, and introducing a nonmonotonic entailment relation over such a language. Then, recent extensions to this framework defining various classes of defeasible entailment are described. By the end of this dissertation, the reader should have a well rounded understanding of the KLM framework, from classical logic to defeasible logic. | |
| dc.identifier.apacitation | Kaliski, A. (2020). <i>An overview of KLM-style defeasible entailment</i>. (). ,Faculty of Science ,Department of Computer Science. Retrieved from http://hdl.handle.net/11427/32743 | en_ZA |
| dc.identifier.chicagocitation | Kaliski, Adam. <i>"An overview of KLM-style defeasible entailment."</i> ., ,Faculty of Science ,Department of Computer Science, 2020. http://hdl.handle.net/11427/32743 | en_ZA |
| dc.identifier.citation | Kaliski, A. 2020. An overview of KLM-style defeasible entailment. . ,Faculty of Science ,Department of Computer Science. http://hdl.handle.net/11427/32743 | en_ZA |
| dc.identifier.ris | TY - Master Thesis AU - Kaliski, Adam AB - The usage of formal logic to solve problems in artificial intelligence has a long history in the field. Information is represented in a formal language, which facilitates algorithmic reasoning about some domain knowledge. Traditionally, the algorithms used for the reasoning services are monotonic, which states that adding knowledge never causes the retraction of an inference. A result of this is that if the knowledge in question contains examples that are exceptions to stated rules, then the entire knowledge base may become unsatisfiable. If the knowledge accurately represents the domain, then such a result is undesirable. One solution is nonmonotonic reasoning, which encompasses patterns of defeasible or “common sense” reasoning that may retract conclusions upon the addition of new information to a knowledge base. One of the most prominent frameworks for nonmonotonic reasoning is the one defined by Kraus, Lehmann, and Magidor (KLM). The KLM framework has very desirable features both for theoretical study of nonmonotonic reasoning, as well as for implementation in AI applications. However, the current state of the KLM framework spans numerous papers over two decades of research. This provides a challenge for new researchers to understand the current problems being studied, as well as to understand the framework well enough to either extend it or apply it. This dissertation aims to compile the theoretical work done in this framework to provide a single point of reference for anyone wishing to understand the KLM framework, as well as to know how to define a defeasible entailment relation, using homogenised terminology and notation that is now typical of the field. Firstly, the propositional logic used as the base language will be defined. Then, paralleling the way the framework was historically built up, a preferential semantics over that language will be described, before modifying the language itself with a defeasible connective, and introducing a nonmonotonic entailment relation over such a language. Then, recent extensions to this framework defining various classes of defeasible entailment are described. By the end of this dissertation, the reader should have a well rounded understanding of the KLM framework, from classical logic to defeasible logic. DA - 2020_ DB - OpenUCT DP - University of Cape Town KW - Computer Science LK - https://open.uct.ac.za PY - 2020 T1 - An overview of KLM-style defeasible entailment TI - An overview of KLM-style defeasible entailment UR - http://hdl.handle.net/11427/32743 ER - | en_ZA |
| dc.identifier.uri | http://hdl.handle.net/11427/32743 | |
| dc.identifier.vancouvercitation | Kaliski A. An overview of KLM-style defeasible entailment. []. ,Faculty of Science ,Department of Computer Science, 2020 [cited yyyy month dd]. Available from: http://hdl.handle.net/11427/32743 | en_ZA |
| dc.language.rfc3066 | eng | |
| dc.publisher.department | Department of Computer Science | |
| dc.publisher.faculty | Faculty of Science | |
| dc.subject | Computer Science | |
| dc.title | An overview of KLM-style defeasible entailment | |
| dc.type | Master Thesis | |
| dc.type.qualificationlevel | Masters | |
| dc.type.qualificationlevel | MSc |