Automatic Generation of Logical Knowledge

封面

如何引用文章

全文:

详细

We study problems which arise deriving generating automatically logical knowledge in systems of artificial intellect, first of all in systems of automatic theorem proving. Three necessary conditions for a generator of logical knowledge are proposed and a verification of these ones is presented.

作者简介

A Rautiainen

Peoples' Friendship University of Russia

Кафедра информационных технологий; Российский университет дружбы народов; Peoples' Friendship University of Russia

补充文件

附件文件
动作
1. JATS XML
下载