skip to main content
OSTI.GOV title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: Logic production systems: Analysis and synthesis

Abstract

Many applied systems can be described in the following terms: given is a certain number of objects and a set of rules to construct new object from the original objects and from previously constructed objects. Mathematicians call such systems deductive, or calculi. Artificial intelligence scientists subsequently improved and elaborated the notion of production, retaining the Post operator A {yields} B as a basic element or a core. Production models are generally regarded as lacking a rigorous theory and governed by heuristics. Maslov noted: {open_quotes}We may assume that the language of calculi will become in the near future as natural and as widespread in new applications of discrete mathematics as, for instance, the language of graph theory is today.{close_quotes} Studies whose results are surveyed below were triggered by the development of applications of production systems in dual expert systems and focus around the following topics: (1) formalization of logic production systems (Pospelov has noted that results in the theory of production systems can be obtained by restricting the notion of productions and production systems); (2) analysis of completeness of logic production systems as a tool for realization of Boolean functions; (3) construction of a universal algorithmic model based on a logicmore » production system; (4) construction of algorithms that synthesize the domain of deductive derivability of a given goal fact and analysis of algorithmic complexity of the corresponding problem. It is important to note that the results obtained so far relate to a strictly defined subclass - the subclass of logic production systems and machines. They do not pretend to cover the wider domain of applicability of the apparatus of deductive systems. Classical concepts and propositions of discrete mathematics used in this paper without further explanation are defined in existing literature.« less

Authors:
Publication Date:
OSTI Identifier:
457586
Resource Type:
Journal Article
Journal Name:
Cybernetics and Systems Analysis
Additional Journal Information:
Journal Volume: 30; Journal Issue: 4; Other Information: PBD: Mar 1995; TN: Translated from Kibernetika i Sistemnyi Analiz; No. 4, 11-22(Jul-Aug 1994)
Country of Publication:
United States
Language:
English
Subject:
99 MATHEMATICS, COMPUTERS, INFORMATION SCIENCE, MANAGEMENT, LAW, MISCELLANEOUS; ARTIFICIAL INTELLIGENCE; MATHEMATICAL LOGIC; ALGORITHMS; EXPERT SYSTEMS

Citation Formats

Donskoi, V I. Logic production systems: Analysis and synthesis. United States: N. p., 1995. Web.
Donskoi, V I. Logic production systems: Analysis and synthesis. United States.
Donskoi, V I. 1995. "Logic production systems: Analysis and synthesis". United States.
@article{osti_457586,
title = {Logic production systems: Analysis and synthesis},
author = {Donskoi, V I},
abstractNote = {Many applied systems can be described in the following terms: given is a certain number of objects and a set of rules to construct new object from the original objects and from previously constructed objects. Mathematicians call such systems deductive, or calculi. Artificial intelligence scientists subsequently improved and elaborated the notion of production, retaining the Post operator A {yields} B as a basic element or a core. Production models are generally regarded as lacking a rigorous theory and governed by heuristics. Maslov noted: {open_quotes}We may assume that the language of calculi will become in the near future as natural and as widespread in new applications of discrete mathematics as, for instance, the language of graph theory is today.{close_quotes} Studies whose results are surveyed below were triggered by the development of applications of production systems in dual expert systems and focus around the following topics: (1) formalization of logic production systems (Pospelov has noted that results in the theory of production systems can be obtained by restricting the notion of productions and production systems); (2) analysis of completeness of logic production systems as a tool for realization of Boolean functions; (3) construction of a universal algorithmic model based on a logic production system; (4) construction of algorithms that synthesize the domain of deductive derivability of a given goal fact and analysis of algorithmic complexity of the corresponding problem. It is important to note that the results obtained so far relate to a strictly defined subclass - the subclass of logic production systems and machines. They do not pretend to cover the wider domain of applicability of the apparatus of deductive systems. Classical concepts and propositions of discrete mathematics used in this paper without further explanation are defined in existing literature.},
doi = {},
url = {https://www.osti.gov/biblio/457586}, journal = {Cybernetics and Systems Analysis},
number = 4,
volume = 30,
place = {United States},
year = {Wed Mar 01 00:00:00 EST 1995},
month = {Wed Mar 01 00:00:00 EST 1995}
}