Paper:
Language: English:

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

Received: November 30, 1997

Accepted: January 10, 1998

Keywords: Argumentation, Defeasible reasoning, Extended logic programming, Nonmonotonic reasoning, Rule prioritization

Journal ref: Journal of Advanced Computational Intelligence and Intelligent Informatics, Vol.2, No.1 pp. 16-25, 1998

Abstract

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.

[Notice]
* "Preview" is the first 2 pages of the article. You don't need the registration.
* To read the PDF file you will then need to download and install the Adobe Reader.
Adobe Reader is free and available for download here: