Titlebook: Reasoning, Action and Interaction in AI Theories and Systems; Essays Dedicated to Oliviero Stock,Marco Schaerf Book 2006 Springer-Verlag B

除草劑

Urgency

GAVEL

PARA

Coordination of Actions in an Autonomous Robotic System,actions, for example that the same action can not have two separate instances during overlapping time intervals, or restrictions that are due to which state variables affect the action or are affected by it. Each process in the robot’s cognitive system that is to request the initiation of an action

健忘癥

使熄滅

neutralize

Reasoning About Web Services in a Temporal Action Logic, protocols in an action theory based on a dynamic, linear-time, temporal logic. The proposed framework is based on a social approach to agent communication, where the effects of communicative actions allow changes in the social state, and interaction protocols are defined in terms of the creation an

瑣碎

BET

Cracking Crosswords: The Computer Challenge,de knowledge in different domains and the ability to crack enigmatic clues, that are often regarded as inherent human capabilities. Unlike chess, crossword solving does not require strong skills for the actuation of strategic plans, but the linguistic specifications is in itself a source of enormous

值得贊賞