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

7 Citations (Scopus)

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

Fingerprint

Robots
Engineers
Mechanization
Decision making

All Science Journal Classification (ASJC) codes

  • Computer Science(all)

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
Bringsjord, Selmer ; Taylor, Joshua ; Van Heuveln, Bram ; Arkoudas, Konstantine ; Clark, Micah ; Wojtowicz, Ralph. / Piagetian roboethics via category theory : Moving beyond mere formal operations to engineer robots whose decisions are guaranteed to be ethically correct. Machine Ethics. Vol. 9780521112352 Cambridge University Press, 2011. pp. 361-374
@inbook{788d4ff672d94a8c85d39903625a5f3c,
title = "Piagetian roboethics via category theory: Moving beyond mere formal operations to engineer robots whose decisions are guaranteed to be ethically correct",
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.",
author = "Selmer Bringsjord and Joshua Taylor and {Van Heuveln}, Bram and Konstantine Arkoudas and Micah Clark and Ralph Wojtowicz",
year = "2011",
month = "1",
day = "1",
doi = "10.1017/CBO9780511978036.021",
language = "English (US)",
isbn = "9780521112352",
volume = "9780521112352",
pages = "361--374",
booktitle = "Machine Ethics",
publisher = "Cambridge University Press",
address = "United Kingdom",

}

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, Cambridge University Press, pp. 361-374. https://doi.org/10.1017/CBO9780511978036.021

Piagetian roboethics via category theory : Moving beyond mere formal operations to engineer robots whose decisions are guaranteed to be ethically correct. / Bringsjord, Selmer; Taylor, Joshua; Van Heuveln, Bram; Arkoudas, Konstantine; Clark, Micah; Wojtowicz, Ralph.

Machine Ethics. Vol. 9780521112352 Cambridge University Press, 2011. p. 361-374.

Research output: Chapter in Book/Report/Conference proceedingChapter

TY - CHAP

T1 - Piagetian roboethics via category theory

T2 - Moving beyond mere formal operations to engineer robots whose decisions are guaranteed to be ethically correct

AU - Bringsjord, Selmer

AU - Taylor, Joshua

AU - Van Heuveln, Bram

AU - Arkoudas, Konstantine

AU - Clark, Micah

AU - Wojtowicz, Ralph

PY - 2011/1/1

Y1 - 2011/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84893463319&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84893463319&partnerID=8YFLogxK

U2 - 10.1017/CBO9780511978036.021

DO - 10.1017/CBO9780511978036.021

M3 - Chapter

AN - SCOPUS:84893463319

SN - 9780521112352

VL - 9780521112352

SP - 361

EP - 374

BT - Machine Ethics

PB - Cambridge University Press

ER -

Bringsjord S, Taylor J, Van Heuveln B, Arkoudas K, Clark M, Wojtowicz R. 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. Cambridge University Press. 2011. p. 361-374 https://doi.org/10.1017/CBO9780511978036.021