On simple expectations and observations of intelligent agents: A complexity study

Reasoning about knowledge among multiple agents plays an important role in studying real-world problems in a distributed setting, e.g., in communicating processes, protocols, strategies and games. Multi-agent epistemic logic (EL) [1] and its dynamic extensions, popularly known as dynamic epistemic logics (DEL) [2] are well-known logical systems to specify and reason about such dynamic interactions of knowledge. Traditionally, agents' knowledge is about facts and EL/DEL mostly deals with this phenomenon of'knowing that'. More recently, the notions of'knowing whether', 'knowing why' and'knowing how' have also been investigated from a formal viewpoint [3]. These agents also have expectations about the world around them, and they reason based on what they observe around them, and such observations may or may not match the expectations they have about their surroundings.