Automatic Generation of Logical Knowledge

Capa

Citar

Texto integral

Resumo

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.

Sobre autores

A Rautiainen

Peoples' Friendship University of Russia

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

Arquivos suplementares

Arquivos suplementares
Ação
1. JATS XML
Baixar