Thomas M. Powers

Suggest Changes
Learn More
A rule-based ethical theory is a good candidate for the practical reasoning of machine ethics because it generates duties or rules for action, and rules are computationally tractable. Among(More)
Approaches to programming ethical behavior for computer systems face challenges that are both technical and philosophical in nature. In response, an incrementalist account of machine ethics is(More)
An important link between model theory and proof theory is to construe a deductive disproof of S as an attempted construction of a countermodel to it. in the function logic outlined here, this idea(More)
  • 1