Meta-level Selection Techniques for the Control of Default Reasoning

Victor Allis, Yao Hua Tan, Jan Treur

Research output: Contribution to JournalArticleAcademicpeer-review


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
Issue number2-3
Publication statusPublished - 1996


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


Dive into the research topics of 'Meta-level Selection Techniques for the Control of Default Reasoning'. Together they form a unique fingerprint.

Cite this