Modeling Belief, Capability and Promise for Cognitive Agents - A Modal Logic Approach.

Xinyu Zhao Zuoquan Lin

Published in: ICNC (1) (2005)

Keyphrases

modal logic
cognitive agents
modal operators
temporal logic
inference rules
dynamic logic
epistemic logic
prime implicates
default logic
classical logic
conditional logic
mental states
information systems
situation calculus
belief revision
fixed point
dynamic environments
multi agent systems