Название: A Logical Theory of Causality Автор: Alexander Bochman Издательство: The MIT Press Год: 2021 Страниц: 366 Язык: английский Формат: epub Размер: 10.1 MB
A general formal theory of causal reasoning as a logical study of causal models, reasoning, and inference.
In this book, Alexander Bochman presents a general formal theory of causal reasoning as a logical study of causal models, reasoning, and inference, basing it on a supposition that causal reasoning is not a competitor of logical reasoning but its complement for situations lacking logically sufficient data or knowledge. Bochman also explores the relationship of this theory with the popular structural equation approach to causality proposed by Judea Pearl and explores several applications ranging from artificial intelligence to legal theory, including abduction, counterfactuals, actual and proximate causality, dynamic causal models, and reasoning about action and change in Artificial Intelligence (AI).
As logical preparation, before introducing causal concepts, Bochman describes an alternative, situation-based semantics for classical logic that provides a better understanding of what can be captured by purely logical means. He then presents another prerequisite, outlining those parts of a general theory of nonmonotonic reasoning that are relevant to his own theory. These two components provide a logical background for the main, two-tier formalism of the causal calculus that serves as the formal basis of his theory. He presents the main causal formalism of the book as a natural generalization of classical logic that allows for causal reasoning. This provides a formal background for subsequent chapters. Finally, Bochman presents a generalization of causal reasoning to dynamic domains.
In this section we are going to single out and “streamline” the logical framework behind the language C+. More specifically, we will show that the dynamic causal calculus, coupled with the semantics of C-transitions, provides a direct and uniform description for this action language. It will be shown, in particular, that it will allow us to alleviate most of the syntactic distinctions between propositional atoms, maintained by C+, as well as type restrictions imposed on its causal laws.
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
С этой публикацией часто скачивают:
An Introduction to Lifted Probabilistic Inference Название: An Introduction to Lifted Probabilistic Inference Автор: Guy Van den Broeck, Kristian Kersting, Sriraam Natarajan Издательство: The MIT...
Handbook of Graphical Models Название: Handbook of Graphical Models Автор: Edited by Marloes Maathuis, Mathias Drton, Steffen Lauritzen, Martin Wainwright Издательство: CRC Press...
Reasoning about Uncertainty Название: Reasoning about Uncertainty Автор: Joseph Y. Halpern Издательство: The MIT Press Год: 2003 ISBN: 0262083205; 9780262083201 Формат: pdf...
Actual Causality Название: Actual Causality Автор: Joseph Y. Halpern Издательство: MIT Press Год: 2016 Формат: PDF Размер: 3 Мб Язык: английский / English Causality...
Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.
Навигация
Вход на сайт
Реклама
A Logical Theory of Causality 
Название: A Logical Theory of Causality
