Reduction of large systems of logic equations: The method of syllogisms

Authors
Zakrevskii, AD
Citation
Ad. Zakrevskii, Reduction of large systems of logic equations: The method of syllogisms, AUTOM C C S, 34(5), 2000, pp. 27-32
Citations number
6
Categorie Soggetti
AI Robotics and Automatic Control
Journal title
AUTOMATIC CONTROL AND COMPUTER SCIENCES
ISSN journal
01464116 → ACNP
Volume
34
Issue
5
Year of publication
2000
Pages
27 - 32
Database
ISI
SICI code
0146-4116(2000)34:5<27:ROLSOL>2.0.ZU;2-B
Abstract
Large systems of logic equations with a limited number of variables in each equation are considered. A vector-matrix method of reduction of such syste ms and solutions based on analysis of each equation in the system in turn, identification of second-level inhibits (equivalent to the categorical judg ements of the Aristotelian syllogistic), and the derivation of all conseque nt, and application of the consequents to reduce the number of roots in the other equations are proposed.