Toward Non-Intuition-Based Machine and Artificial Intelligence Ethics: A Deontological Approach Based on Modal Logic.
John N. HookerTae Wan KimPublished in: AIES (2018)
Keyphrases
- modal logic
- artificial intelligence
- decision procedures
- inference rules
- temporal logic
- situation calculus
- epistemic logic
- classical logic
- intelligent systems
- high tech
- case based reasoning
- default logic
- prime implicates
- intelligent machines
- explanation based generalization
- nonmonotonic logics
- conditional logic
- software engineering
- knowledge representation
- machine learning
- autoepistemic logic
- expert systems
- kripke models
- description logics
- relational databases
- knowledge representation and reasoning
- dynamic programming
- cognitive science