A logic for reasoning about action, preference, and commitment

被引：0
|
作者：
Liau, CJ [1 ]
机构：
[1] Acad Sinica, Inst Informat Sci, Taipei, Taiwan
来源：
ECAI 1998: 13TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS | 1998年
关键词：
deontic logic; dynamic logic; logic of commitment; logic of preference;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
In this paper, we study the logical semantics of actions, preference, and commitment. The semantics is based on the possible world models for dynamic logic of actions. A binary preference relation between possible worlds is associated with the model. Then the preference between actions are determined by comparing that of their consequences. While the preference will influence the agent's choice of actions, commitment is a kind of actions that will change the agent's preference. The integrated semantics make it possible to express and reasoning about the mutual relationship among these mental attitudes in a common logic.
引用
收藏
页码：552 / 556
页数：5
相关论文
共 50 条
  • [1] A Dynamic Preference Logic for reasoning about Agent Programming
    Souza, Marlo
    Moreira, Alvaro
    Vieira, Renata
    Meyer, John-Jules Ch
    2017 6TH BRAZILIAN CONFERENCE ON INTELLIGENT SYSTEMS (BRACIS), 2017, : 133 - 138
  • [2] Tractable reasoning about Agent Programming in Dynamic Preference Logic
    Souza, Marlo
    Moreira, Alvaro
    Vieira, Renata
    2018 7TH BRAZILIAN CONFERENCE ON INTELLIGENT SYSTEMS (BRACIS), 2018, : 366 - 371
  • [3] A non-monotone logic for reasoning about action
    Bednarczyk, MA
    INTELLIGENT INFORMATION SYSTEMS 2002, PROCEEDINGS, 2002, 17 : 287 - 300
  • [4] Reasoning about web services in a temporal action logic
    Martelli, Alberto
    Giordano, Laura
    REASONING, ACTION AND INTERACTION IN AI THEORIES AND SYSTEMS, 2006, 4155 : 229 - 246
  • [5] CL: An Action-Based Logic for Reasoning about Contracts
    Prisacariu, Cristian
    Schneider, Gerardo
    LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, 2009, 5514 : 335 - 349
  • [6] Reasoning about Preference Dynamics
    Demey, Lorenz
    TIJDSCHRIFT VOOR FILOSOFIE, 2012, 74 (04) : 818 - 820
  • [7] Logic Preference Fusion Reasoning on Recommendation
    Tong, Xingying
    Yuan, Huanhuan
    Hao, Yongjing
    Fang, Junhua
    Liu, Guanfeng
    Zhao, Pengpeng
    WEB AND BIG DATA, APWEB-WAIM 2024, PT II, 2024, 14962 : 99 - 114
  • [8] 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
  • [9] A LOGIC FOR REASONING ABOUT PROBABILITIES
    FAGIN, R
    HALPERN, JY
    MEGIDDO, N
    INFORMATION AND COMPUTATION, 1990, 87 (1-2) : 78 - 128
  • [10] A LOGIC FOR REASONING ABOUT SECURITY
    GLASGOW, J
    MACEWEN, G
    PANANGADEN, P
    ACM TRANSACTIONS ON COMPUTER SYSTEMS, 1992, 10 (03): : 226 - 264
12345