Automated Reasoning for Robot Ethics.
Ulrich FurbachClaudia SchonFrieder StolzenburgPublished in: CoRR (2015)
Keyphrases
- automated reasoning
- mobile robot
- reasoning systems
- knowledge representation
- theorem proving
- theorem prover
- decision procedures
- probabilistic reasoning
- human robot interaction
- reasoning tasks
- humanoid robot
- vision system
- high tech
- robotic systems
- path planning
- automated verification
- multi robot
- knowledge representation and reasoning
- artificial intelligence
- propositional satisfiability
- first order logic
- logic programming
- machine learning