Asynchronous knowledge with hidden actions in the situation calculus
Ryan F Kelly, Adrian R Pearce
ARTIFICIAL INTELLIGENCE | ELSEVIER | Published : 2015
We present a powerful new account of multi-agent knowledge in the situation calculus and an automated reasoning procedure for knowledge queries. Existing accounts of epistemic reasoning in the situation calculus require that whenever an action occurs, all agents know that an action has occurred. This demands a level of synchronicity that is unreasonable in many multi-agent domains. In asynchronous domains, each agent's knowledge must instead account for arbitrarily-long sequences of hidden actions. By using a persistence condition meta-operator to augment traditional regression techniques, we show how agents can reason about their own knowledge using only their internal history of observatio..View full abstract
Related Projects (3)
Awarded by Australian Research Council (ARC) Discovery project (Foundations of human-agent collaboration: situation-relevant information sharing)
This work has been partially supported by an Australian Research Council (ARC) Discovery project (Foundations of human-agent collaboration: situation-relevant information sharing), grant No. DP130102825.