Reasoning about Chemical Reactions Using the Situation Calculus.
Arman MasoumiMikhail SoutchanskiPublished in: AAAI Fall Symposium: Discovery Informatics (2012)
Keyphrases
- situation calculus
- chemical reactions
- concurrent actions
- chemical reaction
- modal operators
- initial state
- event calculus
- action theories
- modal logic
- reasoning tasks
- reasoning about actions
- logical language
- fluent calculus
- action language
- blocks world
- provably correct
- agent programming
- universally quantified
- taxonomic reasoning
- high level
- indirect effects
- amino acids
- model checking