Epistemic Reasoning for Machine Ethics with Situation Calculus.
Maurice PagnuccoDavid RajaratnamRaynaldio LimargaAbhaya NayakYang SongPublished in: AIES (2021)
Keyphrases
- situation calculus
- reasoning tasks
- reasoning about actions
- taxonomic reasoning
- action theories
- modal operators
- event calculus
- initial state
- logical language
- fluent calculus
- knowledge base
- logic programming language
- concurrent actions
- action language
- provably correct
- blocks world
- knowledge representation
- modal logic
- reasoning systems
- description logics
- agent programming
- universally quantified
- general purpose