Reasoning About Cognitive Attitudes in a Qualitative Setting

被引：1
|
作者：
Lorini, Emiliano [1 ]
机构：
[1] Toulouse Univ, CNRS, IRIT, Toulouse, France
来源：
LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2019 | 2019年 / 11468卷
关键词：
MODAL LOGIC; CHOICE;
D O I：
10.1007/978-3-030-19570-0_47
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We present a general logical framework for reasoning about agents' cognitive attitudes of both epistemic type and motivational type. We provide a sound and complete axiomatization for our logic and we show that it allows us to express a variety of relevant concepts for qualitative decision theory including the concepts of knowledge, belief, strong belief, conditional belief, desire, strong desire, comparative desirability and choice.
引用
收藏
页码：726 / 743
页数：18
相关论文
共 50 条
  • [1] Reasoning about attitudes of complaining customers
    Galitsky, Boris
    [J]. KNOWLEDGE-BASED SYSTEMS, 2006, 19 (07) : 592 - 615
  • [2] Reasoning about Actions in a Probabilistic Setting
    Baral, C
    Tran, N
    Tuan, LC
    [J]. EIGHTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-02)/FOURTEENTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE (IAAI-02), PROCEEDINGS, 2002, : 507 - 512
  • [3] A LOGIC FOR REASONING ABOUT QUALITATIVE PROBABILITY
    Ilic-Stepic, Angelina
    [J]. PUBLICATIONS DE L INSTITUT MATHEMATIQUE-BEOGRAD, 2010, 87 (101): : 97 - 108
  • [4] QUALITATIVE REASONING ABOUT DESIGN OBJECTS
    VEERKAMP, P
    TENHAGEN, P
    [J]. ROBOTICS AND COMPUTER-INTEGRATED MANUFACTURING, 1993, 10 (1-2) : 33 - 39
  • [5] Qualitative reasoning about perception and belief
    del Val, A
    Maynard-Reid, P
    Shoham, Y
    [J]. IJCAI-97 - PROCEEDINGS OF THE FIFTEENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS 1 AND 2, 1997, : 508 - 513
  • [6] Qualitative reasoning about biological processes
    Mounts, WM
    Liebman, MN
    [J]. ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 1996, 211 : 47 - CINF
  • [7] Reasoning about qualitative trends in databases
    Wijsen, J
    [J]. INFORMATION SYSTEMS, 1998, 23 (07) : 463 - 487
  • [8] Reasoning about qualitative spatial relationships
    Sistla, AP
    Yu, C
    [J]. JOURNAL OF AUTOMATED REASONING, 2000, 25 (04) : 291 - 328
  • [9] REASONING ABOUT ENERGY IN QUALITATIVE SIMULATION
    FOUCHE, P
    KUIPERS, BJ
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1992, 22 (01): : 47 - 63
  • [10] REASONING ABOUT QUALITATIVE TEMPORAL INFORMATION
    VANBEEK, P
    [J]. ARTIFICIAL INTELLIGENCE, 1992, 58 (1-3) : 297 - 326
12345