Skip to main content
SpringerLink
Log in

A formal framework for causal modeling and argumentation

  • Conference paper
  • First Online:
Practical Reasoning (FAPR 1996)

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

Included in the following conference series:

Abstract

We develop a framework for causal modeling that features a language based on causal defeasible rules, a semantics based on order-of-magnitude probabilities, and a proof-theory based on the interaction of arguments. The framework extends and integrates logical, probabilistic and procedural modeling languages such as logic programs with negation as failure, Qualitative Bayesian Networks and Axelrod's cognitive maps.

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. E. Adams. The Logic of Conditionals. D. Reiter, Dordrecht, 1975.

    Google Scholar 

  2. S. Alvarado. Argument comprehension. In S. Shapiro, editor, Encyclopedia of Artificial Intelligence (2nd Edition), pages 30–52. Wiley, 1992.

    Google Scholar 

  3. A. Darwiche. CNETS: A computational environment for generalized causal networks. Technical report, Rockwell International, PARC, 1994.

    Google Scholar 

  4. D. Dubois and H. Prade. Epistemic entrenchment and possibilistic logic. Artificial Intelligence, 50:223–239, 1991.

    Article  Google Scholar 

  5. R. Axelrod (Ed.). Structure of Decision: The Cognitive Maps of Political Elites. Princeton University Press, 1976.

    Google Scholar 

  6. H. Geffner. Default Reasoning: Causal and Conditional Theories. MIT Press, Cambridge, MA, 1992.

    Google Scholar 

  7. M. Goldszmidt and A. Darwiche. Action networks. In Proceedings Spring AAAI Symposium on Decision-Theoretic Planning, 1994.

    Google Scholar 

  8. M. Goldszmidt and J. Pearl. Rank-based systems. In Proceedings KR'92, pages 661–672. Morgan Kaufmann, 1992.

    Google Scholar 

  9. S. Kraus, D. Lehmann, and M. Magidor. Preferential models and cumulative logics. Artificial Intelligence, 44:167–207, 1990.

    Article  Google Scholar 

  10. D. Lehmann and M. Magidor. Rational logics and their models. Technical report, Dept. of CS, Hebrew University, Jerusalem 91904, Israel, 1988.

    Google Scholar 

  11. J. Lloyd. Foundations of Logic Programming. Springer-Verlag, New York, 1984.

    Google Scholar 

  12. R. Loui. Defeat among arguments: A system of defeasible inference. Computational Intelligence, 3(3):100–107, 1987.

    Google Scholar 

  13. D. Makinson. General theory of cumulative inference. In M. Reinfrank et al., editor, Proceedings Non-Monotonic Reasoning, pages 1–18, Germany, Springer, 1989.

    Google Scholar 

  14. J. Pearl. Embracing causality in default reasoning. Artificial Intelligence, 35:259–271, 1988.

    Article  Google Scholar 

  15. J. Pearl. Probabilistic Reasoning in Intelligent Systems. Morgan Kaufmann, Los Altos, CA., 1988.

    Google Scholar 

  16. J. Pollock. Defeasible reasoning. Cognitive Science, 11:481–518, 1987.

    Article  Google Scholar 

  17. J. Reggia, D. Nau, P. Wang, and Y. Peng. A formal model of abductive inference. Information Sciences, 37:227–285, 1985.

    Article  Google Scholar 

  18. C. Rieger and M. Grinberg. The declarative representation and procedural simulation of causality. In Proceedings IJCAI-77, pages 250–256, 1977.

    Google Scholar 

  19. Y. Shoham. Reasoning about Change: Time and Causation from the Standpoint of Artificial Intelligence. MIT Press, Cambridge, Mass., 1988.

    Google Scholar 

  20. W. Spohn. A general non-probabilistic theory of inductive reasoning. In Proceedings 4th Workshop on Uncertainty, pages 315–322, St. Paul, 1988.

    Google Scholar 

  21. D. Touretzky, J. Horty, and R. Thomason. A clash of intuitions: The current state of non-monotonic multiple inheritance systems. In Proceedings of IJCAI-87, pages 476–482, Milano, Italy, 1987.

    Google Scholar 

  22. D. Weld and J. de Kleer, editors. Readings in Qualitative Reasoning about Physical Systems. Morgan Kaufmann, Los Altos, CA., 1990.

    Google Scholar 

  23. M. Wellman. Fundamental concepts of qualitative probabilistic networks. Artificial Intelligence, 44(3):257–303, 1990.

    Article  Google Scholar 

  24. M. Wellman. Inference in cognitive maps. Mathematics and Computers in Simulation, 36:137–148, 1994.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Depto. de Computación, Universidad Simón Bolívar, Aptdo 89000, 1080-A, Caracas, Venezuela

    Hector Geffner

Authors
  1. Hector Geffner
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Hector Geffner .

Editor information

Dov M. Gabbay Hans Jürgen Ohlbach

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Geffner, H. (1996). A formal framework for causal modeling and argumentation. In: Gabbay, D.M., Ohlbach, H.J. (eds) Practical Reasoning. FAPR 1996. Lecture Notes in Computer Science, vol 1085. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61313-7_74

Download citation

  • DOI: https://doi.org/10.1007/3-540-61313-7_74

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61313-8

  • Online ISBN: 978-3-540-68454-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation