9,860 research outputs found
Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories
The computer-mechanization of an ambitious explicit ethical theory, Gewirth's
Principle of Generic Consistency, is used to showcase an approach for
representing and reasoning with ethical theories exhibiting complex logical
features like alethic and deontic modalities, indexicals, higher-order
quantification, among others. Harnessing the high expressive power of Church's
type theory as a meta-logic to semantically embed a combination of quantified
non-classical logics, our work pushes existing boundaries in knowledge
representation and reasoning. We demonstrate that intuitive encodings of
complex ethical theories and their automation on the computer are no longer
antipodes.Comment: 14 page
Designing Normative Theories for Ethical and Legal Reasoning: LogiKEy Framework, Methodology, and Tool Support
A framework and methodology---termed LogiKEy---for the design and engineering
of ethical reasoners, normative theories and deontic logics is presented. The
overall motivation is the development of suitable means for the control and
governance of intelligent autonomous systems. LogiKEy's unifying formal
framework is based on semantical embeddings of deontic logics, logic
combinations and ethico-legal domain theories in expressive classic
higher-order logic (HOL). This meta-logical approach enables the provision of
powerful tool support in LogiKEy: off-the-shelf theorem provers and model
finders for HOL are assisting the LogiKEy designer of ethical intelligent
agents to flexibly experiment with underlying logics and their combinations,
with ethico-legal domain theories, and with concrete examples---all at the same
time. Continuous improvements of these off-the-shelf provers, without further
ado, leverage the reasoning performance in LogiKEy. Case studies, in which the
LogiKEy framework and methodology has been applied and tested, give evidence
that HOL's undecidability often does not hinder efficient experimentation.Comment: 50 pages; 10 figure
'Education, education, education' : legal, moral and clinical
This article brings together Professor Donald Nicolson's intellectual interest in professional legal ethics and his long-standing involvement with law clinics both as an advisor at the University of Cape Town and Director of the University of Bristol Law Clinic and the University of Strathclyde Law Clinic. In this article he looks at how legal education may help start this process of character development, arguing that the best means is through student involvement in voluntary law clinics. And here he builds upon his recent article which argues for voluntary, community service oriented law clinics over those which emphasise the education of students
Machine ethics via logic programming
Machine ethics is an interdisciplinary field of inquiry that emerges from the need of
imbuing autonomous agents with the capacity of moral decision-making. While some
approaches provide implementations in Logic Programming (LP) systems, they have not
exploited LP-based reasoning features that appear essential for moral reasoning.
This PhD thesis aims at investigating further the appropriateness of LP, notably a
combination of LP-based reasoning features, including techniques available in LP systems,
to machine ethics. Moral facets, as studied in moral philosophy and psychology, that
are amenable to computational modeling are identified, and mapped to appropriate LP
concepts for representing and reasoning about them.
The main contributions of the thesis are twofold.
First, novel approaches are proposed for employing tabling in contextual abduction
and updating – individually and combined – plus a LP approach of counterfactual reasoning; the latter being implemented on top of the aforementioned combined abduction and updating technique with tabling. They are all important to model various issues of the aforementioned moral facets.
Second, a variety of LP-based reasoning features are applied to model the identified
moral facets, through moral examples taken off-the-shelf from the morality literature.
These applications include: (1) Modeling moral permissibility according to the Doctrines of Double Effect (DDE) and Triple Effect (DTE), demonstrating deontological and utilitarian judgments via integrity constraints (in abduction) and preferences over abductive scenarios; (2) Modeling moral reasoning under uncertainty of actions, via abduction and probabilistic LP; (3) Modeling moral updating (that allows other – possibly overriding – moral rules to be adopted by an agent, on top of those it currently follows) via the integration of tabling in contextual abduction and updating; and (4) Modeling moral permissibility and its justification via counterfactuals, where counterfactuals are used for formulating DDE.Fundação para a Ciência e a Tecnologia (FCT)-grant SFRH/BD/72795/2010 ; CENTRIA
and DI/FCT/UNL for the supplementary fundin
Employing AI to Better Understand Our Morals
We present a summary of research that we have conducted employing AI to better understand human morality. This summary adumbrates theoretical fundamentals and considers how to regulate development of powerful new AI technologies. The latter research aim is benevolent AI, with fair distribution of benefits associated with the development of these and related technologies, avoiding disparities of power and wealth due to unregulated competition. Our approach avoids statistical models employed in other approaches to solve moral dilemmas, because these are “blind” to natural constraints on moral agents, and risk perpetuating mistakes. Instead, our approach employs, for instance, psychologically realistic counterfactual reasoning in group dynamics. The present paper reviews studies involving factors fundamental to human moral motivation, including egoism vs. altruism, commitment vs. defaulting, guilt vs. non-guilt, apology plus forgiveness, counterfactual collaboration, among other factors fundamental in the motivation of moral action. These being basic elements in most moral systems, our studies deliver generalizable conclusions that inform efforts to achieve greater sustainability and global benefit, regardless of cultural specificities in constituents
The Problem of Ignorance
Holly Smith (2014) contends that subjective deontological theories – those that hold that our moral duties are sensitive to our beliefs about our situation – cannot correctly determine whether one ought to gather more information before acting. Against this contention, I argue that deontological theories can use a decision-theoretic approach to evaluating the moral importance of information. I then argue that this approach compares favourably with an alternative approach proposed by Philip Swenson (2016)
- …