|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 3 van 13 gevonden artikelen
| Titel: |
Implementing prioritized logic programming |
| Auteur: |
Yan Zhang Cheng-Min Wu Yun Bai |
| Verschenen in: |
AI communications |
| Paginering: | Jaargang 14 (2002) nr. 4 pagina's 183-196 |
| Jaar: |
2002-05-24 |
| Inhoud: |
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 the propositional version of prioritized logic programs (PLPs) proposed by Zhang and Foo recently [7]. As a central part of the system development, in this paper we outline the basic structure of the system, discuss major algorithms of computing answer sets of PLPs and illustrate the system performance based on various testing samples. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 3 van 13 gevonden artikelen
| << vorige | volgende >> |