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
Жүктеу