Possible World Model

A Possible World Model is a world model that allows for future statements.

• Context:
  • It can range from being a Propositional Possible World, to being a First-Order Logic Possible World, to being ...
  • It can be associated to a Possible World Semantics.
• Example(s):
  • …
• Counter-Example(s):
  • Situation Semantics.
• See: Modal Logic, Counterfactual Statement, Conditional Logic, Thought Experiment, Abductive Reasoning.

---

---

References

2015

• (Wikipedia, 2015) ⇒ http://en.wikipedia.org/wiki/possible_world Retrieved:2015-11-17.
  • In philosophy and logic, the concept of a possible world is used to express modal claims. The concept of possible worlds is common in contemporary philosophical discourse but has been disputed.

• (Russell, 2015) ⇒ Stuart Russell. (2015). “Unifying Logic and Probability.” In: Communications of the ACM Journal, 58(7). doi:10.1145/2699411
  • QUOTE: This section explains the core concepts of logic and probability, beginning with possible worlds. A possible world is a formal object (think “data structure") with respect to which the truth of any assertion can be evaluated.

---