Abstract
Conflict resolution is an important issue in knowledge representation and reasoning. A common idea of solving conflicts in reasoning is to introduce priorities in the underlying reasoning mechanism. This paper describes an implementation of prioritized logic programs (PLPs) proposed by Zhang and Foo recently [4]. PLPs is a non-trivial extension of Gelfond and Lifschitz’s extended logic programs [3] by associating preferences to the program, where answer sets provide a semantics of PLPs. As a central part of the implementation of PLPs, we present major algorithms of computing answer sets of PLPs. We show how answer sets of a PLP can be computed efficiently based on previous Niemelä and Simons’ method of computing stable models of logic programs [2].
| Original language | English |
|---|---|
| Title of host publication | Foundations of Intelligent Systems - 11th International Symposium, ISMIS 1999, Proceedings |
| Editors | Zbigniew W. Raś, Zbigniew W. Raś, Andrzej Skowron |
| Publisher | Springer Verlag |
| Pages | 85-93 |
| Number of pages | 9 |
| ISBN (Print) | 354065965X, 9783540659655 |
| DOIs | |
| Publication status | Published - 1999 |
| Event | 11th International Symposium on Methodologies for Intelligent Systems, ISMIS 1999 - Warsaw, Poland Duration: 8 Jun 1999 → 11 Jun 1999 |
Publication series
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Volume | 1609 |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
Conference
| Conference | 11th International Symposium on Methodologies for Intelligent Systems, ISMIS 1999 |
|---|---|
| Country/Territory | Poland |
| City | Warsaw |
| Period | 8/06/99 → 11/06/99 |
Bibliographical note
Publisher Copyright:© Springer-Verlag Berlin Heidelberg 1999.