Implementing prioritized logic programming

Article type: Research Article

Authors: Zhang, Yan | Wu, Cheng‐Min | Bai, Yun

Affiliations: School of Computing and Information Technology, University of Western Sydney, Penrith South DC, NSW 1797, Australia E‐mail: {yan,cwu,ybai}@cit.uws.edu.au

Note: [] Corresponding author.

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 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.

Journal: AI Communications, vol. 14, no. 4, pp. 183-196, 2001