A Probabilistic Logic for the Development of Safety-Critical, Interactive Systems.
C. W. JohnsonPublished in: Int. J. Man Mach. Stud. (1993)
Keyphrases
- safety critical
- interactive systems
- probabilistic logic
- probabilistic reasoning
- fault tolerant
- formal methods
- support systems
- embedded systems
- human computer interaction
- agent architecture
- maximum entropy
- machine learning
- default reasoning
- software engineering
- relational databases
- knowledge based systems
- probability theory
- adaptive systems
- artificial intelligence
- information retrieval