Next: Levesque - belief Up: Agent Theories Previous: Axioms for Knowledge

Alternatives to the Possible Worlds Model

As a result of the difficulties with logical omniscience, many researchers have attempted to develop alternative formalisms for representing belief. Some of these are attempts to adapt the basic possible worlds model; others represent significant departures from it. In the subsections that follow, we examine some of these attempts.



mikew@mutley.doc.aca.mmu.ac.uk
Fri Nov 4 16:03:55 GMT 1994