Logical Formal Description of Expert Systems.
Manuel de la SenJuan J. MiñambresAitor J. GarridoAna AlmansaPublished in: Informatica (2002)
Keyphrases
- expert systems
- knowledge based systems
- knowledge representation
- expert knowledge
- fuzzy logic
- knowledge acquisition
- inference engine
- fault diagnosis
- knowledge base
- logical rules
- logical reasoning
- probabilistic logic
- artificial intelligence
- rule based expert systems
- knowledge engineering
- formal specification
- intelligent systems
- knowledge sources
- database
- case based reasoning
- domain knowledge
- digital libraries
- bayesian networks
- databases