Referenced Items are not available for this document.
In this paper we study the ramification problem in the setting of temporal databases. Standard solutions from the literature on reasoning about action are inadequate because they rely on the assumptions that fluents persist and actions have effects on the subsequent situation only. We provide a solution based on an extension of the situation calculus and the work of McCain and Turner. More specifically, we study the case where there are conflicting effects of concurrently executing actions and we distinguish between hard and soft integrity constraints.
Published in:
Tools with Artificial Intelligence, 2007. ICTAI 2007. 19th IEEE International Conference on
(Volume:2
)
Date of Conference: 29-31 Oct. 2007
- Page(s):
- 274 - 278
- ISSN :
- 1082-3409
- Print ISBN:
- 978-0-7695-3015-4
- INSPEC Accession Number:
- 9894583
- Conference Location :
- Patras
- Digital Object Identifier :
- 10.1109/ICTAI.2007.77
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
