Automatic Generation of Logical Knowledge

Cover Page

Cite item


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.

About the authors

A Rautiainen

Peoples' Friendship University of Russia

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


Copyright (c) 2008 Раутиайнен А.

Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 International License.

This website uses cookies

You consent to our cookies if you continue to use our website.

About Cookies