98,362 Hits in 8.5 sec

A Temporal Description Logic for Reasoning about Actions and Plans

A. Artale, E. Franconi
1998 The Journal of Artificial Intelligence Research  
A class of interval-based temporal languages for uniformly representing and reasoning about actions and plans is presented.  ...  The subsumption problem for a class of temporal Description Logics is investigated and sound and complete decision procedures are given.  ...  Werner Nutt and Luciano Sera ni helped us to have a deeper insight i n to logic. We w ould also like to thank Carsten Lutz for the helpful discussions we had with him about temporal representations.  ... 
doi:10.1613/jair.516 fatcat:uiviktjatrhnjnrys55xgfk53m

Reasoning about actions in dynamic linear time temporal logic

L Giordano
2001 Logic Journal of the IGPL  
In this paper we present a theory for reasoning about actions which is based on Dynamic Linear Time Temporal Logic (DLTL).  ...  DLTL is a simple extension of propositional temporal logic of linear time in which regular programs of propositional dynamic logic can be used for indexing temporal modalities.  ...  achieved for temporal logic can be used for reasoning about actions.  ... 
doi:10.1093/jigpal/9.2.273 fatcat:ho5ba25wiffmhmxw2k6tmzocea

Representing a robotic domain using temporal description logics

1999 Artificial intelligence for engineering design, analysis and manufacturing  
A temporal logic for representing and reasoning on a robotic domain is presented.  ...  The logic is used to organize the domain actions and plans in a taxonomy. The classi cation and recognition tasks, together with the subsumption task form the basis for action management.  ...  They use a Description Logic to represent both the world states and atomic actions. A second formalism is added to compose actions in plans and to reason about simple temporal relationships.  ... 
doi:10.1017/s0890060499132050 fatcat:4epkn26ex5adnjswueaozyk4gu

Automated Planning in Temporal Domains: Some Recent Advances and Current Research Topics

