In this work we continue our investigation on proof methods and theorem proving for Conditional Logics with the selection function semantics. Conditional Logics recently have received a renewed attention and have found several applications in knowledge representation and artificial intelligence. We present a labelled sequent calculus for systems including the axiom of strong centering CS, as well as a theorem prover implementing the sequent calculus in Prolog.
Proof Methods and Theorem Proving for Conditional Logics with Strong Centering
Valese A.
2023
Abstract
In this work we continue our investigation on proof methods and theorem proving for Conditional Logics with the selection function semantics. Conditional Logics recently have received a renewed attention and have found several applications in knowledge representation and artificial intelligence. We present a labelled sequent calculus for systems including the axiom of strong centering CS, as well as a theorem prover implementing the sequent calculus in Prolog.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
