An Automated Reasoning Technique for Providing Moment-by-Moment Advice Concerning the Operation of a Process.

William Kaemmerer James R. Allard

Published in: AAAI (1987)

Keyphrases

automated reasoning
knowledge representation
theorem proving
probabilistic reasoning
theorem prover
machine learning
reinforcement learning
reasoning tasks
decision procedures