Representing a robotic domain using temporal description logics

Authors:
Alessandro Artale;Enrico Franconi
Affiliations:
ITC-IRST, I-38050 Povo TN, Italy;Computer Science Department, University of Manchester, United Kingdom
Venue:
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Year:
1999

Citing 16
Cited 4

Terminological reasoning is inherently intractable (research note)

Artificial Intelligence
LaSSIE: a knowledge-based software information system

Communications of the ACM - Special issue on software engineering
Attributive concept descriptions with complements

Artificial Intelligence
A propositional modal logic of time intervals

Journal of the ACM (JACM)
Temporal reasoning and planning

Reasoning about plans
A formal theory of plan recognition and its implementation

Reasoning about plans
The complexity of existential quantification in concept languages

Artificial Intelligence
Reasoning with individuals in concept languages

Data & Knowledge Engineering
Non-monotonic temporal reasoning

Handbook of logic in artificial intelligence and logic programming (Vol. 4)
Taxonomic plan reasoning

Artificial Intelligence
Planning control rules for reactive agents

Artificial Intelligence
Temporal reasoning in the situation calculus

Temporal reasoning in the situation calculus
Closed terminologies and temporal reasoning in description logic for concept and plan recognition

Closed terminologies and temporal reasoning in description logic for concept and plan recognition
The design and experimental analysis of algorithms for temporal reasoning

Journal of Artificial Intelligence Research
A temporal description logic for reasoning about actions and plans

Journal of Artificial Intelligence Research
What's in an aggregate: foundations for description logics with tuples and sets

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1

Combinations of Modal Logics

Artificial Intelligence Review
An Approach to the Development of Flexible Multirobot Systems: the Potential of Using Mobile Code Technology

Journal of Intelligent and Robotic Systems
Semantic middleware for robot swarm interaction through web services

MIC '08 Proceedings of the 27th IASTED International Conference on Modelling, Identification and Control
A temporal description logic based access control model for expressing history constrained policies in semantic web

POLICY'09 Proceedings of the 10th IEEE international conference on Policies for distributed systems and networks

Quantified Score

Hi-index	0.00

Visualization

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.