You are not currently logged in.
Access JSTOR through your library or other institution:
Representing Meta-Knowledge in Poole-Systems
Studia Logica: An International Journal for Symbolic Logic
Vol. 67, No. 2, On Commonsense Reasoning 1 (Mar., 2001), pp. 153-165
Published by: Springer
Stable URL: http://www.jstor.org/stable/20016276
Page Count: 13
Preview not available
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.
Studia Logica: An International Journal for Symbolic Logic © 2001 Springer