Hostname: page-component-78c5997874-lj6df Total loading time: 0 Render date: 2024-11-10T22:04:15.657Z Has data issue: false hasContentIssue false
  • English
  • Français

Representing a robotic domain using temporal description logics

Published online by Cambridge University Press:  01 April 1999

ALESSANDRO ARTALE  and
ENRICO FRANCONI
ALESSANDRO ARTALE
Affiliation:
ITC-IRST, I-38050 Povo TN, Italy
ENRICO FRANCONI
Affiliation:
Computer Science Department, University of Manchester, United Kingdom
Get access Rights & Permissions [Opens in a new window]

Abstract

A temporal logic for representing and reasoning on a robotic domain is presented. Actions are represented by describing what is true while the action itself is occurring, and plans are constructed by temporally relating actions and world states. The temporal language is a member of the family of Description Logics, which are characterized by high expressivity combined with good computational properties. The logic is used to organize the domain actions and plans in a taxonomy. The classification and recognition tasks, together with the subsumption task form the basis for action management. An action/plan description can be automatically classified into a taxonomy; an action/plan instance can be recognized to take place at a certain moment from the observation of what is happening in the world during a time interval.

Keywords

Action RepresentationDescription LogicTemporal LogicRobotics
Type
Research Article
Information
AI EDAM , Volume 13 , Issue 2 , April 1999 , pp. 105 - 117
Copyright
© 1999 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)