Document Type
Conference Proceeding
Publication Date
9-2004
Abstract
W.C. Rounds and G.-Q. Zhang have proposed to study a form of disjunctive logic programming generalized to algebraic domains [1]. This system allows reasoning with information which is hierarchically structured and forms a (suitable) domain. We extend this framework to include reasoning with default negation, giving rise to a new nonmonotonic reasoning framework on hierarchical knowledge which encompasses answer set programming with extended disjunctive logic programs. We also show that the hierarchically structured knowledge on which programming in this paradigm can be done, arises very naturally from formal concept analysis. Together, we obtain a default reasoning paradigm for conceptual knowledge which is in accordance with mainstream developments in nonmonotonic reasoning.
Repository Citation
Hitzler, P.
(2004). Default Reasoning over Domains and Concept Hierarchies. Lecture Notes in Computer Science, 3238, 351-365.
https://corescholar.libraries.wright.edu/cse/205
DOI
10.1007/978-3-540-30221-6_27
Comments
Attached is the unpublished, peer-reviewed version of the proceeding. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-540-30221-6_27.
Presented at the 27th Annual German Conference on Artificial Intelligence, Ulm, Germany, September 20-24, 2004.