Representing Meta-Knowledge in Poole-Systems |
| |
Authors: | Brewka Gerhard |
| |
Affiliation: | (1) Universität Leipzig, Augustusplatz 10–11, 04109 Leipzig, Germany |
| |
Abstract: | We show how Poole-systems, a simple approach to nonmonotonic reasoning, can be extended to take meta-information into account adequately. The meta-information is used to guide the choice of formulas accepted by the reasoner as premises. Existence of a consistent set of conclusions is guaranteed by a least fixpoint construction. The proposed formalism has useful applications in defeasible reasoning, knowledge base fusion and belief revision. |
| |
Keywords: | nonmonotonic reasoning meta reasoning preference handling |
本文献已被 SpringerLink 等数据库收录! |
|