Back to the database
Record STMT-W2AD009Aspirational

On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots

Report ProfessionalGlobaladopted

This academic journal article addresses desirable attributes for ethical machine reasoning systems to improve their real-world utility, proposing that such reasoning should be proactive, transparent, and verifiable. The authors describe a robot controller architecture where ethical reasoning is handled by a separate layer using a Python-based belief-desire-intention implementation and a simulation-based internal model. A case study implementation is used to experimentally demonstrate operation, representing the first such robot controller with formally verified ethical reasoning.

Summary and content fields are drawn from the document text and are pending editorial review.

Who issued it

Institute of Electrical and Electronics EngineersProfessional · US
Publisher
Legal forceAspirational
Under whose authorityProfessional
Judged fromfull text

Who it governs

Researchers and academicsGeneral publicAI developers and providers

Researchers and developers in artificial intelligence and robotics should read this to understand methods for implementing verifiable ethical reasoning in autonomous systems.

Sectors
Research and science · robotics and artificial intelligence

What the document contains

What's covered

The article covers the design and implementation of a robot control architecture featuring a separate ethical reasoning layer. It discusses the use of a simulation-based internal model and a belief-desire-intention logic structure to ethically moderate robot actions.

What's missing

The text does not provide regulatory compliance frameworks, legislative mandates, or industry-wide compliance guidelines for commercial robot deployment.

Key takeaways
  • Ethically critical machine reasoning should be proactive, transparent, and verifiable.
  • An architecture utilizing a separate ethical layer can successfully augment a typical layered control architecture for robots.
  • A Python-based belief-desire-intention framework facilitates both transparency via reasoning cycle logging and formal verification.
  • Experimental case studies can successfully demonstrate the operation of ethically moderated robot controllers.
Principles it states
Proactive ethical reasoningTransparent ethical reasoningVerifiable ethical reasoning
Issued1 March 2019
Length1,149 words
FormatNot recorded
Scopeglobal

How it scores

Pending review

Each score is backed by a quote verified against the document text. Editorial review has not yet confirmed them.

Accountability

0/5

Clear responsibility for AI outcomes

Abstract

screening score · 2026-10-23

Fairness

0/5

Non-discrimination and equitable treatment

Abstract

screening score · 2026-10-23

Human Dignity

0/5

Respect for the inherent worth of persons

Abstract

screening score · 2026-10-23

Human Oversight

1/5

Humans remain in control of consequential decisions

ethically moderating the robot actions

Abstract

screening score · 2026-10-23

Privacy

0/5

Protection of personal data and private life

Abstract

screening score · 2026-10-23

Transparency

4/5

Openness about how AI systems work and are used

The declarative logic structure of BDI facilitates both transparency, through logging of the reasoning cycle, and formal verification methods.

Abstract

screening score · 2026-10-23

Enforcement

0/5

Consequences and compliance mechanisms with real force

Abstract

screening score · 2026-10-23

Impact Assessment

0/5

Required assessment of an AI system's risks/impacts before or during use

Abstract

screening score · 2026-10-23

Topics

robotics formal_verification ethical_reasoning autonomous_systems belief_desire_intention