Quo Vadis KLM-style Defeasible Reasoning?

Kaliski, Adam and Meyer, Thomas (2020) Quo Vadis KLM-style Defeasible Reasoning?, Proceedings of Proceedings of the First Southern African Conference for Artificial Intelligence Research, 22-26 February 2021, Online, 231-246, SACAIR.

[thumbnail of SACAIR_Proceedings-MainBook_vFin_sm.pdf1.pdf] Text

Download (1MB)


The field of defeasible reasoning has a variety of frameworks, all of which are constructed with the view of codifying the patterns of common-sense reasoning inherent to human reasoning. One of these frameworks was first described by Kraus, Lehmann and Magidor, and is accordingly referred to as the KLM framework. Initially defined in propo- sitional logic, it has since been imported into description and modal log- ics, and implemented into many defeasible reasoning engines. However, there are many ways in which this framework may be advanced theoreti- cally, and many opportunities for it to be applied. This paper covers some of the most prominent areas of future work and possible applications of this framework, with the intention that anyone who has recently famil- iarized themselves with this approach may then have an understanding of the kind of work in which they could engage.

Item Type: Conference paper
Subjects: Computing methodologies > Artificial intelligence > Knowledge representation and reasoning
Alternate Locations: https://sacair.org.za/wp-content/uploads/2021/01/SACAIR_Proceedings-MainBook_Finv3_sm.pdf
Date Deposited: 01 Sep 2021 10:01
Last Modified: 01 Sep 2021 10:01
URI: http://pubs.cs.uct.ac.za/id/eprint/1428

Actions (login required)

View Item View Item