Göm menyn
Files: Description Format
Fulltext PDF (requires Acrobat Reader)
Fulltext, 1 st Revised PDF (requires Acrobat Reader)
Fulltext, 2nd Revised PDF (requires Acrobat Reader)
Fulltext PostScript (requires a PostScript Reader)
  Fulltext, 1st Revised PostScript (requires a PostScript Reader)
  Fulltext, 2nd Revised PostScript (requires a PostScript Reader)
Author: Erik Sandewall
Article title: Logic-Based Modelling of Goal-Directed Behavior
Publ. type: Article
Volume: 2
Article No: 19
Language: English
Abstract [en]: 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 defined 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 definition of procedural actions may be done external to the logic, for example through differential equations, or through a conventional programming language). For both kinds of actions, the logic expresses explicitly whether the action 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 characterizing 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 modelled by an extension of existing results on logics of actions and change.
Publisher: Linköping University Electronic Press
Year: 1997
Available: 1997-12-19, 1st Revised 1998-03-28, 2nd Revised 1998-07-29
No. of pages: 21, 1st and 2nd Revised 19
Series: Linköping Electronic Articles in Computer and Information Science
ISSN: 1401-9841

Responsible for this page: Peter Berkesand
Last updated: 2017-02-21