David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Logic, Language and Information 19 (4):451-484 (2010)
We suggest that developing automata theoretic foundations is relevant for knowledge theory, so that we study not only what is known by agents, but also the mechanisms by which such knowledge is arrived at. We define a class of epistemic automata, in which agents’ local states are annotated with abstract knowledge assertions about others. These are finite state agents who communicate synchronously with each other and information exchange is ‘perfect’. We show that the class of recognizable languages has good closure properties, leading to a Kleene-type theorem using what we call regular knowledge expressions. These automata model distributed causal knowledge in the following way: each agent in the system has a partial knowledge of the temporal evolution of the system, and every time agents synchronize, they update each other’s knowledge, resulting in a more up-to-date view of the system state. Hence we show that these automata can be used to solve the satisfiability problem for a natural epistemic temporal logic for local properties. Finally, we characterize the class of languages recognized by epistemic automata as the regular consistent languages studied in concurrency theory
|Keywords||Epistemic logic Automata theory Decidability Knowledge expressions|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
Rohit Parikh & Ramaswamy Ramanujam (2003). A Knowledge Based Semantics of Messages. Journal of Logic, Language and Information 12 (4):453-467.
Johan van Benthem, Jelle Gerbrandy, Tomohiro Hoshi & Eric Pacuit (2009). Merging Frameworks for Interaction. Journal of Philosophical Logic 38 (5):491-526.
Jan van Eijck & Fer-Jan de Vries (1995). Reasoning About Update Logic. Journal of Philosophical Logic 24 (1):19-45.
Citations of this work BETA
No citations found.
Similar books and articles
Natasha Alechina, Brian Logan, Hoang Nga Nguyen & Abdur Rakib (2009). Verifying Time, Memory and Communication Bounds in Systems of Reasoning Agents. Synthese 169 (2):385 - 403.
Boudewijn de Bruin (2008). Epistemic Logic and Epistemology. In Vincent F. Hendricks & Duncan Pritchard (eds.), New Waves in Epistemology. Palgrave Macmillan.
Thomas Ågotnes (2006). Action and Knowledge in Alternating-Time Temporal Logic. Synthese 149 (2):375 - 407.
Wiebe van der Hoek & Michael Wooldridge (2003). Cooperation, Knowledge, and Time: Alternating-Time Temporal Epistemic Logic and its Applications. Studia Logica 75 (1):125-157.
Joshua Sack (2008). Temporal Languages for Epistemic Programs. Journal of Logic, Language and Information 17 (2):183-216.
Added to index2010-01-23
Total downloads24 ( #76,750 of 1,101,784 )
Recent downloads (6 months)1 ( #306,516 of 1,101,784 )
How can I increase my downloads?