Israel, David; Perry, John; Tutiya, Syun 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) Cited in 3 Documents MSC: 68T27 Logic in artificial intelligence 03B65 Logic of natural languages 03B45 Modal logic (including the logic of norms) Keywords:theory of intelligent action; logic of accomplishment; dynamic logic of programs Citations:Zbl 0741.68016; Zbl 0741.68005 PDFBibTeX XMLCite \textit{D. Israel} et al., in: IJCAI 91, Proceedings of the 12th International Conference on Artificial Intelligence. Sydney, Australia, 24-30 August 1991. Vol. 1-2. San Mateo, CA: Morgan Kaufmann Publ.. 1060--1065 (1991; Zbl 0751.68067)