Representing meta-knowledge in Poole-systems
Studia Logica 67 (2):153-165 (2001)
| 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 | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,631 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesRoy Sorensen (2004). Charity Implies Meta-Charity. Philosophy and Phenomenological Research 68 (2):290 - 315.
Robert L. Causey (1991). The Epistemic Basis of Defeasible Reasoning. Minds and Machines 1 (4):437-458.
Peter Van Inwagen (1998). Meta-Ontology. Erkenntnis 48 (2/3):233 - 250.
Robert Stalnaker (2009). Iterated Belief Revision. Erkenntnis 70 (2):189 - 209.
Charles G. Morgan (2000). The Nature of Nonmonotonic Reasoning. Minds and Machines 10 (3):321-360.
Tijn Borghuis (1998). Modal Pure Type Systems. Journal of Logic, Language and Information 7 (3):265-296.
Edward H. Spence (2011). Information, Knowledge and Wisdom: Groundwork for the Normative Evaluation of Digital Information and its Relation to the Good Life. Ethics and Information Technology 13 (3):261-275.
Roy Sorensen (2004). Charity Implies Meta-Charity. Philosophy and Phenomenological Research 68 (2):290–315.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
