TitleHidden protocols: Modifying our expectations in an evolving world
Authorsvan Ditmarsch, Hans
Ghosh, Sujata
Verbrugge, Rineke
Wang, Yanjing
AffiliationCNRS Univ Lorraine, LORIA, Paris, France.
Indian Stat Inst, Chennai, Tamil Nadu, India.
Univ Groningen, Inst Artificial Intelligence, NL-9700 AB Groningen, Netherlands.
Peking Univ, Dept Philosophy, Beijing, Peoples R China.
KeywordsProtocols
Dynamic epistemic logic
Guarded automata
KNOWLEDGE
COMMUNICATION
LOGICS
Issue Date2014
Publisher人工智能
CitationARTIFICIAL INTELLIGENCE.2014,208,18-40.
AbstractWhen agents know a protocol, this leads them to have expectations about future observations. Agents can update their knowledge by matching their actual observations with the expected ones. They eliminate states where they do not match. In this paper, we study how agents perceive protocols that are not commonly known, and propose a semantics-driven logical framework to reason about knowledge in such scenarios. In particular, we introduce the notion of epistemic expectation models and a propositional dynamic logic-style epistemic logic for reasoning about knowledge via matching agents' expectations to their observations. It is shown how epistemic expectation models can be obtained from epistemic protocols. Furthermore, a characterization is presented of the effective equivalence of epistemic protocols. We introduce a new logic that incorporates updates of protocols and that can model reasoning about knowledge and observations. Finally, the framework is extended to incorporate fact-changing actions, and a worked-out example is given. (C) 2013 Elsevier B.V. All rights reserved.
URIhttp://hdl.handle.net/20.500.11897/215205
ISSN0004-3702
DOI10.1016/j.artint.2013.12.001
IndexedSCI(E)
EI
Appears in Collections:哲学系(宗教学系)

Web of Science®



Checked on Last Week

Scopus®



Checked on Current Time

百度学术™



Checked on Current Time

Google Scholar™





License: See PKU IR operational policies.