A formal model for knowledge-based systems verification.
Luis M. LaitaJulia CoutoLuis de LedesmaAlejandro Fernández-MargaritPublished in: Int. J. Intell. Syst. (1994)
Keyphrases
- formal model
- knowledge based systems
- formal methods
- knowledge acquisition
- expert systems
- knowledge base
- production rules
- artificial intelligence
- knowledge representation
- knowledge engineering
- model checking
- predicate calculus
- inference engine
- knowledge representation scheme
- deep knowledge
- knowledge structures
- knowledge sources
- rule based systems
- formal models
- security properties
- machine learning
- civil engineering
- fuzzy logic
- knowledge acquisition tools