A Tool for Testing Confluence of Production Rules.
James G. SchmolzeWayne SnyderPublished in: EUROVAV (1995)
Keyphrases
- production rules
- knowledge based systems
- rule base
- inference mechanism
- production system
- knowledge representation
- symbolic reasoning
- knowledge representation scheme
- knowledge base
- data sets
- sufficient conditions
- knowledge structures
- context free grammars
- owl ontologies
- fuzzy logic
- business rules
- decision making
- search engine