Advice about logical AI

18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings. Pub Date : 2003-06-22 DOI:10.1109/LICS.2003.1210064

J. McCarthy

引用次数: 0

Abstract

Formalized nonmonotonic reasoning emerged in relation to the study of artificial intelligence. The paper discusses some uses of nonmonotonic reasoning that has become a mathematical subject, observations regarding AI, and the problems logical AI encountered before it can reach human level intelligence.

查看原文本刊更多论文

关于逻辑AI的建议

形式化非单调推理的出现与人工智能的研究有关。本文讨论了已成为数学主题的非单调推理的一些用途，对人工智能的观察，以及逻辑人工智能在达到人类智能水平之前遇到的问题。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings.

自引率

0.00%

发文量