×

Actions and movements. (English) Zbl 0751.68067

Artificial intelligence, IJCAI-91, Proc. 12th Int. Conf., Sydney/Australia 1991, 1060-1065 (1991).
[For the entire collection see Zbl 0741.68016.]
The paper presents an account of the nature of action whose main features are derived as properties that the agents have in virtue of (1) the bodily movements they effect, and (2) the wider circumstances in which those movements are effected. The account is intended to form part of a theory of intelligent action, including the deliberate and intentional actions of human agents or autonomous robots. Such an action theory is abstracted from the information processing and cognitive factors involved, including sensory-motor control factors. A logic of accomplishment is proposed as a formal treatment of the action theory, this logic is based on the Krister Segeberg’s attempt to exploit the dynamic logic of programs for providing a formal account of features in human action.
Reviewer: N.Curteanu (Iaşi)

MSC:

68T27 Logic in artificial intelligence
03B65 Logic of natural languages
03B45 Modal logic (including the logic of norms)
PDFBibTeX XMLCite