×

Finite satisfiability of interval temporal logic formulas with multi-objective metaheuristics. (English) Zbl 1400.68196

Summary: Interval temporal logics provide a natural framework for reasoning about interval structures over linearly ordered domains. Despite being relevant for a broad spectrum of application domains, ranging from temporal databases to artificial intelligence and verification of reactive systems, interval temporal logics still miss tools capable of efficiently supporting them. We approach the finite satisfiability problem for one of the simplest meaningful interval temporal logic, namely A (also known as Right Propositional Neighborhood Logic) and we propose three different multi-objective evolutionary algorithms to solve it by means of a metaheuristic for multi-objective optimization. The resulting semi-decision procedure, although incomplete, turns out to be easier to implement and more scalable with respect to classical complete algorithms.

MSC:

68T20 Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
03B44 Temporal logic
90C29 Multi-objective and goal programming
90C59 Approximation methods and heuristics in mathematical programming
PDFBibTeX XMLCite
Full Text: Link