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 language | English |
---|---|
Title of host publication | Proceedings of the Twenty-eighth AAAI Conference on Artificial Intelligence, 27-31 July 2014, Quebec, Canada |
Publisher | AAAI Press |
Pages | 1105-1111 |
Number of pages | 7 |
ISBN (Print) | 9781577356783 |
Publication status | Published - 2014 |
Event | AAAI Conference on Artificial Intelligence - , United States Duration: 1 Jan 1980 → … |
Conference
Conference | AAAI Conference on Artificial Intelligence |
---|---|
Country/Territory | United States |
Period | 1/01/80 → … |