论文标题
AI中逻辑的三个现代角色
Three Modern Roles for Logic in AI
论文作者
论文摘要
我们考虑了人工智能中逻辑的三个现代角色，这些角色基于可拖动布尔电路的理论：（1）逻辑作为计算的基础，（2）从数据和知识组合学习的逻辑，以及（3）关于机器学习系统行为的推理的逻辑。
We consider three modern roles for logic in artificial intelligence, which are based on the theory of tractable Boolean circuits: (1) logic as a basis for computation, (2) logic for learning from a combination of data and knowledge, and (3) logic for reasoning about the behavior of machine learning systems.
