A logic of higher-order preferences

被引：2
|
作者：
Jiang, Junli [1 ]
Naumov, Pavel [2 ]
机构：
[1] Southwest Univ, Inst Log & Intelligence, Chongqing, Peoples R China
[2] Univ Southampton, Southampton, England
来源：
SYNTHESE | 2024年 / 203卷 / 06期
关键词：
Egocentric; Higher-order preferences; Axiomatisation; Completeness;
D O I：
10.1007/s11229-024-04655-3
中图分类号：
N09 [自然科学史]; B [哲学、宗教];
学科分类号：
01 ; 0101 ; 010108 ; 060207 ; 060305 ; 0712 ;
摘要：
If an agent prefers one kind of agents to the other agents, then the agent has first-order preferences. If the agent prefers agents with one kind of preferences to the other agents, then the agent has second-order preferences. The article proposes a sound, complete, and decidable logical system capable of expressing higher-order preferences.
引用
收藏
页数：26
相关论文
共 50 条
  • [1] ON HIGHER-ORDER LOGIC
    KOGALOVS.SR
    DOKLADY AKADEMII NAUK SSSR, 1966, 171 (06): : 1272 - &
  • [2] Higher-Order Logic Programming: an Expressive Language for Representing Qualitative Preferences
    Charalambidis, Angelos
    Rondogiannis, Panos
    Troumpoukis, Antonis
    PROCEEDINGS OF THE 18TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP 2016), 2016, : 24 - 37
  • [3] Higher-order logic programming: An expressive language for representing qualitative preferences
    Charalambidis, Angelos
    Rondogiannis, Panos
    Troumpoukis, Antonis
    SCIENCE OF COMPUTER PROGRAMMING, 2018, 155 : 173 - 197
  • [4] HIGHER-ORDER LOGIC PROGRAMMING
    MILLER, DA
    NADATHUR, G
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 448 - 462
  • [5] CERES in higher-order logic
    Hetzl, Stefan
    Leitsch, Alexander
    Weller, Daniel
    ANNALS OF PURE AND APPLIED LOGIC, 2011, 162 (12) : 1001 - 1034
  • [6] HIGHER-ORDER LOGIC PROGRAMMING
    MILLER, DA
    NADATHUR, G
    JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) : 851 - 851
  • [7] Superposition for Higher-Order Logic
    Alexander Bentkamp
    Jasmin Blanchette
    Sophie Tourret
    Petar Vukmirović
    Journal of Automated Reasoning, 2023, 67
  • [8] CONNECTIONS AND HIGHER-ORDER LOGIC
    ANDREWS, PB
    LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 : 1 - 4
  • [9] Higher-order computational logic
    Lloyd, JW
    COMPUTATIONAL LOGIC: LOGIC PROGRAMMING AND BEYOND, PT I, 2002, 2407 : 105 - 137
  • [10] Superposition for Higher-Order Logic
    Bentkamp, Alexander
    Blanchette, Jasmin
    Tourret, Sophie
    Vukmirovic, Petar
    JOURNAL OF AUTOMATED REASONING, 2023, 67 (01)
12345