- Technical Program
- Workshops & Tutorials
- At a glance
- Doctoral Consortium
- Opening & Reception
- Best Papers from Sister Conferences Track
- IJCAI Video Track
- Trading Agent Competion (TAC)
- IJCAI-11 Awards
- Funding Opportunities for International Research Collaborations
- General Game Playing Competition
- Banquet
- Ramon Llull Session
- Industry Day
- Closing Event
- List of Accepted Papers
- Poster Boards
An approach to minimal belief via objective belief
David Pearce and Levan Uridia
As a doxastic counterpart to epistemic logic based on $\mathbf{S5}$ we study the modal logic $\KS$ that can also be viewed as an approach to modelling a kind of objective and fair belief. We then apply $\KS$ to the problem of minimal beliefs and develop an alternative approach to nonmonotonic modal logic that replaces the usual notion of expansion by a weaker concept, and we show that this corresponds to a certain minimal kind of $\KS$ model. This seems to provide a more intuitive account of nonmonotonic doxastic reasoning. At the same time we can interpret the $\mathbf{S5}$ knowledge operator in $\KS$ in the spirit of {\em justified true belief}.