A Built-in Test Language for PROLOG to Validate Knowledge-Based Systems.
Fevzi BelliIsmael CamaraAlfred SchmidtPublished in: IEA/AIE (Vol. 2) (1990)
Keyphrases
- knowledge based systems
- expert systems
- knowledge base
- knowledge representation
- inference engine
- programming language
- knowledge acquisition
- logic programming language
- abstract machine
- artificial intelligence
- knowledge engineering
- knowledge representation scheme
- production rules
- logic programming
- rule based systems
- constraint logic programming
- deep knowledge
- natural language
- blackboard architecture
- civil engineering
- knowledge structures
- real world
- data mining
- systems engineering
- formal methods
- object oriented programming
- semantically equivalent
- knowledge sources
- fuzzy logic
- machine learning