Access

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

Representing Meta-Knowledge in Poole-Systems

Gerhard Brewka
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
  • Download ($43.95)
  • Cite this Item
Representing Meta-Knowledge in Poole-Systems
Preview not available

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.

Page Thumbnails

  • Thumbnail: Page 
[153]
    [153]
  • Thumbnail: Page 
154
    154
  • Thumbnail: Page 
155
    155
  • Thumbnail: Page 
156
    156
  • Thumbnail: Page 
157
    157
  • Thumbnail: Page 
158
    158
  • Thumbnail: Page 
159
    159
  • Thumbnail: Page 
160
    160
  • Thumbnail: Page 
161
    161
  • Thumbnail: Page 
162
    162
  • Thumbnail: Page 
163
    163
  • Thumbnail: Page 
164
    164
  • Thumbnail: Page 
165
    165