Description
By: Alexander Bochman
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.
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.
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.
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.
You may also like
熱銷中 Top Trending
Dog Man 14: Dog Man: Big Jim Believes: A Graphic Novel (Dog Man #14)
Sale priceHK$85.00
Regular priceHK$150.00
In stock
Dragon Masters #30 Vortex of the Chaos Dragon (Branches) (Tracey West)
Sale priceHK$55.00
Regular priceHK$69.00
In stock
Dragon Masters #29 (正版) Magic of the Wizard Dragon (Branches) (Tracey West)
Sale priceHK$48.00
Regular priceHK$69.00
In stock
Dragon Masters #28 (正版) Night of the Dream Dragon (Branches) (Tracey West)
Sale priceHK$48.00
Regular priceHK$69.00
In stock
Beast Quest Ice and Fire (15 Books) (Adam Blade)
Sale priceHK$346.00
Regular priceHK$1,257.90
In stock
Magic Tree House Fact Tracker Graphic Novel: Space
Sale priceFrom HK$70.00
Regular priceHK$110.00
In stock
National Geographic Little Kids First Big Book of the World
Sale priceFrom HK$96.00
Regular priceHK$150.00
In stock