September 05, 1:45 pm - 5:00 pm (CEST)

Speakers: Eduardo Fermé

Tutorial website: http://www.cee.uma.pt/ferme//ECAI-AGM.htm

Agenda: Belief Change: From 1985 to present days

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 tutorial, the first 35 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.

Eduardo Fermé, Faculty of Exact Sciences and Engineering, University of Madeira. Eduardo Fermé made in 2008 the Aggregation in Informatics Engineering in the University of Madeira.
He completed in 1999 a PhD in Computer Science by the University of Buenos Aires, Argentina and in 2011 a PhD in Philosophy by the Kungliga Tekniska Högskolan (KTH), Sweden .
Since 2004 is Associate Professor in the University of Madeira. Since 2013 is integrated Member of NOVA LINCS (FCT centre, New University of Lisbon). Since 2020 Coordinator of the Pole of NOVA-LINCS at University of Madeira.
He supervised 3 PhD thesis and actually supervises other 3. He supervised 27 MSc dissertations and co-supervised 1 and actually supervises 1. He published 1 books in Springer Briefs in Computer Science Series, edited 5 books and published 11 book chapters, 26 Journal papers. (18 Q1, 2 Q2, 1 Q3, 4 Q4) and more than 40 Conference papers (among them, 12 in A* or A conferences). He was Invited Editor in 3 journals.
In their professional activities interacted with 80 collaborator(s) co-authorship of scientific papers.
He is member of the Editorial Board of the Journal of Applied Logics (College Publications), CAAI Transactions on Intelligence Technology. Sponsored by the Chinese Association for Artificial Intelligence (CAAI) and Editorial Board member of Inteligencia Artificial. Iberoamerican Journal of Artificial Intelligence. Edited by Iberamia.
Eduardo Fermé has working from 1988 in the area of Knowledge Representation and Reasoning – Non Monotonic Reasoning – Belief Revision.