The Modal Logic of Discrepancy
- Cite this article as:
- Cross, C.B. Journal of Philosophical Logic (1997) 26: 143. doi:10.1023/A:1017939604673
Discrepancies between an agent’s goals and beliefs play an important, if implicit, role in determining what a rational agent is motivated to do. This is most obvious in cases where an agent achieves a complex goal incrementally and must deliberate anew as each milestone is reached. In such cases the concept of goal/belief discrepancy defines an appropriate space to which a degree-of-achievement yardstick can be applied. This paper presents soundness and completeness results concerning a logic for reasoning about goal/belief discrepancy, and it is suggested that a certain species of goal/belief discrepancy captures the concept of desire.