.png){kind=icon}
返回
Recent Developments in Unifying Logic and Probability
.png){kind=icon}
PRE
AI
DOI：10.1145/2699411.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
PERHAPS THE MOST enduring idea from the early days of AI is that of a declarative system reasoning over explicitly represented knowledge with a general inference engine. Such systems require a formal language to describe the real world; and the real world has things in it. For this rea-son, classical AI adopted first-order logic-the mathe-matics of objects and relations-as its foundation. The key benefit of first-order logic is its expressive power, which leads to concise-and hence learnable-models. For example, the rules of chess occupy 10(0) pages in first-order logic, 10(5) pages in propositional logic, and 10(38) pages in the language of finite automata. The power comes from separating predicates from their arguments and quantifying over
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
12.2
论文数:
1.2W
被引数:
3.7W
机构
引用论文
.png){kind=icon}
分享收藏
分享收藏Layout Planning Problem in an Innovative Parcel Sorting System Based on Automated Guided Vehicles
PREAI
分享收藏
查看更多内容