Meta-level Selection Techniques for the Control of Default Reasoning

Victor Allis, Yao Hua Tan, Jan Treur

Research output: Contribution to JournalArticleAcademicpeer-review

Abstract

The problem how to control default reasoning is addressed. In an earlier work it was described how selection functions (on default conclusions) added to default logic can be exploited to describe control. In this paper specific properties of selection functions are described. Moreover, we investigate under which conditions selection functions can be expressed in the form of declarative control knowledge at the meta-level. Furthermore, we show that normal default logic with additional control by selection functions is (in some sense) equivalent to default logic in general. Finally, an alternative approach to control is introduced based on inhibition relations between default rules.
Original languageEnglish
Pages (from-to)189-201
Number of pages13
JournalFuture Generation Computer Systems
Volume12
Issue number2-3
DOIs
Publication statusPublished - 1996

Keywords

  • non-monotonic reasoning
  • knowledge representation
  • implementations of non-classical reasoning
  • meta-level architectures

Cite this