An algebraic model of relevant backward inference based on equation solving

MaRDI QIDQ2925047zbMATH OpenFDO

Authors S. Yu. Bolotova

Publication date 20 October 2014

Published in Matematicheskoe Modelirovanie (Search for Journal in Brave)

Full work available at URL http://mathnet.ru/eng/mm3214

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Review text

A method of inverse formulation of a productive type of knowledge base, based on solution of equations in algebraic structures, is presented. The strategy of the relevant backward inference is directed towards minimization of the number of addressings to an external resource (database or interactive interface). The advantage of the algorithms proposed is confirmed by experiments with a test knowledge base.

Recommendations

• scientific article; zbMATH DE number 60119
• A logic-algebraic tool for reasoning with knowledge-based systems
• scientific article; zbMATH DE number 1923135
• On the problem of reversing relational inductive knowledge representation
• scientific article; zbMATH DE number 36615

Cited in

(1)

• scientific article; zbMATH DE number 1190626 (Why is no real title available?)

This page was built for publication: An algebraic model of relevant backward inference based on equation solving

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2925047)