Piagetian roboethics via category theory: Moving beyond mere formal operations to engineer robots whose decisions are guaranteed to be ethically correct

Selmer Bringsjord, Joshua Taylor, Bram Van Heuveln, Konstantine Arkoudas, Micah Clark, Ralph Wojtowicz

Research output: Chapter in Book/Report/Conference proceedingChapter

8 Scopus citations

Abstract

This paper introduces an approach to, rather than the final results of, sustained research and development in the area of roboethics described herein. Encapsulated, the approach is to engineer ethically correct robots by giving them the capacity to reason over, rather than merely in, logical systems (where logical systems are used to formalize such things as ethical codes of conduct for warfighting robots). This is to be accomplished by taking seriously Piaget's position that sophisticated human thinking exceeds even abstract processes carried out in a logical system, and by exploiting category theory to render in rigorous form, suitable for mechanization, structure-preserving mappings that Bringsjord, an avowed Piagetian, sees to be central in rigorous and rational human ethical decision making. We assume our readers to be at least somewhat familiar with elementary classical logic, but we review basic category theory and categorical treatment of deductive systems. Introductory coverage of the former subject can be found in Barwise and Etchemendy [1] and Ebbinghaus, Flum, and Thomas [2]; deeper coverage of the latter, offered from a suitably computational perspective, is provided in Barr and Wells [3]. Additional references are of course provided in the course of this paper. Preliminaries A category consists of a collection of objects and a collection of arrows, or morphisms. Associated with each arrow f are a domain (or source), denoted dom f, and a codomain (or target), denoted cod f.

Original languageEnglish (US)
Title of host publicationMachine Ethics
PublisherCambridge University Press
Pages361-374
Number of pages14
Volume9780521112352
ISBN (Electronic)9780511978036
ISBN (Print)9780521112352
DOIs
StatePublished - Jan 1 2011

All Science Journal Classification (ASJC) codes

  • Computer Science(all)

Fingerprint Dive into the research topics of 'Piagetian roboethics via category theory: Moving beyond mere formal operations to engineer robots whose decisions are guaranteed to be ethically correct'. Together they form a unique fingerprint.

  • Cite this

    Bringsjord, S., Taylor, J., Van Heuveln, B., Arkoudas, K., Clark, M., & Wojtowicz, R. (2011). Piagetian roboethics via category theory: Moving beyond mere formal operations to engineer robots whose decisions are guaranteed to be ethically correct. In Machine Ethics (Vol. 9780521112352, pp. 361-374). Cambridge University Press. https://doi.org/10.1017/CBO9780511978036.021