Using Multi-Agent Systems to Represent Uncertainty

I consider a logical framework for modeling uncertainty, based on the use of possible worlds, that incorporates knowledge, probability, and time. This turns out to be a powerful approach for modeling many problems of interest. I show how it can be used to give insights into (among other things) several wellknown puzzles.

Authors

• Joseph Y. Halpern

Keywords

No keywords are indexed for this paper.