Predictive Modelling of Human Reasoning Using AGM Belief Revision

Predictive Modelling of Human Reasoning Using AGM Belief Revision

Clayton Baker

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence
Doctoral Consortium. Pages 7073-7074. https://doi.org/10.24963/ijcai.2023/811

While many forms of belief change exist, the relationship between belief revision and human reasoning is of primary interest in this work. The theory of belief revision extends classical two-valued logic with an approach to resolve the conflict between a set of beliefs and newly learned information. The goal of this project is to test how humans revise conflicting beliefs. Experiments are proposed in which human subjects are required to resolve conflicting beliefs via relevance and confidence. In our analysis, the human responses will be evaluated against the predictions of two perspectives of propositional belief revision: formal and psychological.
Keywords:
Humans and AI: HAI: Cognitive modeling
Knowledge Representation and Reasoning: KRR: Belief change