Toward a general logicist methodology for engineering ethically correct robots

IEEE Intelligent Systems

Volumn 21, Issue 4, 2006, Pages 38-44

  Bringsjord, Selmer ^a   Arkoudas, Konstantine ^a   Bello, Paul ^a,b  

^a RENSSELAER POLYTECHNIC INSTITUTE   (United States)

^b AIR FORCE RESEARCH LABORATORY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLEX ENVIRONMENT; LOGISTIC METHODOLOGY;

INTELLIGENT AGENTS; LARGE SCALE SYSTEMS; NUMERICAL METHODS; PROBABILITY;

ROBOTS;

EID: 33747205495     PISSN: 15411672     EISSN: None     Source Type: Journal    
DOI: 10.1109/MIS.2006.82     Document Type: Article

References (17)

1. W. Joy, "Why the Future Doesn't Need Us," Wired, vol. 8, no. 4, 2000.
2. K. Arkoudas and S. Bringsjord, "Toward Ethical Robots Via Mechanized Deontic Logic," Machine Ethics: Papers from the AAAI Fall Symp., tech. report FS-05-06, AAAI Press, 2005.
3. I. Asimov, I. Robot, Spectra, 2004.
4. G.W. Leibniz, Notes on Analysis, translated by G.M. Ross, Oxford Univ. Press, 1984.
5. F. Feldman, Introduction to Ethics, McGraw-Hill, 1998.
6. L. Wos et al., Automated Reasoning: Introduction and Applications, McGraw-Hill, 1992.
7. J. Barwise and J. Etchemendy, Language, Proof. and Logic, Seven Bridges, 1999.
8. B.F. Chellas, Modal Logic: An Introduction, Cambridge Univ. Press, 1980.
9. K. Hilpinen, "Deontic Logic," Philosophical Logic, L. Goble, ed., Blackwell, 2001, pp. 159-182.
10. G.H. von Wright, "Deontic logic," Mind. vol. 60, 1951. pp. 1-15.
11. J. Horty, Agency and Deontic Logic, Oxford Univ. Press, 2001.
12. Y. Murakami, "Utilitarian Deontic Logic," Proc. 5th Int'l Conf. Advances in Modal Logic (AIML 04), 2004, pp. 288-302.
13. K. Arkoudas and S. Bringsjord, "Metareasoning for Multi-Agent Epistemic Logics," Proc. 5th Int'l Conf. Computational Logic in Multi-Agent Systems ((CLIMA 04). LNAI 3487, Springer, 2005, pp. 111-125.
14. R. Chisholm, "Contrary-to-Duty Imperatives and Deontic Logic." Analysis, vol. 24, 1963. pp. 33-36.
15. H. Levesque and R. Brachman, "A Fundamental Tradeoff in Knowledge Representation and Reasoning," Readings in Knowledge Representation, Morgan Kaufmann, 1985, pp. 41-70.
16. N. Friedland et al., "Project Halo: Towards a Digital Aristotle," AI Magazine, vol. 25, no.4, 2004, pp. 29-47.
17. R. Reiter, Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems, MIT Press, 2001.