loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
14th International Symposium on Temporal Representation and Reasoning (TIME'07)
Reasoning with 'And Then' and 'While'
Alicante, Spain
June 28-June 30
ISBN: 0-7695-2836-8
Suman Roy, Honeywell Technology Solutions Lab, India
Guido Sciavicco, University of Murcia, Spain
Interval-based temporal logics are natural frameworks for modeling a number of problems from various areas of computer science such as artificial intelligence, natural language processing, temporal databases and formal specification. Quite a few interval-based temporal logics became popular in recent years, such as Venema?s CDT logic, Halpern and Shoham?s HS logic, Moszkowski?s ITL and its propositional version, and Goranko, Montanari, and Sciavicco?s PNL. In this work we introduce a new propositional interval-based temporal logic called CW, which can be considered an extension of the propositional fragment of Moszkowski?s ITL evaluated over different (parallel) lines, and which is particularly adapt for expressing natural language sentences. We study the logic CW and develop a (non-terminating) sound and complete deduction system based on tableaux for it.
Citation:
Suman Roy, Guido Sciavicco, "Reasoning with 'And Then' and 'While'," time, pp.181-188, 14th International Symposium on Temporal Representation and Reasoning (TIME'07), 2007
Usage of this product signifies your acceptance of the Terms of Use.