Document Type
Conference Proceeding
Publication Date
1-1-2002
Abstract
W.C. Rounds and G.Q. Zhang have recently proposed to study a form of disjunctive logic programming generalized to algebraic domains [RZ01]. This system allows reasoning with information which is hierarchically structured and forms a (suitable) domain. We extend this framework to include reasoning with negative information, i.e. the implicit or explicit absence of bits of information. These investigations will naturally lead to a form of default reasoning which is strongly related to programming with answer sets to stable models, which has recently created much interest amongst artificial intelligence researchers concerned with knowledge representation and reasoning.
Repository Citation
Hitzler, P.
(2002). Towards Nonmonotonic Reasoning on Hierarchical Knowledge. Proceedings of the WLP: Workshop Logische Programmierung, 68-80.
https://corescholar.libraries.wright.edu/cse/20
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
This paper was presented at WLP: Workshop Logische Programmierung, Dresden, Germany, December 2002.
This is the authors' version of the paper.