Narrow your search

Library

KU Leuven (8)

UGent (3)

UCLouvain (2)

AP (1)

KDG (1)

Odisee (1)

Thomas More Kempen (1)

Thomas More Mechelen (1)

UCLL (1)

ULB (1)

More...

Resource type

book (12)

digital (1)


Language

English (10)

Undetermined (2)

German (1)


Year
From To Submit

2020 (1)

2016 (1)

1996 (2)

1985 (2)

1983 (3)

More...
Listing 1 - 10 of 13 << page
of 2
>>
Sort by

Book
Proceedings logic programming workshop '83 : Praia de Falesia, Algarve / Portugal 26 Jun-1 July, 1983
Author:
Year: 1983 Publisher: S.l. Iniversidade nova de Lisboa. Núcleo de inteligência artificial

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
Logic control with Logic
Author:
Year: 1982 Publisher: Lisboa Universidade nova de Lisboa. Departamento de informática

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Digital
Programming Machine Ethics
Authors: ---
ISBN: 9783319293547 Year: 2016 Publisher: Cham Springer International Publishing

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book addresses the fundamentals of machine ethics. It discusses abilities required for ethical machine reasoning and the programming features that enable them. It connects ethics, psychological ethical processes, and machine implemented procedures. From a technical point of view, the book uses logic programming and evolutionary game theory to model and link the individual and collective moral realms. It also reports on the results of experiments performed using several model implementations. Opening specific and promising inroads into the terra incognita of machine ethics, the authors define here new tools and describe a variety of program-tested moral applications and implemented systems. In addition, they provide alternative readings paths, allowing readers to best focus on their specific interests and to explore the concepts at different levels of detail. Mainly written for researchers in cognitive science, artificial intelligence, robotics, philosophy of technology and engineering of ethics, the book will also be of general interest to other academics, undergraduates in search of research topics, science journalists as well as science and society forums, legislators and military organizations concerned with machine ethics. .


Book
Deduction revision by intelligent backtracking
Authors: ---
Year: 1983 Publisher: Leuven KUL. Department of computer science

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
Revision of top-down logical reasoning through intelligent backtracking
Authors: ---
Year: 1981 Publisher: Leuven KUL. Department of computer science

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
Machine Ethics : From Machine Morals to the Machinery of Morality
Authors: ---
ISBN: 3030396304 3030396290 Year: 2020 Publisher: Cham : Springer International Publishing : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book offers the first systematic guide to machine ethics, bridging between computer science, social sciences and philosophy. Based on a dialogue between an AI scientist and a novelist philosopher, the book discusses important findings on which moral values machines can be taught and how. In turn, it investigates what kind of artificial intelligence (AI) people do actually want. What are the main consequences of the integration of AI in people’s every-day life? In order to co-exist and collaborate with humans, machines need morality, but which moral values should we teach them? Moreover, how can we implement benevolent AI? These are just some of the questions carefully examined in the book, which offers a comprehensive account of ethical issues concerning AI, on the one hand, and a timely snapshot of the power and potential benefits of this technology on the other. Starting with an introduction to common-sense ethical principles, the book then guides the reader, helping them develop and understand more complex ethical concerns and placing them in a larger, technological context. The book makes these topics accessible to a non-expert audience, while also offering alternative reading pathways to inspire more specialized readers.


Book
Reasoning with logic programming
Authors: ---
Year: 1996 Publisher: Berlin: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
Reasoning with logic programming.
Authors: ---
Year: 1996 Publisher: Berlin : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
The semantics of parallelism and co-routining in logic programming : Lisboa, Setembro de 1978 : relatorió
Authors: ---
Year: 1978 Publisher: Lisboa Ministério da habitaçao e obras públicas. Laboratório nacional de engenharia civil

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
Proceedings : Logic programming workshop '83, Praia da Falesia, Algarve, Portugal, 26 Jun.-1 July, 1983
Authors: ---
Year: 1983 Publisher: Lisboa: Universidade nova de Lisboa. Núcleo de Inteligência Artificial,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Listing 1 - 10 of 13 << page
of 2
>>
Sort by