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

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

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

CATALOGO DEI PRODOTTI DELLA RICERCA

IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.

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.

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

Titolo:	A tableau system for right propositional neighborhood logic over finite linear orders: an implementation
Autori interni:	BRESOLIN, Davide
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.

Citazioni

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