By:
Eduardo Fermé (Universidade da Madeira)
Abstract:
The 1985 paper by Carlos Alchourrón (1931–1996), Peter Gärdenfors, and
David Makinson (AGM), “On the Logic of Theory Change: Partial Meet
Contraction and Revision Functions” was the starting-point of a large
and rapidly growing literature that employs formal models in the
investigation of changes in belief states and databases. In this talk,
the first twenty-five years of this development are summarized. The
topics covered include equivalent characterizations of AGM operations,
extended representations of the belief states, change operators not
included in the original framework, iterated change, applications of
the model, its connections with other formal frameworks, and
criticism of the model.
Short-bio:
- 1964 Born in Buenos Aires, Argentina
- 1991 Licenciado en Ciencias de la Computación. Computer Science
Department , University of Buenos Aires.
- 1991-1997 Assistant Teacher at the Computer Science Department,
University of Buenos Aires.
- 1997-2002 Assistant Professor at the Computer Science Department,
University of Buenos Aires.
- 1999 PhD in Computer Science, University of Buenos Aires.
Supervisors: Carlos E. Alchourrón (until his death in 1996) - Sven Ove
Hansson.
- 2000 Born my son Bruno.
- 2002-2005 Assistant Professor at the Mathematics and Engineering
Department, University of Madeira, Portugal.
- 2005-.... Associate Professor at the Mathematics and Engineering
Department (now part of the Centre of Exact Sciences and Engineering),
University of Madeira.
- 2008 “Provas de Agregação” (Aggregation) in Informatics
Engineering – Branch Artificial Intelligence. University of Madeira.
- 2008-2009 Head of Department. Mathematics and Engineering
Department, University of Madeira.
- 2009-.... Member of the Madeira Interactive Technologies Institute.
- 2011 PhD in Philosophy. Royal Institute of Technology (KTH),
Sweden. Supervisor: John Cantwell.
Main area of research (KRR- belief revision)