ERA

Download the full-sized PDF of Semantics of First Order Belief Revision Based on CircumscriptionDownload the full-sized PDF

Analytics

Share

Permanent link (DOI): https://doi.org/10.7939/R38P5V94F

Download

Export to: EndNote  |  Zotero  |  Mendeley

Communities

This file is in the following communities:

Computing Science, Department of

Collections

This file is in the following collections:

Technical Reports (Computing Science)

Semantics of First Order Belief Revision Based on Circumscription Open Access

Descriptions

Author or creator
Yuan, Li-Yan
You, Jia-Huai
Additional contributors
Subject/Keyword
AGM postulates
nonmonotonic reasoning, circumscription
knowledge base revision
Type of item
Report
Language
English
Place
Time
Description
Technical report TR92-17. The AGM postulates for knowledge base revision are a set of rationality postulates that revision operations on knowledge systems should satisfy. Defining an appropriate semantics for belief revision that satisfies all of the postulates has been considered a challenging problem. In this paper we present a novel application of circumscription to defining a semantics of belief revision systems. First, a first-order knowledge base is represented by a set of formulas in a first order epistemic belief language that contains objective propositions as well as belief propositions. Secondly, we define a revision semantics by applying a form of priority circumscription to the belief representation of the knowledge base. We prove that the semantics defined in this way satisfies the AGM postulates that are reformulated in our belief language.
Date created
1992
DOI
doi:10.7939/R38P5V94F
License information
Creative Commons Attribution 3.0 Unported
Rights

Citation for previous publication

Source
Link to related item

File Details

Date Uploaded
Date Modified
2014-05-01T01:36:01.110+00:00
Audit Status
Audits have not yet been run on this file.
Characterization
File format: pdf (Portable Document Format)
Mime type: application/pdf
File size: 382461
Last modified: 2015:10:12 20:41:42-06:00
Filename: TR92-17.pdf
Original checksum: 5afb6bad3da73be69a34c3d9143f2e2a
Well formed: true
Valid: true
Page count: 19
Activity of users you follow
User Activity Date