Institutional Repository
| a default approach to semantics of logic programs with constraint atoms | |
| Shen Yi-Dong; You Jia-Huai | |
| 2009 | |
| Conference Name | 10th International Conference on Logic Programming and Nonmonotonic Reasoning |
| Source | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| Conference Date | SEP 14-18, |
| Conference Place | Potsdam, GERMANY |
| Publish Place | HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY |
| Publisher | LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS |
| ISSN | 0302-9743 |
| ISBN | 978-3-642-04237-9 |
| Department | Shen, Yi-Dong Chinese Acad Sci, Inst Software, State Key Lab Comp Sci, Beijing 100190, Peoples R China. |
| English Abstract | We define the semantics of logic programs with (abstract) constraint atoms in a way closely tied to default logic. Like default logic formulas in rules are evaluated using the classical entailment relation, so a constraint atom can be represented by an equivalent propositional formula. Therefore, answer sets are defined in a way closely related to default extensions. The semantics defined this way enjoys two properties generally considered desirable for answer set programming - minimality and derivability. The derivability property is very important because it guarantees free of self-supporting, loops in answer sets. We show that a when restricted to basic logic programs, this semantics agrees with the conditional-satisfaction based semantics. Furthermore, answer sets by the minimal-model based semantics can be recast in our approach. Consequently, the default, approach gives a unifying account of the major existing semantics for logic programs with constraint atoms. This also makes it possible to characterize, in terms of the, minimality mid derivability properties, the precise relationship between them and contrast with others. |
| Keyword | Atoms Logic Programming |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/8326 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation GB/T 7714 | Shen Yi-Dong,You Jia-Huai. a default approach to semantics of logic programs with constraint atoms[C]. HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY:LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS,2009. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment