Non-monotonic Reasoning for Machine Ethics with Situation Calculus.
Raynaldio LimargaMaurice PagnuccoYang SongAbhaya NayakPublished in: Australasian Conference on Artificial Intelligence (2020)
Keyphrases
- situation calculus
- event calculus
- action theories
- initial state
- reasoning about actions
- logical language
- concurrent actions
- fluent calculus
- reasoning tasks
- agent programming
- modal logic
- blocks world
- provably correct
- taxonomic reasoning
- probability distribution
- universally quantified
- classical logic
- domain specific
- state space