Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Logical Limitations to Machine Ethics with Consequences to Lethal
  Autonomous Weapons   Lethal Autonomous Weapons promise to revolutionize warfare -- and raise a
multitude of ethical and legal questions. It has thus been suggested to program
values and principles of conduct (such as the Geneva Conventions) into the
machines' control, thereby rendering them both physically and morally superior
to human combatants.
  We employ mathematical logic and theoretical computer science to explore
fundamental limitations to the moral behaviour of intelligent machines in a
series of "Gedankenexperiments": Refining and sharpening variants of the
Trolley Problem leads us to construct an (admittedly artificial but) fully
deterministic situation where a robot is presented with two choices: one
morally clearly preferable over the other -- yet, based on the undecidability
of the Halting problem, it provably cannot decide algorithmically which one.
Our considerations have surprising implications to the question of
responsibility and liability for an autonomous system's actions and lead to
specific technical recommendations.

27
The categories of this paper are: comp-gas
2
The categories of this paper are: math
36
The categories of this paper are: cmp-lg
3
The categories of this paper are: physics
24
The categories of this paper are: dg-ga
28
The categories of this paper are: alg-geom
16
The categories of this paper are: stat
33
The categories of this paper are: plasm-ph
14
The categories of this paper are: math-ph
20
The categories of this paper are: acc-phys
23
The categories of this paper are: solv-int
31
The categories of this paper are: ao-sci
21
The categories of this paper are: adap-org
26
The categories of this paper are: bayes-an
4
The categories of this paper are: cond-mat
35
The categories of this paper are: mtrl-th