The Logical Characterization of Goal-Directed Behavior in the Presence of Exogenous Events Summary

摘要

Logics of action and change were originally conceived for the design of intelligent agents, as McCarthy proposed the situation calculus as hte logic to be used by a logic-based "advice taker". In more recent research one can distinguish two motives for these logics, namely, for what is now called cognitive robotics and for common-sense reasoning. The difference is that in cognitive robotics, the logic must also account for an incoming flow of sensory data and for the actuation of action of actions by the robot, whereas common-sense reasoning is oriented towards natural-language communication of the premises and the conclusions of the reasoning process.