Modelling with Graphs
We introduce Kripke models. With the help of a series of examples we present the main modal concepts that can be interpreted by means of possible worlds semantics: the concepts of event, action, program, time, belief, knowledge, and obligation. In the end of the chapter we show how Kripke models can be built by means of LoTREC and give a formal definition of Kripke models.
KeywordsModal Logic Actual World Traffic Light Kripke Model Edge Label
- [FHMV95]R. Fagin, J.Y. Halpern, Y. Moses, and M.Y. Vardi. Reasoning About Knowledge. MIT Press, Cambridge, 1995. Google Scholar
- [Pea00]J. Pearl. Causality: Models, Reasoning, and Inference. Cambridge University Press, New York, 2000. Google Scholar
- [Woo02]M. Wooldridge. An Introduction to Multiagent Systems. Wiley, New York, 2002. Google Scholar