CORE
🇺🇦
make metadata, not war
Services
Services overview
Explore all CORE services
Access to raw data
API
Dataset
FastSync
Content discovery
Recommender
Discovery
OAI identifiers
OAI Resolver
Managing content
Dashboard
Bespoke contracts
Consultancy services
Support us
Support us
Membership
Sponsorship
Community governance
Advisory Board
Board of supporters
Research network
About
About us
Our mission
Team
Blog
FAQs
Contact us
research
Hidden protocols: Modifying our expectations in an evolving world
Authors
Sujata Ghosh
Hans van Ditmarsch
Rineke Verbrugge
Yanjing Wang
Publication date
1 January 2014
Publisher
Doi
Cite
Abstract
When 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. © 2013 Elsevier B.V
Similar works
Full text
Open in the Core reader
Download PDF
Available Versions
NARCIS
See this paper in CORE
Go to the repository landing page
Download from data provider
Last time updated on 15/10/2017
PhilPapers
See this paper in CORE
Go to the repository landing page
Download from data provider
oai:philpapers.org/rec/VANHPM-...
Last time updated on 10/02/2019
Institutional Repository of Peking University
See this paper in CORE
Go to the repository landing page
Download from data provider
oai:localhost:20.500.11897/215...
Last time updated on 20/04/2018
Dissertations of the University of Groningen
See this paper in CORE
Go to the repository landing page
Download from data provider
oai:pure.rug.nl:openaire_cris_...
Last time updated on 22/04/2023
University of Groningen
See this paper in CORE
Go to the repository landing page
Download from data provider
oai:pure.rug.nl:openaire_cris_...
Last time updated on 22/04/2023
ARTS repository - University of Groningen
See this paper in CORE
Go to the repository landing page
Download from data provider
oai:pure.rug.nl:publications/f...
Last time updated on 03/06/2022
University of Groningen
See this paper in CORE
Go to the repository landing page
Download from data provider
oai:pure.rug.nl:publications/f...
Last time updated on 29/10/2019
Proceedings - University of Groningen
See this paper in CORE
Go to the repository landing page
Download from data provider
oai:pure.rug.nl:publications/f...
Last time updated on 01/06/2022
INRIA a CCSD electronic archive server
See this paper in CORE
Go to the repository landing page
Download from data provider
oai:HAL:hal-01273564v1
Last time updated on 09/11/2016