Document Type
Conference Proceeding
Publication Date
10-1992
Abstract
The author investigates techniques to make the logic programming paradigm more expressive for knowledge representation, while simultaneously retaining the computational advantages of efficiency and simplicity. He extends the annotated language of K. Thirunarayan and K. Kifer (1989) in various directions to obtain an enriched representation language. In particular, rule bodies are permitted to be a conjunction of literals, and the rules to be recursive. A class of annotated logic programs called the stratified programs is identified which can be given a unique supported minimal Herbrand model as their meaning. Abductive reasoning is integrated into this annotated logic framework. The notion of an explanation is formalized, and when an explanation can be regarded as acceptable is specified.
Repository Citation
Thirunarayan, K.
(1992). Abduction in Annotated Logic Programming. Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1, 682-687.
https://corescholar.libraries.wright.edu/knoesis/864
DOI
10.1109/ICSMC.1992.271692
Included in
Bioinformatics Commons, Communication Technology and New Media Commons, Databases and Information Systems Commons, OS and Networks Commons, Science and Technology Studies Commons
Comments
Presented at the IEEE International Conference on Systems, Man and Cybernetics, Chicago, IL, October 18-21, 1992.
Posted with permission from IEEE.