Skip to main content Accessibility help
×
Hostname: page-component-76fb5796d-zzh7m Total loading time: 0 Render date: 2024-04-29T05:19:29.864Z Has data issue: false hasContentIssue false

19 - Architectures and Ethics for Robots

Constraint Satisfaction as a Unitary Design Framework

from PART IV - APPROACHES TO MACHINE ETHICS

Published online by Cambridge University Press:  01 June 2011

Michael Anderson
Affiliation:
University of Hartford, Connecticut
Susan Leigh Anderson
Affiliation:
University of Connecticut
Get access

Summary

Introduction

Intelligent robots must be both proactive and responsive. that requirement is the main challenge facing designers and developers of robot architectures. A robot in an active environment changes that environment in order to meet its goals and it, in turn, is changed by the environment. In this chapter we propose that these concerns can best be addressed by using constraint satisfaction as the design framework. This will allow us to put a firmer technical foundation under various proposals for codes of robot ethics.

Constraint Satisfaction Problems

We will start with what we might call Good Old-Fashioned Constraint Satisfaction (GOFCS). Constraint satisfaction itself has now evolved far beyond GOFCS. However, we initially focus on GOFCS as exemplified in the constraint satisfaction problem (CSP) paradigm. The whole concept of constraint satisfaction is a powerful idea. It arose in several applied fields roughly simultaneously; several researchers, in the early 1970s, abstracted the underlying theoretical model. Simply, many significant sets of problems of interest in artificial intelligence can each be characterized as a CSP. A CSP has a set of variables; each variable has a domain of possible values, and there are various constraints on some subsets of those variables, specifying which combinations of values for the variables involved are allowed (Mackworth 1977). The constraints may be between two variables or among more than two variables. A familiar CSP example is the Sudoku puzzle.

