ABDUCTIVE CHANGE OPERATORS

Article type: Research Article

Authors: Lobo, Jorge | Uzcátegui, Carlos

Affiliations: Department of EECS, University of Illinois at Chicago, 851, S. Morgan St, Room 1120 SEO Chicago, Illinois 60607-7053, USA E-mail: jorge@eecs.uic.edu | Departamento de Matemáticas, Facultad de Ciencias, Universidad de Los Andes, Mérida, Venezuela E-mail: uzca@ciens.ula.ve

Abstract: This paper describes a change theory based on abductive reasoning. We take the AGM postulates for revisions, expansions and contractions, and Katsuno and Mendelzon postulates for updates and incorporate abduction into them. A key feature of the theory is that presents a unified view of standard change operators and abductive change operators rather than a new and independent change theory for abductive changes. Abductive operators reduce to standard change operators in the limiting cases.

DOI: 10.3233/FI-1996-27403

Journal: Fundamenta Informaticae, vol. 27, no. 4, pp. 385-411, 1996