A method for acceleration of logical inference in the production knowledge model

Authors:
R. S. Katerinenko;I. A. Bessmertnyi
Affiliations:
St. Petersburg State University of Information Technologies, Mechanics, and Optics, St. Petersburg, Russia 197101;St. Petersburg State University of Information Technologies, Mechanics, and Optics, St. Petersburg, Russia 197101
Venue:
Programming and Computing Software
Year:
2011

Citing 1
Cited 1

Algorithms for integrating PostgreSQL with the semantic web

Programming and Computing Software

On constructing intellectual systems in ternary logic

Programming and Computing Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

The paper considers the problem of combinatorial complexity of logical inference in knowledge bases constructed on the base of the production model. A method for logical inference relying on a relational algebra of facts located in a DBMS medium is described. Results of experiments for test knowledge bases, which demonstrate acceleration of logical inference, are presented.