Structure-preserving specification languages for knowledge-based systems.
Frank van HarmelenManfred AbenPublished in: Int. J. Hum. Comput. Stud. (1996)
Keyphrases
- knowledge based systems
- structure preserving
- specification languages
- formal specification
- object oriented programs
- expert systems
- knowledge acquisition
- first order logic
- artificial intelligence
- knowledge base
- knowledge representation
- knowledge sources
- dimensionality reduction
- knowledge engineering
- deep knowledge
- production rules
- model checking
- pattern recognition
- formal methods
- information systems
- knowledge representation scheme
- rule based systems
- medical knowledge
- civil engineering
- neural network
- blackboard architecture
- software engineering
- intelligent systems
- computational intelligence