ERA

Download the full-sized PDF of Belief Change: Partial Epistemic Priorities and Logical Non-OmniscienceDownload the full-sized PDF

Analytics

Share

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

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)

Belief Change: Partial Epistemic Priorities and Logical Non-Omniscience Open Access

Descriptions

Author or creator
Yuan, Li-Yan
Ghose, Aditya
Geobel, Randy
Additional contributors
Subject/Keyword
Database Systems
Type of item
Report
Language
English
Place
Time
Description
Technical report TR92-09. In many database applications, designers can easily provide at least some information about the relative importance of the information to be stored and manipulated. While of potentially high value, the ordering information is typically only partial. Here we address the issue of updates in such partially ordered situations, which we call epistemically stratified databases. In the current database theory literature, Alchourron, Gardenfors and Makinson (AGM) have proposed a collection of rationality postulates that define rational updates to deductively closed databases. We reformulate the AGM framework to accomodate empistemically stratified databases, and to relax the closure requirement. Our immediate goal is to exploit the use of partial ordering information and to relax the logical omniscient flavour of the closure condition. A more ambitious goal is only hinted at; it is motivated by a desire to develop a more general theory of updates that integrates the naturally related ideas in artificial intelligence and deductive databases. Our approach begins with the definition of a new contraction operator which uses the information provided by the partial order to make a rational choice amongst the various possible outcomes of the update operation. This operator is shown to satisfy a reformulated set of rationality requirements. A second and similar contraction operator based on a logically omniscient framework is shown to satisfy most of the original AGM rationality postulates for contraction.
Date created
1992
DOI
doi:10.7939/R30K26B89
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:29:57.341+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: 323669
Last modified: 2015:10:12 20:45:25-06:00
Filename: TR92-09.pdf
Original checksum: f9616a200916c0ed941e64e06b72e820
Well formed: true
Valid: true
Page count: 16
Activity of users you follow
User Activity Date