JACIII Vol.2 No.1 pp. 16-25
doi: 10.20965/jaciii.1998.p0016


A Framework for Nonmonotonic Reasoning with Rule Priorities

Masato Shibasaki and Katsumi Nitta

Department of Computational Intelligence and Systems Science, Tokyo Institute of Technology, 4259 Nagatsuta, Midori-ku, Yokohama 226, Japan

November 30, 1997
January 10, 1998
February 20, 1998
Argumentation, Defeasible reasoning, Extended logic programming, Nonmonotonic reasoning, Rule prioritization
In the 1990, a number of studies was made on nonmonotonic reasoning with rule priorities. Little is known, however, about relationships among these semantics because there is no framework in which these semantics can be compared. In this paper, we give the basis of this framework, which is a special form of Dung’s argumentation framework, although not covering all semantics of past studies in this category. To be concrete, we provide rule-based framework (RF) for extended logic programs (ELPs), clarify semantics of default rules and rule priorities, and extend it to RF for prioritized extended default logic programs (EDLPs). By means of RF for prioritized EDLPs, we reformulate several semantics of past studies , indicate their improvements, and give new prioritized EDLPs semantics.
Cite this article as:
M. Shibasaki and K. Nitta, “A Framework for Nonmonotonic Reasoning with Rule Priorities,” J. Adv. Comput. Intell. Intell. Inform., Vol.2 No.1, pp. 16-25, 1998.
Data files:

*This site is desgined based on HTML5 and CSS3 for modern browsers, e.g. Chrome, Firefox, Safari, Edge, Opera.

Last updated on May. 10, 2024