From answer set logic programming to circumscription via logic of GK

Fangzhen Lin, Yi Zhou

    Research output: Contribution to journalArticlepeer-review

    27 Citations (Scopus)

    Abstract

    We first embed Pearce’s equilibrium logic and Ferraris’s propositional general logic programs in Lin and Shoham’s logic of GK, a nonmonotonic modal logic that has been shown to include as special cases both Reiter’s default logic in the propositional case and Moore’s autoepistemic logic. From this embedding, we obtain a mapping from Ferraris’s propositional general logic programs to circumscription, and show that this mapping can be used to check the strong equivalence between two propositional logic programs in classical logic. We also show that Ferraris’s propositional general logic programs can be extended to the first-order case, and our mapping from Ferraris’s propositional general logic programs to circumscription can be extended to the first-order case as well to provide a semantics for these first-order general logic programs.
    Original languageEnglish
    Pages (from-to)264-277
    Number of pages14
    JournalArtificial Intelligence
    Volume175
    Issue number1
    DOIs
    Publication statusPublished - 2011

    Fingerprint

    Dive into the research topics of 'From answer set logic programming to circumscription via logic of GK'. Together they form a unique fingerprint.

    Cite this