Structured belief bases: A practical approach to prioritised base revision

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

Volumn 1244, Issue , 1997, Pages 267-281

  Gabbay, Dov ^a   Rodrigues, Odinaldo ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

BELIEF CHANGE; REVISION OPERATOR;

ARTIFICIAL INTELLIGENCE;

EID: 0343489295     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0035628     Document Type: Conference Paper

References (10)

1. Kail Hans Bläsius and Hans-Jürgen Bürckert. Deduction Systems in Artificial Intelligence. Ellis Horwood Limited, 1989.
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. Dov Gabbay and Odinaldo Rodrigues. A methodology for iterated theory change. In Dov M. Gabbay and Hans Jürgen Ohlbach, editors, Practical Reasoning - First International Conference on Formal and Applied Practical Reasoning, FAPR’96, Lecture Notes in Artificial Intelligence. Springer Verlag, 1996.
4. P. Gärdenfors and Hans Rott. Belief revision. In C. J. Hogger Dov Gabbay and J. A. Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, volume 4, pages 35-132. Oxford University Press, 1995.
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. On the difference between updating a knowledge base and revising it. Belief Revision, pages 183-203, 1992.
7. Bernhard Nebel. Belief revision and default reasoning: Syntax-based approaches. In J. Allen, R. Fikes, and E. Sandewall, editors, Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, pages 417-428. Morgan Kaufmann, 1991.
8. Ilkka Niiniluoto. Truthlikeness. Kluwer Academic Publishers, 1989.
9. Odinaldo Rodrigues. Transfer report: Mphil/phd. Imperial College of Science, Technology and Medicine, February 1996. Department of Computing.
10. Odinaldo Rodrigues. A methodology for iterated information change. PhD thesis, Department of Computing, Imperial College, To appear.