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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
E. Adams. The Logic of Conditionals. D. Reiter, Dordrecht, 1975.
S. Alvarado. Argument comprehension. In S. Shapiro, editor, Encyclopedia of Artificial Intelligence (2nd Edition), pages 30–52. Wiley, 1992.
A. Darwiche. CNETS: A computational environment for generalized causal networks. Technical report, Rockwell International, PARC, 1994.
D. Dubois and H. Prade. Epistemic entrenchment and possibilistic logic. Artificial Intelligence, 50:223–239, 1991.
R. Axelrod (Ed.). Structure of Decision: The Cognitive Maps of Political Elites. Princeton University Press, 1976.
H. Geffner. Default Reasoning: Causal and Conditional Theories. MIT Press, Cambridge, MA, 1992.
M. Goldszmidt and A. Darwiche. Action networks. In Proceedings Spring AAAI Symposium on Decision-Theoretic Planning, 1994.
M. Goldszmidt and J. Pearl. Rank-based systems. In Proceedings KR'92, pages 661–672. Morgan Kaufmann, 1992.
S. Kraus, D. Lehmann, and M. Magidor. Preferential models and cumulative logics. Artificial Intelligence, 44:167–207, 1990.
D. Lehmann and M. Magidor. Rational logics and their models. Technical report, Dept. of CS, Hebrew University, Jerusalem 91904, Israel, 1988.
J. Lloyd. Foundations of Logic Programming. Springer-Verlag, New York, 1984.
R. Loui. Defeat among arguments: A system of defeasible inference. Computational Intelligence, 3(3):100–107, 1987.
D. Makinson. General theory of cumulative inference. In M. Reinfrank et al., editor, Proceedings Non-Monotonic Reasoning, pages 1–18, Germany, Springer, 1989.
J. Pearl. Embracing causality in default reasoning. Artificial Intelligence, 35:259–271, 1988.
J. Pearl. Probabilistic Reasoning in Intelligent Systems. Morgan Kaufmann, Los Altos, CA., 1988.
J. Pollock. Defeasible reasoning. Cognitive Science, 11:481–518, 1987.
J. Reggia, D. Nau, P. Wang, and Y. Peng. A formal model of abductive inference. Information Sciences, 37:227–285, 1985.
C. Rieger and M. Grinberg. The declarative representation and procedural simulation of causality. In Proceedings IJCAI-77, pages 250–256, 1977.
Y. Shoham. Reasoning about Change: Time and Causation from the Standpoint of Artificial Intelligence. MIT Press, Cambridge, Mass., 1988.
W. Spohn. A general non-probabilistic theory of inductive reasoning. In Proceedings 4th Workshop on Uncertainty, pages 315–322, St. Paul, 1988.
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.
D. Weld and J. de Kleer, editors. Readings in Qualitative Reasoning about Physical Systems. Morgan Kaufmann, Los Altos, CA., 1990.
M. Wellman. Fundamental concepts of qualitative probabilistic networks. Artificial Intelligence, 44(3):257–303, 1990.
M. Wellman. Inference in cognitive maps. Mathematics and Computers in Simulation, 36:137–148, 1994.
Author information
Authors and Affiliations
Corresponding author
Editor information
Rights 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