Computing general first-order parallel and prioritized circumscription

Hai Wan, Zhanhao Xiao, Zhenfeng Yuan, Heng Zhang, Yan Zhang

    Research output: Chapter in Book / Conference PaperConference Paperpeer-review

    Abstract

    ![CDATA[This paper focuses on computing general first-order parallel and prioritized circumscription with varying constants. We propose linear translations from general first-order circumscription to first-order theories under stable model semantics over arbitrary structures, including Tr_v for parallel circumscription and Tr^s_v for conjunction of parallel circumscriptions (further for prioritized circumscription). To improve the efficiency, we give an optimization \\Gamma_{\\exists} to reduce logic programs in size when eliminating existential quantifiers during the translations. Based on these results, a general first-order circumscription solver, named cfo2lp, is developed by calling answer set programming (ASP) solvers. Using circuit diagnosis problem and extended stable marriage problem as benchmarks, we compare cfo2lp with a propositional circumscription solver circ2dlp and an ASP solver with complex optimization metasp on efficiency. Experimental results demonstrate that for problems represented by first-order circumscription naturally and intuitively, cfo2lp can compute all solutions over finite structures. We also apply our approach to description logics with circumscription and repairs in inconsistent databases, which can be handled effectively.]]
    Original languageEnglish
    Title of host publicationProceedings of the Twenty-eighth AAAI Conference on Artificial Intelligence, 27-31 July 2014, Quebec, Canada
    PublisherAAAI Press
    Pages1105-1111
    Number of pages7
    ISBN (Print)9781577356783
    Publication statusPublished - 2014
    EventAAAI Conference on Artificial Intelligence - , United States
    Duration: 1 Jan 1980 → …

    Conference

    ConferenceAAAI Conference on Artificial Intelligence
    Country/TerritoryUnited States
    Period1/01/80 → …

    Fingerprint

    Dive into the research topics of 'Computing general first-order parallel and prioritized circumscription'. Together they form a unique fingerprint.

    Cite this