Linkk Oping Electronic Articles in Logic-based Modelling of Goal-directed Behavior
نویسنده
چکیده
We address the problem of characterizing goal directed robotic behavior using a logic of actions and change Our approach is based on distinguishing two kinds of actions procedural actions which are de ned in a mechanistic way and goal directed actions which are performed through a process involving tries possibly failures and corrective action and new tries until the goal has been reached The de nition of procedural actions may be done external to the logic for example through di erential equations or through a conventional programming language For both kinds of actions the logic expresses explicitly whether the ac tion succeeds or fails Each execution of a goal directed action is also characterized by a number of breakpoints where some sub action has been completed and a new sub action for getting to the desired goal is selected The logic is used for characteriz ing the selection of sub actions at breakpoints and the success or failure of the goal directed action in terms of the success or failure of the sub actions The article describes how goal directed actions can be mod elled by an extension of existing results on logics of actions and
منابع مشابه
Linkk Oping Electronic Articles in the Event Calculus in Classical Logic { Alternative Axiomatisations Linkk Oping Electronic Articles in Computer and Information Science
We present several alternative classical logic axiomatisations of the Event Calculus, a narrative based formalism for reasoning about actions and change. We indicate the range of applicability and key characteristics of each alternative formulation. 1
متن کاملLinkk Oping Electronic Articles in 1st Order Logic Formal Concept Analysis: from Logic Programming to Theory Linkk Oping Electronic Articles in Computer and Information Science
In this paper we analyze and de ne the introduction of st or der logic in Formal Concept Analysis FCA the aims are both theoretical as a complete model is needed and applied so as to improve expression power of FCA as a knowledge mining tool and the relevance of its results Our contribution consists in i the implementation of clas sical FCA in logic programming and the analysis of real cases ii...
متن کاملLinkk Oping Electronic Articles in Action Languages Linkk Oping Electronic Articles in Computer and Information Science
Action languages are formal models of parts of the natural lan guage that are used for talking about the e ects of actions This article is a collection of de nitions related to action languages that may be useful as a reference in future publications
متن کاملLinkk Oping Electronic Articles in Simulation, Ramiication, and Linear Logic
This article rst argues that formalisations of the frame prob lem should have certain desirable logical features it then pro poses a treatment of the frame problem using linear logic to gether with modal operators which ful ls these desiderata and seems to be successful in other respects
متن کامل