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 40 years of the logic of theory change (belief change or belief revision) are summarized.
Link to tutorial website here
Eduardo Fermé, PhD in Philosophy by the Royal Institute of Technology (KTH), Sweden, and in Computer Science by the University of Buenos Aires (UBA), Argentina. Full Professor at Faculty of Exact Science and Engineering (FCEE) from University of Madeira (UMa) and Member of the General Council at UMa. Member in The NOVA Laboratory for Computer Science and Informatics (NOVA LINCS), Collaborator of the Madeira Interactive Technol- ogies Institute at the University of Madeira (MITI) – LARSyS: Laboratory for Robotics and Engineering Sys- tems, and of LIAMF (Laboratory of Logics, Artificial Intelligence and Formal Methods). Computer Science Department. University of São Paulo (USP/SP). Chair of 10 Scientific Projects since 2001, Senior researcher in 5 projects since 1997, supervised 4 Postdocs researchers, 7 Doctoral Thesis (4 ongoing) and more than 34 master’s dissertations (5 ongoing). Chairman of 12 Scientific Encounters, currently is member of the Steering Committee for 2 international Workshops, and Editorial Board of 4 Journals related to Artificial Intelligence. Author of 1 scientific book in Dynamic of Knowledge / Logic of Theory Change., 6 Edited Books/ Special Issue of Journals, Guest Editor in 3 special journal issues, 34 papers in PeerReviewed International Journals, including top journals as Artificial Intelligence and Journal of Symbolic Logic, 11 Book Chapters in scientific books and more than 30 papers in Refereed International Conference Publications, including top Conferences like IJCAI, ECAI, KR.
