Email this article 
Automatic Generation of Logical Knowledge
- Authors: Rautiainen A1
-
Affiliations:
- Peoples' Friendship University of Russia
- Issue: No 4 (2008)
- Pages: 50-60
- Section: Articles
- URL: https://journals.rudn.ru/miph/article/view/8591
Cite item
Full Text
Abstract
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
References
