Resolution and Logic Programming in Algebraic Domains: Negation and Defaults

TitleResolution and Logic Programming in Algebraic Domains: Negation and Defaults
Publication TypeMiscellaneous
Year of Publication2002
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 logic programming with answer sets or stable models, which has recently created much interest amongst artificial intelligence researchers concerned with knowledge representation and reasoning.

Full Text

Pascal Hitzler, 'Resolution and Logic Programming in Algebraic Domains: Negation and Defaults,' Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, Technical Report WV-02-05, 2002.
year: 2002
hasURL: http://knoesis.wright.edu/faculty/pascal/resources/publications/pdf/rztr...