The no inference engine theory — Performing conflict resolution during development
Decision Support SystemsPublished 20 December 2006
Richard C. Hicks
Citations15
SJR quartileQ1
SJR score2.37
SNIP2.59
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
A theory and the resulting development environment for performing conflict resolution during development to eliminate the inference engine for systems using propositional logic are described.
Abstract
In many rule-based systems, an inference engine is a software component which reasons over rules when the application is executed. The major task performed by the inference engine is conflict resolution, which determines the sequence of the consultation. We describe a theory and the resulting development environment for performing conflict resolution during development to eliminate the inference engine for systems using propositional logic. Using verification criteria and solution strategies, we derive four classes of rules and their rule ordering strategies, allowing conflict resolution to be performed during development. The resultant procedural implementations demonstrate dramatic performance improvements for some classes of rules, testing over 20,000 rules per s on a PC.
Keywords
Computer Science
Artificial IntelligenceRete: A fast algorithm for the many pattern/many object pattern match problem
2,623 Citations1982Charles L. Forgy
The Rete Match Algorithm is an efficient method for companng a large collection of patterns to a largeCollection of objects that finds all the objects that match each pattern.
AI MagazineAn Approach to Verifying Completeness and Consistency in a Rule-Based Expert System
276 Citations1982Motoi Suwa, A. Carlisle Scott +1 more
A program for verifying that a set of rules in an expert system comprehensively spans the knowledge of a specialized domain is described, suggesting a general mechanism for correcting many problems with knowledge base completeness and consistency before they can cause performance errors.
Studies in computer science and artificial intelligenceKnowledge Base Verification
252 Citations1989W. A. Perkins, Thomas J. Laffey +2 more
Several tools and techniques for validating a knowledge base are described, with emphasis on the rule checker, which has saved engineers from many hours of tedious debugging.
MIS QuarterlyEarly Expert Systems: Where Are They Now?
182 Citations1995T. Grandon Gill
An investigation exploring how the first wave of commercial expert systems, built during the early and mid-1980s, fared over time, shows that most of these systems fell into disuse or were abandoned during a five-year period from 1987 to 1992, while about a third continued to thrive.
IEEE Transactions on Knowledge and Data EngineeringThe organization and performance of a TREAT-based production system compiler
79 Citations1991Daniel P. Miranker, Bernie Lofaso
An ensemble of techniques that compile OPS5 production system programs to executable machine code is described and an increase in the execution speed of production system Programs by two orders of magnitude over the commonly used list processing (LISP)-based OPS5 system is demonstrated.
Artificial IntelligenceControlling the learning process of real-time heuristic search
77 Citations2003Masashi Shimbo, Toru Ishida
This work introduces two techniques for controlling the amount of exploration in real-time search, both overall and per trial, which result in a convergence process more stable compared with that of the Learning Real-Time A* algorithm.
Validation of knowledge-based systems
52 Citations1987Rolf A. Stachowitz, J.B. Combs +1 more
This still relatively young research area' requires a methodology distinct from traditional software verification, validation, and testing (VV&T) technology, for two reasons: the nature of the problems to be solved and the lack of explicit functional structure in KBS.
Artificial IntelligenceInferences in probability logic
39 Citations1994Giangiacomo Gerla
In this logic the probabilistic theories are suitable fuzzy sets of formulas that turn out to be lower envelopes while only the complete probabilism theories coincide with the probabilities.
International Journal of Man-Machine StudiesA new approach to detecting missing knowledge in expert system rule bases
36 Citations1993Alun Preece
This paper describes how COVER uses heuristics about the nature of likely deficiencies to improve its performance and clarify reporting of deficiencies to the user.
Decision Support SystemsA survey of tools for the validation and verification of knowledge-based systems: 1985–1995
35 Citations1997Stephen Murrell, Robert T. Plant
A survey of software tools built to assist in the verification and validation of knowledge-based systems found which testing and analysis techniques were utilised and covered by their tool.
Knowledge-Based SystemsKnowledge base management systems-tools for creating verified intelligent systems
26 Citations2003Richard C. Hicks
The KBMS provides a full life-cycle environment for the development and verification of business rule and expert systems and describes building a small expert system in the KBMS, with emphasis on the verification testing at each stage.
Decision Support SystemsComposite event monitoring in XML repositories using generic rule framework for providing reactive e-services
9 Citations2004S. Swamynathan, A. Kannan +1 more
The system proposed in this paper uses an inference engine called Java Expert System Shell (JESS), to monitor the complex events in an easy and efficient manner, to support reactive functionality on XML repositories.
Decision Support SystemsInference engine greediness: subsumption and suboptimality
3 Citations1997Daniel E. O’Leary
This paper focuses on generating orderings that will likely lead to higher returns and established so that better solutions can be found first and those rules that would never be examined by greedy inference engines can be identified.
Logics for knowledge-based systems
1 Citations2003Rolf A. Stachowitz
It is claimed that progress in knowledge-based systems (KBS) and semantic data model (SDM) theory can be considerably expedited if SDM and KBS researchers make more use of discussions and results in contemporary nonstandard logics.