Towards Ethical Machines Via Logic Programming

被引:2
|
作者
Dyoub, Abeer [1 ]
Costantini, Stefania [1 ]
Lisi, Francesca A. [2 ,3 ]
机构
[1] Univ Laquila, DISIM, Laquila, Italy
[2] Univ Bari, DIB, Bari, Italy
[3] Univ Bari, CILA, Bari, Italy
关键词
D O I
10.4204/EPTCS.306.39
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Autonomous intelligent agents are playing increasingly important roles in our lives. They contain information about us and start to perform tasks on our behalves. Chatbots are an example of such agents that need to engage in a complex conversations with humans. Thus, we need to ensure that they behave ethically. In this work we propose a hybrid logic-based approach for ethical chatbots.
引用
收藏
页码:333 / 339
页数:7
相关论文
共 50 条
  • [1] Towards Predicate Answer Set Programming via Coinductive Logic Programming
    Min, Richard
    Bansal, Ajay
    Gupta, Gopal
    ARTIFICIAL INTELLIGENCE APPLICATIONS AND INNOVATIONS III, 2009, : 499 - 508
  • [2] TOWARDS A METHODOLOGY FOR THE DESIGN OF ABSTRACT MACHINES FOR LOGIC PROGRAMMING-LANGUAGES
    NILSSON, U
    JOURNAL OF LOGIC PROGRAMMING, 1993, 16 (1-2): : 163 - 189
  • [3] Towards predicate answer set programming via coinductive logic programming
    Min, Richard
    Bansal, Ajay
    Gupta, Gopal
    IFIP Advances in Information and Communication Technology, 2009, 296 : 499 - 508
  • [4] A Deontic Logic for Programming Rightful Machines
    Wright, Ava Thomas
    PROCEEDINGS OF THE 3RD AAAI/ACM CONFERENCE ON AI, ETHICS, AND SOCIETY AIES 2020, 2020, : 392 - 392
  • [5] Towards possibilistics logic programming
    Dubois, Didier
    Lang, Jerome
    Prade, Henri
    Proceedings of the International Conference on Logic Programming, 1991,
  • [6] Towards Ethical Governance of Social Machines
    Hartswood, Mark
    Grimpe, Barbara
    Jirotka, Marina
    2013 IEEE THIRD INTERNATIONAL CONFERENCE ON CLOUD AND GREEN COMPUTING (CGC 2013), 2013, : 426 - 427
  • [7] A Science of Operations: Machines, Logic, and the Invention of Programming
    Grier, David Alan
    TECHNOLOGY AND CULTURE, 2012, 53 (03) : 741 - 742
  • [8] A Science of Operations: Machines, Logic, and the Invention of Programming
    Ensmenger, Nathan
    BRITISH JOURNAL FOR THE HISTORY OF SCIENCE, 2012, 45 (164): : 144 - 145
  • [9] A Science of Operations: Machines, Logic and the invention of Programming
    Durnova, Helena
    IEEE ANNALS OF THE HISTORY OF COMPUTING, 2012, 34 (02) : 70 - 70
  • [10] Towards Ethical Relationships with Machines That Make Art
    Galanter, Philip
    ARTNODES, 2020, (26):