Herzig, Andreas
On updates with integrity constraints
Abstract
In his paper ``Making Counterfactual Assumptions'' Frank Veltman has proposed a new semantics for counterfactual conditionals. It is based on a particular update operation, and we show that it provides a new and interesting way of updating logical databases under integrity constraints which generalizes in particular Winslett's PMA.
BibTeX - Entry
@InProceedings{herzig:DSP:2005:334,
author = {Andreas Herzig},
title = {On updates with integrity constraints},
booktitle = {Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics},
year = {2005},
editor = {James Delgrande and Jerome Lang and Hans Rott and Jean-Marc Tallon},
number = {05321},
series = {Dagstuhl Seminar Proceedings},
ISSN = {1862-4405},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2005/334},
annote = {Keywords: Updates, PMA, prime implicants}
}
|
Keywords: |
|
Updates, PMA, prime implicants |
|
Seminar: |
|
05321 - Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics
|
|
Issue date: |
|
2005 |
|
Date of publication: |
|
21.11.2005 |
21.11.2005
