A logic of reasoning, communication and cooperation with syntactic knowledge
Thomas Ågotnes, Michał Walicki · 2005
We present a general logic of explicit knowledge represented as finite sets of logical formulae which can evolve by nondeterministic reasoning and communication. It is partly based on Alternating-time Temporal Logic, which allows the expression of properties of cooperation. Properties of an agent’s reasoning mechanism such as “the agent knows modus ponens (MP) ” can be expressed. Instead of a common closure condition such as “if the agent knows both p and p → q, he must also know q”, the following holds: “if the agent knows p, p → q and MP, he has a strategy to get to know q in the future”.