Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Logic and Artificial Intelligence: Divorced, Still Married, Separated...?
Minds and Machines
Minds and Machines
Engines of Logic: Mathematicians and the Origin of the Computer
Engines of Logic: Mathematicians and the Origin of the Computer
Artificial Intelligence: A Modern Approach
Artificial Intelligence: A Modern Approach
Metareasoning for multi-agent epistemic logics
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Proceedings of the 3rd International Conference on Bio-Inspired Models of Network, Information and Computing Sytems
Toward Logic-Based Cognitively Robust Synthetic Characters in Digital Environments
Proceedings of the 2008 conference on Artificial General Intelligence 2008: Proceedings of the First AGI Conference
Toward Aligning Computer Programming with Clear Thinking via the Reason Programming Language
Proceedings of the 2008 conference on Current Issues in Computing and Philosophy
Modelling morality with prospective logic
EPIA'07 Proceedings of the aritficial intelligence 13th Portuguese conference on Progress in artificial intelligence
An artificial neural network approach for creating an ethical artificial agent
CIRA'09 Proceedings of the 8th IEEE international conference on Computational intelligence in robotics and automation
Provability-Based Semantic Interoperability for Information Sharing and Joint Reasoning
Proceedings of the 2010 conference on Ontologies and Semantic Technologies for Intelligence
Minds and Machines
| Hi-index | 0.00 |
It's hard to deny that robots will become increasingly capable and that humans will increasinglyexploit these capabilities by deploying them in ethically sensitive environments, such as hospitals, whereethically incorrect robot behavior could have dire consequences for humans. How can we ensure that suchrobots will always behave in an ethically correct manner? How can we know ahead of time, via rationalesexpressed clearly in natural language, that their behavior will be constrained specifically by the ethicalcodes selected by human overseers? In general, one approach is to insist that robots only perform actionsthat can be proved ethically permissible in a human-selected deontic logic--that is, a logic thatformalizes an ethical code. Ethicists themselves work by rendering ethical theories and dilemmas indeclarative form and reasoning over this information using informal and formal logic. The authors describea logicist methodology in general terms, free of any commitment to particular systems, and show it solvinga challenge regarding robot behavior in an intensive care unit.This article is part of a special issue on Machine Ethics.