Open AccessDeductive logic in solving computer knowledge representation
Author(s) -
V. I. Inozemtsev
Publication year - 2014
Publication title -
izvestiâ mgtu "mami"
Language(s) - English
Resource type - Journals
eISSN - 2949-1428
pISSN - 2074-0530
DOI - 10.17816/2074-0530-67477
Subject(s) - knowledge representation and reasoning , representation (politics) , computer science , deductive reasoning , domain knowledge , procedural knowledge , domain (mathematical analysis) , logical conjunction , artificial intelligence , logical reasoning , natural language processing , theoretical computer science , programming language , mathematics , mathematical analysis , politics , political science , law
The article develops the concept of computer representology, which is the philosophical and methodological analysis of deductive models of knowledge representation. These models are one of the varieties of logical models of knowledge representation. These latter knowledge representations together with a logical languages form the important concept of the computer knowledge representation - logical. Under the concepts of computer representation of knowledge are understood aggregates of computer models of representation of domain knowledge of reality, and the corresponding to these models language means, which are developed by artificial intelligence. These concepts are different ways to solve the problems of computer knowledge representations.