Integration of Semiformal and Formal Methods for Specifying Knowledge-Based Systems.
Dieter FenselSusanne NeubertPublished in: GI Jahrestagung (1994)
Keyphrases
- formal methods
- knowledge based systems
- expert systems
- formal analysis
- knowledge acquisition
- knowledge base
- knowledge engineering
- artificial intelligence
- knowledge representation scheme
- safety critical
- production rules
- knowledge structures
- knowledge representation
- knowledge sources
- medical knowledge
- process algebra
- deep knowledge
- knowledge acquisition tools
- model checking
- civil engineering
- blackboard architecture
- machine learning
- formal specification language