Philosophical Specification of Empathetic Ethical Artificial Intelligence.
Michael Timothy BennettYoshihiro MaruyamaPublished in: CoRR (2021)
Keyphrases
- artificial intelligence
- cognitive science
- intelligent systems
- expert systems
- formal methods
- software engineering
- high level
- knowledge representation
- formal specification
- intelligent agents
- computational intelligence
- fuzzy logic
- computer science
- knowledge based systems
- formal verification
- website
- provably correct
- asynchronous circuits
- machine learning
- lecture notes in artificial intelligence
- engineering design
- case study
- search engine
- information retrieval