Logics for knowledge-based systems
Proceedings of the Twenty-First Annual Hawaii International Conference on Decision Support and Knowledge Based Systems Track
Artificial intelligence (3rd ed.)
Artificial intelligence (3rd ed.)
A new approach to detecting missing knowledge in expert system rule bases
International Journal of Man-Machine Studies
Inferences in probability logic
Artificial Intelligence
Early expert systems: where are they now?
MIS Quarterly
Inference engine greediness: subsumption and suboptimality
Decision Support Systems - Eighth workshop on the validation and verification of knowledge-based systems
A survey of tools for the validation and verification of knowledge-based systems: 1985–1995
Decision Support Systems - Eighth workshop on the validation and verification of knowledge-based systems
The Organization and Performance of a TREAT-Based Production System Compiler
IEEE Transactions on Knowledge and Data Engineering
Controlling the learning process of real-time heuristic search
Artificial Intelligence
Use of meta level knowledge in the construction and maintenance of large knowledge bases.
Use of meta level knowledge in the construction and maintenance of large knowledge bases.
A decision support methodology for dynamic taxiway and runway conflict prevention
Decision Support Systems
Business rules management in healthcare: A lifecycle approach
Decision Support Systems
Hi-index | 0.00 |
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.