Modeling Medical Reasoning with the Event Calculus: An Application to the Management of Mechanical Ventilation.
Luca ChittaroMarco Del RossoMichel DojatPublished in: AIME (1995)
Keyphrases
- event calculus
- reasoning tasks
- commonsense reasoning
- situation calculus
- reasoning about actions and change
- temporal reasoning
- deductive databases
- partially ordered
- logic programming
- artificial intelligence
- knowledge representation
- reasoning about actions
- description logics
- temporal information
- case based reasoning
- directed acyclic graph
- transitive closure
- automated reasoning
- natural language
- video sequences
- bayesian networks