A tableau system for right propositional neighborhood logic over finite linear orders: an implementation

Bresolin, Davide; Della Monica, D.; Montanari, A.; Sciavicco, G.

doi:10.1007/978-3-642-40537-2_8

Interval temporal logics are quite expressive temporal logics, which turn out to be difficult to deal with in many respects. Even finite satisfiability of simple interval temporal logics presents non-trivial technical issues when it comes to the implementation of efficient tableau-based decision procedures. We focus our attention on the logic of Allen’s relation meets, a.k.a. Right Propositional Neighborhood Logic (RPNL), interpreted over finite linear orders. Starting from a high-level description of a tableau system, we developed a first working implementation of a decision procedure for RPNL, and we made it accessible from the web. We report and analyze the outcomes of some initial tests.

Titolo:	A tableau system for right propositional neighborhood logic over finite linear orders: an implementation
Autori:	BRESOLIN, Davide D. Della Monica A. Montanari G. Sciavicco mostra contributor esterni nascondi contributor esterni
Data di pubblicazione:	2013
Rivista:	LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
Abstract:	Interval temporal logics are quite expressive temporal logics, which turn out to be difficult to deal with in many respects. Even finite satisfiability of simple interval temporal logics presents non-trivial technical issues when it comes to the implementation of efficient tableau-based decision procedures. We focus our attention on the logic of Allen’s relation meets, a.k.a. Right Propositional Neighborhood Logic (RPNL), interpreted over finite linear orders. Starting from a high-level description of a tableau system, we developed a first working implementation of a decision procedure for RPNL, and we made it accessible from the web. We report and analyze the outcomes of some initial tests.
Handle:	http://hdl.handle.net/11562/643355
ISBN:	9783642405365
Appare nelle tipologie:	04.01 Contributo in atti di convegno

File in questo prodotto:

Non ci sono file associati a questo prodotto.

Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11562/643355

Citazioni

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

CATALOGO DEI PRODOTTI DELLA RICERCA

File in questo prodotto: