Belief Revision

Schedule: 07 April 2022 Afternoon

14h00 – 14h30

Rafael Testa

Belief Revision in a Nutshell (Workshop opening)


14h30 – 15h00

Maria Martinez-Ordaz

Preserving scientific understanding after belief revision


15h00 – 15h30

Alexandra Pavlova

Public Announcement and Intuitionistic Epistemic Logic


15h30 – 16h00

Matheus de Lima Rui

Belief and Credence: Bridging Doxastic Logic and Probability Theory


16h00 – 16h30

Coffee Break


16h30 – 17h15

Giorgos Flouris

(keynote speaker)

Belief Revision and Argumentation Approaches to Support Commonsense Reasoning

ORGANIZER

Rafael Testa

Centre for Logic, Epistemology and the History of Science of State University of Campinas,

CLE, UNICAMP, Brazil




KEYNOTE SPEAKER

Giorgos Flouris

Foundation for Research and Technology - Hellas (FO.R.T.H.)

Institute of Computer Science (I.C.S.)

Information Systems Laboratory (I.S.L.)

Vassilika Vouton

Heraklion, Crete

Belief Revision (Belief Change) is the research field that makes use of tools and methods of formal logic to produce models of how human and artificial agents change their beliefs in response to new information. These models serve as a basis for understanding how beliefs can be changed, and how these changes can be regarded as rational. This is a multidisciplinary task, with applications to several areas including Formal Epistemology, Artificial Intelligence, Ontology, Databases, and many more.


The aim of this workshop is twofold: on the one hand, we intend to provide an introduction to the subject, tackling distinct models presented in the literature. On the other hand, we intend to gather contributions related to distinct applications and studies on the ramifications of the area.


CALL FOR PAPERS

We welcome contributions to the formal foundations of Belief Revision and studies from other areas that show the use of, or contributions to, the principles or practice of Belief Revision. Topics of interest include, but are not limited to:

  • Foundations and History of Belief Revision

  • Applications of Belief Revision

  • Update

  • Belief Merging

  • Argumentation

  • Judgment Aggregation

  • Reasoning about knowledge and belief

  • Epistemic and Doxastic Logics

To submit a contribution, please send a one-page abstract to: unilog2022@rafaeltesta.com

Accepted submissions will be invited to submit a paper to a book or a special issue that will be edited by the organizers after the workshop.

For any query, please contact the organizers of the workshop.

IMPORTANT DATES

Submission:October 31st, 2021

Notification: November 7, 2021

Worskhop: 6-11 April , 2022 (the workshop will take place at some point during the UNILOG congress).