Alfonso Gerevini
2007 14th International Symposium on Temporal Representation and Reasoning (TIME'07)  
Automated planning is a central area of artificial intelligence, involving the design of languages and computational models for reasoning about actions, change and time.  ...  Plan trajectory constraints are particular linear temporal logic formulae expressing constraints on possible actions in the plans and on intermediate states reached by the plans.  ...  Automated planning is a central area of artificial intelligence, involving the design of languages and computational models for reasoning about actions, change and time.  ... 
doi:10.1109/time.2007.42 dblp:conf/time/Gerevini07 fatcat:nkdlhr75ujh55cv5u6lym366vm

Planning Using a Temporal World Model

James F. Allen, Johannes A. G. M. Koomen
1983 International Joint Conference on Artificial Intelligence  
We suggest a world model based on a temporal logic.  ...  In addition, it allows more general descriptions of actions that may occur simultaneously or overlap, and appears promising in supporting reasoning about external events and actions caused by other agents  ...  The temporal reasoner already can reason about durations.  ... 
dblp:conf/ijcai/AllenK83 fatcat:5kxg5vkhrnc2digai6fv36dlx4

Description Logics and Planning

Yolanda Gil
2005 The AI Magazine  
Description logics can reason about the logical definition of a class and automatically infer class-subclass subsumption relations as well as classify instances into classes based on their definitions.  ...  Another emerging use of these techniques is the semantic web, where current ontology languages based on description logics need to be extended to reason about goals and capabilities for web services and  ...  See for good introductory materials, methodology for practical use, and pointers to implemented tools such as editors, parsers, and reasoners.  ... 
doi:10.1609/aimag.v26i2.1814 dblp:journals/aim/Gil05 fatcat:nhv2ceph7vcnbbckrtjf3sgd2e

TALplanner: A Temporal Logic-Based Planner

Patrick Doherty, Jonas Kvarnström
2001 The AI Magazine  
The domain-dependent control knowledge, background knowledge, plans, and goals are all represented using formulas in a temporal logic called TAL, which has been developed independently as a formalism for  ...  specifying agent narratives and reasoning about them.  ...  Acknowledgments This research is supported in part by the Swedish Research Council for Engineering Sciences (TFR) and the Wallenberg Foundation, Sweden. Notes  ... 
doi:10.1609/aimag.v22i3.1581 dblp:journals/aim/DohertyK01 fatcat:xdca3ud7bnfkrjzfzuihdjpp4y

ReAct! An Interactive Tool for Hybrid Planning in Robotics [article]

Zeynep Dogmus and Esra Erdem and Volkan Patoglu
2013 arXiv   pre-print
provides sample formalizations of some action domains (e.g., multi-agent path planning, Tower of Hanoi), as well as dynamic simulations of plans computed by a state-of-the-art automated reasoner (e.g.,  ...  enables robotic researchers to describe robots' actions and change in dynamic domains, without having to know about the syntactic and semantic details of the underlying formalism in advance, and solve  ...  Even though artificial intelligence (AI) planning and reasoning about actions and change have been studied for decades in the field of computer science, leading to various action description languages  ... 
arXiv:1307.7494v1 fatcat:joigkqfqqvakxb5omigt22u76e

Reasoning About Web Services in a Temporal Action Logic [chapter]

Alberto Martelli, Laura Giordano
2006 Lecture Notes in Computer Science  
The paper presents an approach to reasoning about Web services in a temporal action theory.  ...  Web services are described by specifying their interaction protocols in an action theory based on a dynamic, linear-time, temporal logic.  ...  For this reason, the approach appears to be well suited to reason about composition of Web services.  ... 
doi:10.1007/11829263_13 fatcat:4dka2xe2sbbknekupgyxne2bp4

Page 5707 of Mathematical Reviews Vol. , Issue 99h [page]

1999 Mathematical Reviews  
Summary: “We present a formalism, disjunctive linear relations (DLRs), for reasoning about temporal constraints.  ...  We identify ex- istential entailment as a core problem in reasoning in CARIN, and describe an existential entailment algorithm for the ¥7@ENV2 description logic.  ... 

Reasoning about Actions in a Multiagent Domain [chapter]

Laura Giordano, Alberto Martelli, Camilla Schwind
2001 Lecture Notes in Computer Science  
In this paper we present a theory for reasoning about actions which is based on the Product Version of Dynamic Linear Time Temporal Logic (denoted DLT L ⊗ ) and allows to describe the behaviour of a network  ...  The action theory we propose is an extension of the theory presented in [8] , which is based on the logic DLTL, and allows reasoning with incomplete initial states and dealing with postdiction, ramifications  ...  Introduction An approach to reasoning about actions that recently gained renewed attention is the one based on the use of dynamic logic and of temporal logic.  ... 
doi:10.1007/3-540-45411-x_24 fatcat:ltlf3f3anvhavagq4wvn7ldvmy

PAL: Pertinence Action Language [article]

Pedro Cabalar, Manuel Cabarcos, Ramon P. Otero
2000 arXiv   pre-print
The current document contains a brief description of a system for Reasoning about Actions and Change called PAL (Pertinence Action Language) which makes use of several reasoning properties extracted from  ...  a Temporal Expert Systems tool called Medtool.  ...  The work could influence both areas of Reasoning about Actions and Temporal Expert Systems.  ... 
arXiv:cs/0003048v1 fatcat:qyjzl7qa3ncbhnmdfnbxkz6cfy

Web-Based Adaptive Tutoring: An Approach Based on Logic Agents and Reasoning about Actions

Matteo Baldoni, Cristina Baroglio, Viviana Patt
2004 Artificial Intelligence Review  
In this paper we describe an approach to the construction of adaptive tutoring systems, based on techniques from the research area of Reasoning about Actions and Change.  ...  In the prototype that we implemented the reasoning capabilities of the agents are exploited both to dynamically build study plans and to verify the correctness of user-given study plans with respect to  ...  Alberto Martelli, Alessandro Chiarotto, Andrea Molia and Laura Torasso for their precious support.  ... 
doi:10.1023/b:aire.0000044296.89727.ff fatcat:wb2bo4xn5vglla2dsfxhcswtty


Alessandro Artale, Enrico Franconi
2012 Annals of Mathematics and Artificial Intelligence  
logics with a constraint based mechanism -to the most principled ones -which consider a combined semantics for the abstract and the temporal domains.  ...  The analysis considers a large spectrum of approaches appearearing in the temporal description logics area: from the loosely coupled approaches -which comprise, for example, the enhancement of simple description  ...  A second formalism is added to compose actions in plans and to reason about simple temporal relationships.  ... 
doi:10.1023/a:1016636131405 fatcat:nw5nl3qotjei5o6bzy53anfnn4

Recognizing Planned, Multiperson Action

Stephen S. Intille, Aaron F. Bobick
2001 Computer Vision and Image Understanding  
temporal and logical constraints is adequate for representing the relationships between the agent goals for highly structured, multiagent action recognition, (3) Bayesian networks provide a suitable mechanism  ...  representational units for specifying the temporal relationships between agents engaged in group activities, (2) a high-level description of temporal structure of the action using a small set of low-order  ...  Breese for making their IDEAL package publicly available; the Microsoft Research Decision Theory Group for making MSBN available; and AT&T, for providing the GraphViz software.  ... 
doi:10.1006/cviu.2000.0896 fatcat:vdj5k66wufcstgchl56smc6koe
« Previous Showing results 1 — 15 out of 98,362 results