逻辑在人工智能中的三种现代角色
人工智能
2020-04-21 v1 机器学习
计算机科学中的逻辑
摘要
我们基于易处理布尔电路理论，探讨逻辑在人工智能中的三种现代角色：（1）逻辑作为计算的基础，（2）逻辑用于从数据与知识的结合中学习，以及（3）逻辑用于推理机器学习系统的行为。
引用
@article{arxiv.2004.08599,
title = {Three Modern Roles for Logic in AI},
author = {Adnan Darwiche},
journal= {arXiv preprint arXiv:2004.08599},
year = {2020}
}
备注
To be published in PODS 2020