Rigorous Engineering Practice and Formal Reasoning of Deep Domain Knowledge - the Basis of Dependable Knowledge Based Systems for Process Plant Control.
Sandro BolognaTerje SivertsenHeikki VälisuoPublished in: Int. J. Softw. Eng. Knowl. Eng. (1993)
Keyphrases
- knowledge based systems
- domain knowledge
- knowledge engineers
- knowledge base
- knowledge acquisition
- knowledge sources
- control system
- formal methods
- expert systems
- artificial intelligence
- knowledge representation
- blackboard architecture
- knowledge engineering
- production processes
- medical knowledge
- inference engine
- civil engineering
- real time control
- legal knowledge based systems
- process control
- rule based systems
- production rules
- knowledge structures
- manufacturing process
- domain experts
- reasoning process
- mixed initiative
- uncertain information
- medical diagnosis
- human experts
- knowledge acquired
- domain specific
- deep knowledge
- prior knowledge
- machine learning