VINTE: an Implementation of Internal Calculi for Lewis' Logics of Counterfactual Reasoning

Marianna Girlando 1, 2 Bjoern Lellmann 3 Nicola Olivetti 1, 2 Gian Luca Pozzato 4 Quentin Vitalis 5
1 LIS - Laboratoire d'Informatique et Systèmes
2 LIRICA - Logique, Interaction, Raisonnement et Inférence, Complexité, Algèbre
LIS - Laboratoire d'Informatique et Systèmes
3 TU Wien - Technische Universität Wien
4 Dipartimento di Informatica [Torino]
5 École spéciale Militaire de Saint-Cyr - Départément d'Informatique
Abstract : We present VINTE, a theorem prover for conditional logics for counterfactual reasoning introduced by Lewis in the seventies. VINTE implements some internal calculi recently introduced for the basic system V and some of its significant extensions with axioms N, T, C, W and A. VINTE is inspired by the methodology of leanT A P and it is implemented in Prolog. The paper shows some experimental results, witnessing that the performances of VINTE are promising.
Document type :
Conference papers
Complete list of metadatas

Cited literature [15 references]  Display  Hide  Download
https://hal.archives-ouvertes.fr/hal-01794382
Contributor : Marianna Girlando <>
Submitted on : Thursday, May 17, 2018 - 2:51:24 PM
Last modification on : Friday, March 22, 2019 - 3:37:40 PM
Long-term archiving on : Wednesday, September 26, 2018 - 12:53:06 AM

File

VINTE_Tableaux2017.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01794382, version 1

Collections

UNIV-TLN | UNIV-AMU | LIS-LAB

Citation

Marianna Girlando, Bjoern Lellmann, Nicola Olivetti, Gian Luca Pozzato, Quentin Vitalis. VINTE: an Implementation of Internal Calculi for Lewis' Logics of Counterfactual Reasoning. TABLEAUX 2017, Sep 2017, Brasilia, Brazil. pp.149-159. ⟨hal-01794382⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

83

Files downloads

124

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD