Home // COMPUTATION TOOLS 2014, The Fifth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking // View article

Semi-Automated Task Planning in Metric Propositional Interval Neighborhood Logic

Authors:
Laura González-García
Guido Sciavicco

Keywords: Automated Planning; Interval Temporal Logics

Abstract:
Planning is the process of thinking about and organizing the activities required to achieve a desired goal. It involves the creation and maintenance of a plan. As such, planning is a fundamental property of intelligent behaviour. This process is essential to the creation and refinement of a plan, or integration of it with other plans. In logistics planning, which is a fundamental part of every engineering projects, planning is a usually hand-crafted activity, often supported by high-level commercially available software. These techniques are error-prone as they relay on the expertise of the responsible engineer, and suffer of limited reasoning capabilities, being usually based on temporal constraint networks in Allen's style. Recently, interval temporal logics have been studied that allow one to describe temporal situations at a higher level, and yet with a decidable satisfiability problem. We propose here the use of Metric Interval Temporal Neighbourhood Logic, a decidable fragment of Halpern and Shoham's Modal Logic for Time Intervals (HS), as a tool for task planning. The main characteristics of this proposal is that the language, whose syntax heavily restricts HS, and whose proposed applications so far have been limited to theoretical and abstract situations, is still expressive enough to cope with the complexity of a realistic case study.

Pages: 38 to 43

Copyright: Copyright (c) IARIA, 2014

Publication date: May 25, 2014

Published in: conference

ISSN: 2308-4170

ISBN: 978-1-61208-344-5

Location: Venice, Italy

Dates: from May 25, 2014 to May 29, 2014