Skip to main content
SpringerLink
Log in

Relevant counterfactuals

  • Automated Deduction
  • Conference paper
  • First Online:
EPIA 89 (EPIA 1989)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 390))

Included in the following conference series:

Abstract

Our aim is to present here a proposal of counterfactual truth value evaluation, based on a notion of relevance, which we compare to classical counterfactual evaluation. Informally we demand that the truth value of the counterfactual (or conditional) implication p > q should depend on the existence of a deduction of q that requires the truth of p, in some appropriate nearest world. We believe that relevance of counterfactuals is important in A.I. and illustrate that with examples.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Lewis, D., Counterfactuals, Harvard University Press, Cambridge, MA. Revised edition, 1986.

    Google Scholar 

  2. Ginsberg, Matthew L., Counterfactuals, Artificial Intelligence 30 (1986), pp. 35–79.

    Google Scholar 

  3. Ginsberg, Matthew L., Smith, David E., Reasoning about Action I:A Possible Worlds Approach Artificial Intelligence 35, pp. 165–195, 1988.

    Google Scholar 

  4. Nute, Donald, Conditional Logic, in Handbook of Philosophical Logic Vol. 2, pp. 387–439, (eds. D. Guenthner and D. Gabbay), D. Reidel, 1986.

    Google Scholar 

  5. Gärdenfors, P., Conditionals and changes of belief, Acta Philos. Fennica 30 (1978), pp. 381–404.

    Google Scholar 

  6. Anderson and Belnap, Entailment: The Logic of Relevance and Necessity, Princeton University Press, 1975.

    Google Scholar 

  7. Read, S., Relevant Logic, Basil Blackwell, 1988.

    Google Scholar 

  8. Routley, F.R. et al. Relevant Logics and their rivals, Atascadero, California, 1982.

    Google Scholar 

  9. Dunn, J.M., Relevant Logic and Entailment, in Handbook of Philosophical Logic, Vol 3, pp. 177–224, (eds. D. Guenthner and D. Gabbay), D. Reidel, 1986.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Artificial Intelligence and Logic Programming Group, Universidade Nova de Lisboa, 2825, Monte da Caparica, Portugal

    Luís Moniz Pereira & Joaquim Nunes Aparício

Authors
  1. Luís Moniz Pereira
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Joaquim Nunes Aparício
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

J. P. Martins E. M. Morgado

Rights and permissions

Reprints and permissions

Copyright information

© 1989 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Pereira, L.M., Aparício, J.N. (1989). Relevant counterfactuals. In: Martins, J.P., Morgado, E.M. (eds) EPIA 89. EPIA 1989. Lecture Notes in Computer Science, vol 390. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51665-4_78

Download citation

  • DOI: https://doi.org/10.1007/3-540-51665-4_78

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-51665-1

  • Online ISBN: 978-3-540-46743-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation