Toward ethical robots via mechanized deontic logic

AAAI Fall Symposium - Technical Report

Volumn FS-05-06, Issue , 2005, Pages 17-23

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

^a RENSSELAER POLYTECHNIC INSTITUTE   (United States)

^b AIR FORCE RESEARCH LABORATORY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AGENT ACTIONS; LOGICAL FRAMEWORK; MECHANIZED PROOF; NATURAL DEDUCTION SYSTEM;

FORMAL LOGIC; INTELLIGENT AGENTS; MULTI AGENT SYSTEMS; ROBOTICS; SEMANTICS; SIGNAL ENCODING; SYNTACTICS;

INTELLIGENT ROBOTS;

EID: 33646158674     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (34)

1. Aqvist, E. 1984. Deontic logic. In Gabbay, D., and Guenthner, F., eds., Handbook of Philosophical Logic, Volume II: Extensions of Classical Logic. Dordrecht, The Netherlands: D. Reidel. 605-714.
2. Arkoudas, K., and Bringsjord, S. 2005. Metareasoning for multi-agent epistemic logics. In Fifth International Conference on Computational Logic In Multi-Agent Systems (CLIMA 2004), volume 3487 of Lecture Notes in Artificial Intelligence (LNAI). New York: Springer-Verlag. 111-125.
3. Arkoudas, K., and Rinard, M. 2004. Deductive runtime certification. In Proceedings of the 2004 Workshop on Runtime Verification, 39-56.
4. Arkoudas, K.; Khurshid, S.; Marinov, D.; and Rinard, M. 2003. Integrating model checking and theorem proving for relational reasoning. In Seventh International Seminar on Relational Methods in Computer Science (RelMiCS 2003), volume 3015 of Lecture Notes in Computer Science (LNCS), 21-33.
5. Arkoudas, K.; Zee, K.; Kuncak, V.; and Rinard, M. 2004. Verifying a file system implementation. In Sixth International Conference on Formal Engineering Methods (ICFEM'04), volume 3308 of Lecture Notes in Computer Science (LNCS), 373-390.
6. Arkoudas, K. 2000. Denotational Proof Languages. Ph.D. Dissertation, MIT, Department of Computer Science, Cambridge, USA.
7. Arkoudas, K. 2003. Athena, http://www.pac.csail.mit.edu/athena.
8. Arvizo, T. 2002. A virtual machine for a type-w denotational proof language. Masters thesis, MIT, June 2002.
9. Belnap, N.; Perloff, M.; and Xu, M. 2001. Facing the future. Oxford University Press.
10. Bringsjord, S., and Ferrucci, D. 1998a. Logic and artificial intelligence: Divorced, still married, separated...? Minds and Machines 8:273-308.
11. Bringsjord, S., and Ferrucci, D. 1998b. Reply to Thayse and Glymour on logic and artificial intelligence. Minds and Machines 8:313-315.
12. Bringsjord, S.; Arkoudas, K.; and Schimanski, B. forth-coming. Logic-based AI for the new millennium. AI Magazine.
13. Chellas, B. 1969. The logical form of imperatives. PhD dissertation, Stanford Philosophy Department.
14. Chellas, B. F. 1980. Modal Logic: an Introduction. Cambridge University Press.
15. Claessen, K., and Sorensson, N. 2003. New techniques that improve Mace-style finite model building. In Model Computation - principles, algorithms, applications.
16. Genesereth, M., and Nilsson, N. 1987. Logical Foundations of Artificial Intelligence. Los Altos, CA: Morgan Kaufmann.
17. Gordon, M. J. C., and Melham, T. F. 1993. Introduction to HOL, a theorem proving environment for higher-order logic. Cambridge, England: Cambridge University Press.
18. Hao, M. 2002. Using a denotational proof language to verify dataflow analyses. Masters thesis, MIT, September 2002.
19. Hilpinen, R. 2001. Deontic Logic. In Goble, L., ed., Philosophical Logic. Oxford, UK: Blackwell. 159-182.
20. Horty, J. 2001. Agency and Deontic Logic. Oxford University Press.
21. Joy, W. 2000. Why the Future Doesn't Need Us. Wired 8(4).
22. Leibniz. 1984. Notes on analysis. Past Masters: Leibniz. Oxford University Press. Translated by George MacDonald Ross.
23. Murakami, Y. 2004. Utilitarian deontic logic. In Proceedings of the Fifth International Conference on Advances in Modal Logic (AiML 2004), 288-302.
24. Musser, D. 2004. Generic Software Design, www.es.rpi.edu/~musser/gsd.
25. Nilsson, N. 1991. Logic and Artificial Intelligence. Artificial Intelligence 47:31-56.
26. Paulson, L. 1994. Isabelle, A Generic Theorem Prover. Lecture Notes in Computer Science. Springer-Verlag.
27. Pelletier, F. J. 1999. A Brief History of Natural Deduction. History and Philosophy of Logic 20:1-31.
28. Prior, A. 1967. Past, present, and future. Oxford University Press.
29. Rinard, M., and Marinov, D. 1999. Credible compilation with pointers. In Proceedings of the 1999 Workshop on Run-Time Result Verification.
30. Thomason, R. 1984. Combinations of tense and modality. In Gabbay, D., and Guenthner, F., eds., Extensions of classical logic, volume 2 of Handbook of Philosophical Logic. Dordrecht, The Netherlands: D. Reidel.
31. Van Der Torre, L. 1997. Reasoning about obligations. Ph.D. Dissertation, Erasmus University, Rotterdam, Netherlands.
32. von Wright, G. 1951. Deontic logic. Mind 60:1-15.
33. Voronkov, A. 1995. The anatomy of Vampire: implementing bottom-up procedures with code trees. Journal of Automated Reasoning 15(2).
34. Weidenbach, C. 2001. Combining superposition, sorts, and splitting. In Robinson, A., and Voronkov, A., eds., Handbook of Automated Reasoning, volume 2. North-Holland.