Towards a Logical Model of Induction from Examples and Communication

被引:0
|
作者
Ontanon, Santiago [1 ,2 ]
Dellunde, Pilar [2 ,3 ]
Godo, Lluis [2 ]
Plaza, Enric [2 ]
机构
[1] CSIC Spanish Council Sci Res, IIIA Artificial Intelligence Res Inst, Campus UAB, Bellaterra 08193, Catalonia, Spain
[2] CSIC, IIIA, Artificial Intelligence Res Inst, Madrid, Spain
[3] Univ Autonoma Barcelona, E-08193 Barcelona, Spain
来源
ARTIFICIAL INTELLIGENCE RESEARCH AND DEVELOPMENT | 2010年 / 220卷
关键词
Induction; Logic; Argumentation; Machine Learning; DEFEASIBLE LOGIC;
D O I
10.3233/978-1-60750-643-0-259
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
This paper focuses on a logical model of induction, and specifically of the common machine learning task of inductive concept learning (ICL). We define an inductive derivation relation, which characterizes which hypothesis can be induced from sets of examples, and show its properties. Moreover, we will also consider the problem of communicating inductive inferences between two agents, which corresponds to the multi-agent ICL problem. Thanks to the introduced logical model of induction, we will show that this communication can be modeled using computational argumentation.
引用
收藏
页码:259 / 268
页数:10
相关论文
共 50 条
  • [31] A logical formalisation of a hypothesis in weighted abduction: Towards user-feedback dialogues
    Motoura, Shota
    Hoshino, Ayako
    Hosomi, Itaru
    Sadamasa, Kunihiko
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2025, 179
  • [32] Reaching agreements through argumentation: a logical model and implementation
    Kraus, S
    Sycara, K
    Evenchik, A
    ARTIFICIAL INTELLIGENCE, 1998, 104 (1-2) : 1 - 69
  • [33] Boosting Model Inversion Attacks With Adversarial Examples
    Zhou, Shuai
    Zhu, Tianqing
    Ye, Dayong
    Yu, Xin
    Zhou, Wanlei
    IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2024, 21 (03) : 1451 - 1468
  • [34] Precise induction from statistical data
    Schweitzer, H
    JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, 1999, 11 (02) : 185 - 199
  • [35] From hybrid model predictive control to logical control for shading system: A support vector machine approach
    Le, Khang
    Bourdais, Romain
    Gueguen, Herve
    ENERGY AND BUILDINGS, 2014, 84 : 352 - 359
  • [36] Revisiting model fairness via adversarial examples
    Zhang, Tao
    Zhu, Tianqing
    Li, Jing
    Zhou, Wanlei
    Yu, Philip S.
    KNOWLEDGE-BASED SYSTEMS, 2023, 277
  • [37] Efficient Incremental Model for Learning Context-Free Grammars from Positive Structural Examples
    Prajapati, Gend Lal
    Chaudhari, Narendra S.
    Chandwani, Manohar
    ARTIFICIAL INTELLIGENCE: THEORIES, MODELS AND APPLICATIONS, SETN 2008, 2008, 5138 : 250 - +
  • [38] Learning translation templates from examples
    Guvenir, HA
    Cicekli, I
    INFORMATION SYSTEMS, 1998, 23 (06) : 353 - 363
  • [39] Learning from ambiguously labeled examples
    Huellermeier, Eyke
    Beringer, Juergen
    INTELLIGENT DATA ANALYSIS, 2006, 10 (05) : 419 - 439
  • [40] STUDYING INTEREST MEASURES FOR ASSOCIATION RULES THROUGH A LOGICAL MODEL
    Delgado, Miguel
    Dolores Ruiz, M.
    Sanchez, Daniel
    INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS, 2010, 18 (01) : 87 - 106