On the logic of theory change: Relations between incision and selection functions

Frontiers in Artificial Intelligence and Applications

Volumn 141, Issue , 2006, Pages 402-406

  Falappa, Marcelo A ^a   Fermé, Eduardo L ^b   Kern Isberner, Gabriele ^c  

^a UNIVERSIDAD NACIONAL DEL SUR   (Argentina)

^b UNIVERSITY OF MADEIRA   (Portugal)

^c TU DORTMUND UNIVERSITY   (Germany)

Author keywords

AGM Theory; Belief Revision; Kernel Contractions; Partial Meet Contractions

Indexed keywords

AGM THEORY; BELIEF CHANGE; BELIEF REVISION; CHANGE THEORY; CONDITION; KERNEL CONTRACTION; PARTIAL MEET CONTRACTION; SELECTION FUNCTION;

EID: 84886005150     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: None     Document Type: Article

References (11)

1. Carlos Alchourrón, Peter Gärdenfors, and David Makinson, 'On the Logic of Theory Change: Partial Meet Contraction and Revision Functions', The Journal of Symbolic Logic, 50, 510-530, (1985).
2. Carlos Alchourrón and David Makinson, 'On the Logic of Theory Change: Contraction Functions and their Associated Revision Functions', Theoria, 48, 14-37, (1982).
3. Johan de Kleer, 'An Assumption-based TMS', Artificial Intelligence, 28, 127-162, (1986).
4. Simon Dixon and Norman Foo, 'Connections Between the ATMS and AGM Belief Revision', in Proceedings of IJCAI-93, pp. 534-539, (1993).
5. Jon Doyle, 'A truth maintenance system', Artificial Intelligence, 12, 231-272, (1979).
6. Marcelo A. Falappa, Gabriele Kern-Isberner, and Guillermo R. Simari, 'Belief Revision, Explanations and Defeasible Reasoning', Artificial Intelligence Journal, 141, 1-28, (2002).
7. Eduardo Fermé, Karina Saez, and Pablo Sanz, 'Multiple Kernel Contraction', Studia Logica, 73(2), 183-195, (2003).
8. Sven Ove Hansson, 'Kernel Contraction', The Journal of Symbolic Logic, 59, 845-859, (1994).
9. Sven Ove Hansson, 'Semi-Revision', Journal of Applied Non-Classical Logic, 7, 151-175, (1997).
10. Sven Ove Hansson, A Textbook of Belief Dymanics: Theory Change and Database Updating, Kluwer Academic Publishers, 1999.
11. Guillermo R. Simari and Ron P. Loui, 'A Mathematical Treatment of Defeasible Reasoning and its Implementation', Artificial Intelligence, 53, 125-157, (1992).