电邮这篇文章 Automatic Generation of Logical Knowledge
- 作者: Rautiainen A1
-
隶属关系:
- Peoples' Friendship University of Russia
- 期: 编号 4 (2008)
- 页面: 50-60
- 栏目: Articles
- URL: https://journals.rcsi.science/2658-4670/article/view/328991
- ID: 328991
如何引用文章
全文:
详细
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
补充文件
