Probabilistic Logics and Probabilistic Networks

در حالی که اصولاً منطق های احتمالی ممکن است برای حل طیفی از مسائل به کار گرفته شوند، در عمل به ندرت به کار می روند --- شاید به این دلیل که متفاوت، پیچیده و از نظر محاسباتی غیرقابل حل به نظر می رسند. این کتاب برنامه‌ای استدلال می‌کند که چندین رویکرد به منطق احتمالاتی در چارچوب یکپارچه‌کننده ساده قرار می‌گیرند که در آن از شواهد منطقی پیچیده برای مرتبط کردن فواصل یا احتمالات احتمالی با جملات استفاده می‌شود. به طور خاص، بخش اول نشان می دهد که یک راه طبیعی برای ارائه یک سوال مطرح شده در منطق احتمالی وجود دارد، و این که رویه های استنتاجی مختلف معنایی را برای آن سوال فراهم می کنند، در حالی که قسمت دوم نشان می دهد که پتانسیل توسعه روش های محاسباتی امکان پذیر برای تطبیق با این چارچوب وجود دارد. . این کتاب برای محققان فلسفه، منطق، علوم کامپیوتر و آمار در نظر گرفته شده است. آشنایی با مفاهیم و نمادهای ریاضی فرض می شود، اما هیچ دانش پیشرفته ای از منطق یا نظریه احتمال لازم نیست.

While probabilistic logics in principle might be applied to solve a range of problems, in practice they are rarely applied --- perhaps because they seem disparate, complicated, and computationally intractable. This programmatic book argues that several approaches to probabilistic logic fit into a simple unifying framework in which logically complex evidence is used to associate probability intervals or probabilities with sentences. Specifically, Part I shows that there is a natural way to present a question posed in probabilistic logic, and that various inferential procedures provide semantics for that question, while Part II shows that there is the potential to develop computationally feasible methods to mesh with this framework. The book is intended for researchers in philosophy, logic, computer science and statistics. A familiarity with mathematical concepts and notation is presumed, but no advanced knowledge of logic or probability theory is required.