NetLogo banner

 Home
 Download
 Help
 Resources
 Extensions
 FAQ
 NetLogo Publications
 Contact Us
 Donate

 Models:
 Library
 Community
 Modeling Commons

 User Manuals:
 Web
 Printable
 Chinese
 Czech
 Farsi / Persian
 Japanese
 Spanish

  Donate

NetLogo User Community Models

(back to the NetLogo User Community Models)

[screen shot]

Download
If clicking does not initiate a download, try right clicking or control clicking and choosing "Save" or "Download".

Try It in NetLogo Web

## WHAT IS IT?

This is an epistemic logic playground. You can explore the value of epistemic logical constructs, such as agent 'knows', Ka (where a is an agent)

## THINGS TO NOTICE

The underlying epistemic world is hard coded from Example 1.2 from Halpern and ???'s Introduction to Knowledge and Belief. The example goes as follows:

Bob is invited for a job interview with Alice. They have agreed that it will take place in a co↵eehouse downtown at noon, but the traffc is quite unpredictable, so it is not guaranteed that either Alice or Bob will arrive on time. However, the coffeehouse is only a 15-minute walk from the bus stop where Alice plans to go, and a 10-minute walk from the metro station where Bob plans to go. So, 10 minutes before the interview, both Alice and Bob will know whether they themselves will arrive on time. Alice and Bob have never met before.

This is the structure in the viewer when setup is pressed. On the right of the viewer the first box is the epistemic predicate to evaluate (see below) and below is the world.

A primitive predicate (like pa) will evaluate to true in all worlds in which it holds (for the default model these are worlds 3 (named "v") and 4 (named "w")) and return false otherwise.

Negation is "-"; conjunction is "&"; disjunction is "|"; and implication is ">". Operators are prefix and arguments must be parenthesised (so A & B is written & (A) (B)), this makes initial parser easier:).

## EXTENDING THE MODEL

Try changing the predicate.

Try changing the world - but you'll need to write code to do this.

## NETLOGO FEATURES

Agents and worlds are both turtles. The accessibility realtion is encoded as undirected links.

<!-- 2021 -->

(back to the NetLogo User Community Models)