A methodology for iterated theory change

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1085, Issue , 1996, Pages 193-207

  Gabbay, Dov ^a   Rodrigues, Odinaldo ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

BELIEF REVISION; COMBINED ITERATION; REVISION OPERATOR;

ARTIFICIAL INTELLIGENCE;

EID: 0343053393     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61313-7_73     Document Type: Conference Paper

References (13)

1. Gerhard Brewka and Joachim Hertzberg. How to do things with worlds: on formalizing actions and plans. Journal of Logic and Computation, 3(5):517-532, 1993.
2. M. Dalai. Investigations into a theory of knowledge base revision: Preliminary report. Proceedings of the 7th National Conference on Artificial Intelligence, pages 475-479, 1988.
3. A. del Val and Y. Shoham. A unified view of belief revision and update. Journal of Logic and Computation, 4(5):797-810, 1994.
4. H. B. Enderton. A Mathematical Introduction to Logic. Academic Press, New York, 1972.
5. Peter Gärdenfors. Knowledge in Flux: Modeling the Dynamics of Epistemic States. A Bradford Book - The MIT Press, Cambridge, Massachusetts - London, England, 1988.
6. Hirofumi Katsuno and Alberto O. Mendelzon. Propositional knowledge base revision and minimal change. Artificial Intelligence, 52:263-294, 1991.
7. Hirofumi Katsuno and Alberto O. Mendelzon. On the difference between updating a knowledge base and revising it. Belief Revision, pages 183-203, 1992.
8. David K. Lewis. Counterfactuals. Harvard University Press, 1973.
9. David Makinson. Five faces of minimality. Studia Logica, 52:339-379, 1993.
10. Odinaldo Rodrigues. Transfer report: Mphil/phd. Imperial College of Science, Technology and Medicine, February 1996. Department of Computing.
11. Mark Ryan. Ordered Presentation of Theories - Default Reasoning and Belief Revision. PhD thesis. Department of Computing, Imperial College, LLK., 1992.
12. Alvaro Del Val. Computing knowledge base updates. In B. Nebel, C. Rich, and W. Swartout, editors, Proc. Third International Conference on Principles of Knowledge Representation and Reasoning (KR '92), pages 740-750. Morgan Kaufmann, San Francisco, CA, 1992.
13. Marianne Winslett. Reasoning about action using a possible models approach. In Proceedings of AAAI-88, St Pauls, MS, pages 89-93, San Mateo, CA, 1988. Morgan Kaufmann.