Abstract
This paper describes state of the art in reason maintenance with a focus on its future usage in the KiWi project. To give a bigger picture of the field, it also mentions closely related issues such as non-monotonic logic and paraconsistency. The paper is organized as follows: first, two motivating scenarios referring to semantic wikis are presented which are then used to introduce the different reason maintenance techniques.
Dokumententyp: | Paper |
---|---|
EU Funded Grant Agreement Number: | 211932 |
EU-Projekte: | 7. Forschungsrahmenprogramm (FP7) |
Publikationsform: | Submitted Version |
Keywords: | reason maintenance, belief revision, reasoning, paraconsistency, explanation, rules |
Fakultät: | Mathematik, Informatik und Statistik > Informatik |
Themengebiete: | 000 Informatik, Informationswissenschaft, allgemeine Werke > 004 Informatik |
URN: | urn:nbn:de:bvb:19-epub-14900-8 |
Sprache: | Englisch |
Dokumenten ID: | 14900 |
Datum der Veröffentlichung auf Open Access LMU: | 19. Apr. 2013, 10:21 |
Letzte Änderungen: | 13. Aug. 2024, 12:51 |