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
关键词
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 条
  • [21] Results from talks and text communicants - Towards a social communication model
    Wichter, S
    MUTTERSPRACHE, 2005, 115 (03): : 193 - 214
  • [22] Geoarchaeo logical scale and archaeological interpretation: Examples from the central Jornada Mogollon
    Linse, Angela R.
    Special Paper of the Geological Society of America, 1993, 283 : 11 - 28
  • [23] Towards a Model of Learning through Communication
    Obeid, Nadim
    Knowledge and Information Systems, 2000, 2 (04) : 498 - 508
  • [24] Towards a model of musical interaction and communication
    Murray-Rust, Dave
    Smaill, Alan
    ARTIFICIAL INTELLIGENCE, 2011, 175 (9-10) : 1697 - 1721
  • [25] Towards a model for personalized communication services
    Ribeiro, CMFA
    Rosa, NS
    Cunha, PRF
    18TH INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS, VOL 2 (REGULAR PAPERS), PROCEEDINGS, 2004, : 99 - 102
  • [26] Model for simulation of induction motors with parameter determination and examples of application
    Thorsen, OV
    Dalva, M
    1997 IEEE INTERNATIONAL ELECTRIC MACHINES AND DRIVES CONFERENCE RECORD, 1997, : MB131 - MB133
  • [27] Inputs from a Model-Based Approach Towards the Specification of Microservices Logical Architectures: An Experience Report
    Santos, Nuno
    Rodrigues, Helena
    Ferreira, Nuno
    Machado, Ricardo J.
    PRODUCT-FOCUSED SOFTWARE PROCESS IMPROVEMENT, PROFES 2019, 2019, 11915 : 473 - 488
  • [28] Brave induction: a logical framework for learning from incomplete information
    Sakama, Chiaki
    Inoue, Katsumi
    MACHINE LEARNING, 2009, 76 (01) : 3 - 35
  • [29] Brave induction: a logical framework for learning from incomplete information
    Chiaki Sakama
    Katsumi Inoue
    Machine Learning, 2009, 76 : 3 - 35
  • [30] Inconsistency-Tolerant Hierarchical Probabilistic CTL Model Checking: Logical Foundations and Illustrative Examples
    Kamide, Norihiro
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2022, 32 (01) : 131 - 162