MODALITY, SI! MODAL LOGIC, NO!
Modality is important for logical AI. An agent must reason about
what it or other agents know, believe, want, intend or owe [him] a
choice. Referentially opaque modalities are needed and must be
formalized correctly. Modal logics are sometimes decideable---an
important virtue. Unfortunately, modal logics seem too limited for
many important purposes. This article contains examples of uses of
modality for which modal logic seems inadequate.
I have no proof that modal logic is inadequate, so I hope modal
logicians will take the examples as challenges.
The paper will appear in a special issue of Studia Logica devoted
to the combination of logics.
Up to: McCarthy home page
I welcome comments, and you can send them by clicking on
The number of hits on this page since 1997 March 1.