Content |
The facts and rules in knowledge bases are described using language of logical programming a Prologue in the form of logical predicates in Russian-language lexicon.
Knowledge bases
In information science understand set of the facts and inference rules allowing a logical output and intelligent information processing as Knowledge bases. In the Prologue of the Knowledge Base language are described in the form of the concrete facts and rules of a logical output over databases and processing procedures of information submitting data and knowledge of people, objects, the facts events and processes in a logical form.
In responses to the simplest requests to knowledge bases of a system of logical programming a Prologue, issues "truth" and "lie" values depending on existence of the corresponding facts. The truth and falsehood of answers significantly depends on filling of knowledge bases the actual information and its consistency.
The generalized data in knowledge bases in the Prologue language are set using the rules of a logical output executing a role of determination of concepts and also the logical procedures consisting of rule sets of a logical output. The reliability of the generalized data depends on existence of the necessary facts and accuracy of the data in knowledge bases.
Logical programming
Logical programming — the programming paradigm based on the automatic theorem proving using information inference engines on the basis of the set facts and inference rules.
The Prologue language and logical programming are also widely used for creation of knowledge bases and expert systems and researches in the field of artificial intelligence on the basis of logical models of knowledge bases and logical procedures of an output and decision making.
A prolog — the language and the system of logical programming based on language of predicates of the logic theory of predicate calculus representing a subset of a predicate logic of first order.
The basic concepts in the Prologue language are the facts, rules of a logical output and requests allowing to describe knowledge bases, procedures of a logical output and decision making on the basis of which the system of logical programming a Prologue draws logical conclusions and gives intelligent answers.
The facts in the Prologue language are described by logical predicates with specific values. Rules in a Prologue register in the form of rules of a logical output with the logical conclusions and the list of logical conditions.
- VAK, prof., dock. computer. sciences 5:50 a.m., on July 21 2009 (UTC)
See Also
Literature
- Ivan Bratko Algoritmy of artificial intelligence in the PROLOG language = Prolog Programming For Artificial Intelligence. — M.: Williams, 2004. — Page 640. — ISBN 0-201-40375-7
- Kaiming V. A . Information science. The textbook for students. M.: INFRA-M, 1998-2009.
- Kaiming V. A . Information science. The textbook for school students. M.: Avenue, 2009.
Internet sources
- Prolog and Logical programming
- Language and Interpreter of a Prologue
- Information science at Schools and Universities
- Blog: Logic and a Prologue in Information science
| The site content is translated by machine translation software powered by PROMT. The machine-translated articles are not always perfect and may contain errors in vocabulary, syntax or grammar. Read original article If you find inaccuracies or errors in the results of machine translation, please write to editor@tadviser.ru. We will make every effort to correct them as soon as possible. |