2009 | OriginalPaper | Buchkapitel
Quasi-Classical Model Semantics for Logic Programs – A Paraconsistent Approach
verfasst von : Zhihu Zhang, Zuoquan Lin, Shuang Ren
Erschienen in: Foundations of Intelligent Systems
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
We present a new paraconsistent approach to logic programming, called Quasi-classical (QC for short) model semantics. The basic idea is the following. We define the QC base as a set of all atoms and their complements, which decouples the link between an atom and its complement at the level of interpretation. Then we define QC models for positive logic programs. The QC model semantics actually effecting on disjunctive programs imposes the link between each disjunction occurring in the head of a rule and its complement disjunct. This enhances the ability of paraconsistent reasoning. We also define weak satisfaction to perform reasoning under our approach. The fixpoint semantics with respect to the QC model semantics is also presented in the paper.