Formal Specification of a Rule-Based Expert System.
Bryan S. ToddRichard StamperPublished in: SEKE (1992)
Keyphrases
- formal specification
- expert systems
- model checking
- specification languages
- specification language
- object oriented design
- fuzzy logic
- data abstraction
- process algebra
- reverse engineering
- concurrent systems
- knowledge acquisition
- knowledge based systems
- knowledge based expert systems
- knowledge representation
- knowledge base
- formal methods
- production system
- software components
- rule based reasoning
- artificial intelligence
- model checker
- machine learning
- computation tree logic
- distributed systems
- open source
- software engineering
- object oriented
- information technology
- database systems
- formal specification language