【概率逻辑，Springer 数学逻辑】 Probability Logics (2016)

是 否 +2 论坛币

k人 参与回答

经管之家送您一份

应届毕业生专属福利!

求职就业群

赵安豆老师微信：zhaoandou666

经管之家联合CDA

送您一个全额奖学金名额~ !

立即领取

感谢您参与论坛问题回答

经管之家送您两个论坛币！

+2 论坛币

Probability Logics
Probability-Based Formalization of Uncertain Reasoning

Authors: Zoran Ognjanović, Miodrag Rašković, Zoran Marković



Presents applications of probability logics to real-world reasoning, including default reasoning, spatiotemporal reasoning, and measuring inconsistency

Includes extensive bibliographies pointing to related work

Useful reference for researchers using probability logic, and textbook for graduate courses in logic

The aim of this book is to provide an introduction to probability logic-based formalization of uncertain reasoning. The authors' primary interest is mathematical techniques for infinitary probability logics used to obtain results about proof-theoretical and model-theoretical issues such as axiomatizations, completeness, compactness, and decidability, including solutions of some problems from the literature.

An extensive bibliography is provided to point to related work, and this book may serve as a basis for further research projects, as a reference for researchers using probability logic, and also as a textbook for graduate courses in logic.

Table of contents

Front Matter
Pages i-xi

Introduction
Pages 1-17

History
Pages 19-76

LPP2LPP2 , a Propositional Probability Logic Without Iterations of Probability Operators
Pages 77-108

Probability Logics with Iterations of Probability Operators
Pages 109-131

Extensions of the Probability Logics LPP 22 and LFOP 11
Pages 133-164

Some Applications of Probability Logics
Pages 165-185

Related Work
Pages 187-200

Back Matter
Pages 201-215

原版 PDF + EPUB:

本帖隐藏的内容

原版 PDF:
Probability Logics_Probability-Based Formalization of Uncertain Reasoning.pdf (2.98 MB, 需要: 20 个论坛币)

2016-11-25 20:52:17 上传

需要: 20 个论坛币  [购买]

EPUB:
Probability Logics_Probability-Based Formalization of Uncertain Reasoning.epub (3.81 MB, 需要: 20 个论坛币)

2016-11-25 20:58:37 上传

需要: 20 个论坛币  [购买]

PDF + EPUB 压缩包：
Probability Logics_Probability-Based Formalization of Uncertain Reasoning.zip (4.47 MB, 需要: 40 个论坛币) 本附件包括：

• Probability Logics_Probability-Based Formalization of Uncertain Reasoning.pdf
• Probability Logics_Probability-Based Formalization of Uncertain Reasoning.epub

2016-11-25 20:58:13 上传

需要: 40 个论坛币  [购买]

扫码加我 拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

分享0 收藏5 回帖

关键词：Probability bability Springer Ability logics extensive including reference default provide

thanks

感谢分享好资源！

thanks for sharing

Thanks

谢谢分享

谢谢分享

不错的好书。

谢谢分享！！！

thanks