• No results found

Formal verification of ethical choices in autonomous systems

N/A
N/A
Protected

Academic year: 2021

Share "Formal verification of ethical choices in autonomous systems"

Copied!
14
0
0

Loading.... (view fulltext now)

Full text

Loading

Figure

Fig. 1. A typical hybrid agent architecture.
Fig. 2. Ethan’s reasoning cycle. Dotted lines show additions to Gwendolen’s cycle.

References

Related documents

In Section 1.3, we study conjugates of an element and roots of irreducible polynomials and determine the number of monic irreducible polynomials of given degree over a finite field..

The Equifax privacy policy is available on the Equifax website at https://www.equifax.com.au/privacy, and contains information about how Equifax handles personal information

The Project Gutenberg Etext of In Flanders Fields And Other Poems by John McCrae.. Please take a look at the important information in

Heat creates stress, affects ductility and toughness Effects of previous heat treating are lost around the weld If done properly usually stronger than the base metal Can effect

Summer of 1792 – Austria (then led by Marie Antoinette’s brother) threatens war with France The actions of the lower classes in France have nobles throughout Europe nervous A

We find that higher four-factor alpha is significantly positively related to the likelihood of rate increases; while larger fund size and higher dollar asset growth are

The process of implementing your wireless modem solution is fairly straightforward, and can be broken down into four basic steps: determining your wireless technology, choosing

attending interviews. Findings show that the majority of youth connected continued success in navigating the labour market to approaches and ingredients, which fall outside of pure