Share This Author
Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications
The resulting logic — Alternating-time Temporal Epistemic Logic (ATEL) — shares the tractability of model checking with its ATL parent, and is a succinct and expressive language for reasoning about game-like multiagent systems.
On obligations and normative ability: Towards a logical analysis of the social contract
Epistemic logic for AI and computer science
- J. Meyer, W. Hoek
- Education, PhilosophyCambridge tracts in theoretical computer science
- 1 November 1995
This book, based on courses taught at universities and summer schools, provides a broad introduction to the subject and considers applications in the areas of common knowledge, distributed knowledge, explicit and implicit belief.
Agents that Know How to Play
It is shown that, assuming that agents act under uncertainty in some states of the system, the notion of allowable strategy should be defined with some caution, and a subtle difference between an agent knowing that he has a suitable strategy and knowing the strategy itself is demonstrated.
Agent Programming with Declarative Goals
The notion of a commitment strategy - one of the main theoretical insights due to agent logics, which explains the relation between beliefs and goals - is used to construct a computational semantics for GOAL, a new programming language which incorporates such declarative goals.
Tractable multiagent planning for epistemic goals
This paper presents a novel approach to the problem of how plans might be developed for a group of agents to cooperate to bring about an epistemic goal, in which the problem is formulated as one of model checking in Alternating Temporal Epistemic Logic (ATEL).
Dynamic Epistemic Logic
This book provides various logics to support formal specifications of multi-agent systems, including proof systems, and discusses various results on the expressive power of the logics presented.
Agent Programming in 3APL
- K. Hindriks, F. D. Boer, W. Hoek, J. Meyer
- Computer ScienceAutonomous Agents and Multi-Agent Systems
- 1 November 1999
The main idea is not to integrate this language into the agent language itself, but to provide the facilities for programming control structures at a meta level, by means of a meta transition system.
Dynamic Epistemic Logic and Knowledge Puzzles
The logic of public announcements in DEL is applied to the analysis of a knowledge puzzle, called `What Sum', and it is shown how factual change can be modelled in the same framework.