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 条
  • [21] Extensional Higher-Order Logic Programming
    Charalambidis, Angelos
    Handjopoulos, Konstantinos
    Rondogiannis, Panagiotis
    Wadge, William W.
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2013, 14 (03)
  • [22] HIGHER-ORDER ILLATIVE COMBINATORY LOGIC
    Czajka, Lukasz
    JOURNAL OF SYMBOLIC LOGIC, 2013, 78 (03) : 837 - 872
  • [23] Higher-order modal logic - A sketch
    Fitting, H
    AUTOMATED DEDUCTION IN CLASSICAL AND NON-CLASSICAL LOGICS, 2000, 1761 : 23 - 38
  • [24] Learning higher-order logic programs
    Cropper, Andrew
    Morel, Rolf
    Muggleton, Stephen
    MACHINE LEARNING, 2020, 109 (07) : 1289 - 1322
  • [25] Modal Pluralism and Higher-Order Logic
    Clarke-Doane, Justin
    McCarthy, William
    PHILOSOPHICAL PERSPECTIVES, 2022, 36 (01) : 31 - 58
  • [26] Learning higher-order logic programs
    Andrew Cropper
    Rolf Morel
    Stephen Muggleton
    Machine Learning, 2020, 109 : 1289 - 1322
  • [27] RESULTS IN HIGHER-ORDER MODAL LOGIC
    GALLIN, D
    JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (01) : 197 - 198
  • [28] SOME REMARKS ON HIGHER-ORDER LOGIC
    KOGALOVSKII, SR
    DOKLADY AKADEMII NAUK SSSR, 1968, 178 (05): : 1007 - +
  • [29] REMARKS ON HIGHER-ORDER MODAL LOGIC
    DACOSTA, NCA
    DEALCANTARA, LP
    ACTA CIENTIFICA VENEZOLANA, 1987, 38 (02): : 282 - 284
  • [30] HIGHER-ORDER LOGIC LEARNING AND λPROGOL
    Pahlavi, Niels
    TECHNICAL COMMUNICATIONS OF THE 26TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP'10), 2010, 7 : 281 - 285
12345