Type
Chapter
Information
Machine Ethics , pp. 335 - 360
Publisher: Cambridge University Press
Print publication year: 2011

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Albus, J. S. 1981. Brains, Behavior and Robotics. NY: McGraw-Hill.Google Scholar
Anderson, M. and Leigh Anderson, S. 2007. Machine Ethics: Creating an Ethical Intelligent Agent. AI Magazine, 28(4):15–26.Google Scholar
Asimov, I. 1950. I, Robot. NY: Gnome Press.Google Scholar
Brooks, R. A. 1986. A Robust Layered Control System for a Mobile Robot. IEEE Journal of Robotics and Automation, RA-2(1): 14–23.CrossRef
Brooks, R. A. 1991. Intelligence without Reason. In Proc. of Twelth International Joint Conference on Artificial Intelligence, 569–595. San Mateo, CA: Morgan Kaufmann.
Capek, K. 1923. R.U.R. (Rossum's Universal Robots): A Fantastic Melodrama in Three Acts and an Epilogue. Garden City, NY: Doubleday.Google Scholar
Dresner, K. and Stone, P. 2008. A Multiagent Approach to Autonomous Intersection Management. Journal of Artificial Intelligence Research 31:591–656.Google Scholar
Feuerbach, L. A. 1854. The Essence of Christianity. London: John Chapman.Google Scholar
Freuder, E. C. and Mackworth, A. K. 2006. Constraint Satisfaction: An Emerging Paradigm. In Handbook of Constraint Programming, ed. Rossi, F., Beek, P. and Walsh, T., 13–28. Amsterdam: Elsevier.Google Scholar
Haugeland, J. 1985. Artificial Intelligence: The Very Idea. Cambridge, MA: MIT Press.Google Scholar
Hsu, F. 2002. Behind Deep Blue: Building the Computer that Defeated the World Chess Champion, Princeton, NJ: Princeton University Press.Google Scholar
Kitano, H. (ed.) 1998. RoboCup-97: Robot Soccer World Cup I. Lecture Notes in Computer Science 1395, Heidelberg: Springer.CrossRef
Lashley, K.S., 1951. The Problem of Serial Order in Behavior. In Cerebral Mechanisms in Behavior. Ed. Jeffress, L.A., 112–136. New York: Wiley.Google Scholar
Lennon, J. 1980. Beautiful Boy (Darling Boy). Song lyrics. On album Double Fantasy.
McLuhan, M. 1964. Understanding Media: The Extensions of Man. New York: New American Library.Google Scholar
Mackworth, A. K. 1977. Consistency in Networks of Relations, Artificial Intelligence 8(1), 99–118.CrossRefGoogle Scholar
Mackworth, A. K. 1993. On Seeing Robots. In Computer Vision: Systems, Theory and Applications eds. Basu, A. and Li, X., 1–13. Singapore: World Scientific Press.Google Scholar
Mackworth, A. K. 2009. Agents, Bodies, Constraints, Dynamics, and Evolution. AI Magazine, 26(30):7–28, Spring 2009.CrossRefGoogle Scholar
Mackworth, A. K. and Zhang, Y. 2003. A Formal Approach to Agent Design: An Overview of Constraint-Based Agents. Constraints 8 (3) 229–242.CrossRefGoogle Scholar
Maxwell, J. C. 1868. On Governors. In Proceedings of the Royal Society of London, 16, 270–283. London: The Royal Society.Google Scholar
Miller, G. A., Galantner, E., & Pribram, K. H. 1960. Plans and the Structure of Behavior. New York: Holt, Rinehart & Winston.
Mori, M. 1982. The Buddha in the Robot. Tokyo: Charles E. Tuttle Co.Google Scholar
Muyan-Özçelik, P., and Mackworth, A. K. 2004. Situated Robot Design with Prioritized Constraints. In Proc. Int. Conf. on Intelligent Robots and Systems (IROS 2004), 1807–1814.
Reiter, R. 1978. On Closed World Data Bases. In Logic and Data Bases eds. Gallaire, H. and Minker, J., 119–140. New York, NY: Plenum.Google Scholar
Rossi, F., Beek, P. andWalsh, T. (eds.) 2006. Handbook of Constraint Programming. Amsterdam: Elsevier Science.
Sahota, M. and Mackworth, A. K. 1994. Can Situated Robots Play Soccer? In Proc. Artificial Intelligence '94, 249–254. Toronto ON: Can. Soc. for Comp. Studies of Intelligence.Google Scholar
Shelley, M. W. 1818. Frankenstein; or, The Modern Prometheus. London: Lackington, Hughes, Harding, Mavor and Jones.Google Scholar
Somerville, M. 2006. The Ethical Imagination: Journeys of the Human Spirit. Toronto: House of Anansi Press.Google Scholar
St-Aubin, R., Friedman, J. and Mackworth, A. K. 2006. A Formal Mathematical Framework for Modeling Probabilistic Hybrid Systems. Annals of Mathematics and Artificial Intelligence 37(3–4) 397–425.Google Scholar
Thrun, S. 2006. Winning the DARPA Grand Challenge. Invited Talk at Innovative Applications of Artificial Intelligence (IAAI-06), Boston, Massachusetts, July 16–20.
Visser, U. and Burkhard, H. D. 2007. RoboCup: 10 years of Achievements and Challenges. AI Magazine 28(2) 115–130.Google Scholar
Waltz, D. L. 1975. Understanding Line Drawings of Scenes with Shadows. In The Psychology of Computer Vision, ed. Winston, P.H., 19–92. New York, NY: McGraw-Hill.Google Scholar
Zhang, Y. and Mackworth, A. K. 1993. Constraint Programming in Constraint Nets. In Proc. First Workshop on Principles and Practice of Constraint Programming. 303–312. Padua: Assoc. for Constraint Programming.Google Scholar
Zhang, Y. and Mackworth, A. K. 1995. Constraint Nets: A Semantic Model for Dynamic Systems. Theoretical Computer Science 138 211–239.CrossRefGoogle Scholar

Save book to Kindle

To save this book to your Kindle, first ensure coreplatform@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about saving to your Kindle.

Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

Available formats
×

Save book to Dropbox

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Dropbox.

Available formats
×

Save book to Google Drive

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Google Drive.

Available formats
×