Beyond Belief: Representing Knowledge Requirements For The Operation Of Safety-Critical Interfaces.
Chris W. JohnsonPublished in: INTERACT (1997)
Keyphrases
- representing knowledge
- safety critical
- nuclear power plant
- regulatory requirements
- formal methods
- fault tolerant
- knowledge representation
- knowledge base
- safety analysis
- logic programming
- embedded systems
- agent architecture
- adaptive systems
- belief revision
- support systems
- general purpose
- expert systems
- artificial intelligence
- machine learning
- databases
- intelligent agents
- knowledge based systems
- logic programs
- relational structures
- user interface
- database systems