A LOGIC FOR REASONING ABOUT MORAL AGENTS

被引：5
|
作者：
Lorin, Emiliano [1 ]
机构：
[1] Univ Toulouse, IRIT, CNRS, Toulouse, France
来源：
LOGIQUE ET ANALYSE | 2015年 / 230期
关键词：
INTENTION;
D O I：
10.2143/LEA.230.0.3141808
中图分类号：
B81 [逻辑学（论理学）];
学科分类号：
010104 ; 010105 ;
摘要：
The aim of this work is to provide a logical analysis of moral agency. Although this concept has been extensively studied in moral philosophy and in economics, it has been far less studied in the areas of logics of agent and multi-agent systems. We discuss different aspects of moral agency such as the distinction between desires and moral values and the concept of moral choice. All these concepts are formalized in a logic of actions and agents' mental attitudes including knowledge, desires, moral values and preferences.
引用
收藏
页码：177 / 218
页数：42
相关论文
共 50 条
  • [1] A Logic for Reasoning about Rational Agents
    Jamroga, Wojciech
    Bulling, Nils
    COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, 2008, 5056 : 42 - 61
  • [2] Dynamic logic for reasoning about actions and agents
    Meyer, JJC
    LOGIC-BASED ARTIFICIAL INTELLIGENCE, 2000, 597 : 281 - 311
  • [3] Reasoning about epistemic states of agents by modal logic programming
    Nguyen, Linh Anh
    COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, 2006, 3900 : 37 - 56
  • [4] Reasoning about self and others: Communicating agents in a modal action logic
    Baldoni, M
    Baroglio, C
    Martelli, A
    Patti, V
    THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2003, 2841 : 228 - 241
  • [5] Reasoning about other agents: A plea for logic-based methods
    Reich, W
    JASSS-THE JOURNAL OF ARTIFICIAL SOCIETIES AND SOCIAL SIMULATION, 2004, 7 (04):
  • [6] THE ROLE OF LOGIC IN MORAL REASONING AND DEVELOPMENT
    HAAN, N
    WEISS, R
    JOHNSON, V
    DEVELOPMENTAL PSYCHOLOGY, 1982, 18 (02) : 245 - 256
  • [7] A LOGIC FOR REASONING ABOUT PROBABILITIES
    FAGIN, R
    HALPERN, JY
    MEGIDDO, N
    INFORMATION AND COMPUTATION, 1990, 87 (1-2) : 78 - 128
  • [8] A LOGIC FOR REASONING ABOUT SECURITY
    GLASGOW, J
    MACEWEN, G
    PANANGADEN, P
    ACM TRANSACTIONS ON COMPUTER SYSTEMS, 1992, 10 (03): : 226 - 264
  • [9] A logic for reasoning about ambiguity
    Halpern, Joseph Y.
    Kets, Willemien
    ARTIFICIAL INTELLIGENCE, 2014, 209 : 1 - 10
  • [10] A logic for reasoning about responsibility
    de Lima, Tiago
    Royakkers, Lamber
    Dignum, Frank
    LOGIC JOURNAL OF THE IGPL, 2010, 18 (01) : 99 - 117
12345