Abstract
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.
Similar content being viewed by others
REFERENCES
Collins, J.: Belief, Desire, and Revision, Mind 47(1988), 333–342.
Gärdenfors, P.: Knowledge in Flux. The MIT Press, Cambridge, 1988.
Nehamas, A. and Woodruff, P.: Plato's Symposium, translated, with introduction and notes. Hackett, Indianapolis, 1989.
Stampe, D.: The Authority of Desire, Philosophical Review 46(1987), 335–381.
Thomason, R. H.: Some Completeness Results for Modal Predicate Calculi, in: Karel Lambert (ed), Philosophical Problems in Logic: Some Recent Developments, D. Reidel, Dordrecht, 1970, 56–76.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Cross, C.B. The Modal Logic of Discrepancy. Journal of Philosophical Logic 26, 143–168 (1997). https://doi.org/10.1023/A:1017939604673
Issue Date:
DOI: https://doi.org/10.1023/A:1017939604673