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 条

[21] A Logical Model of Private International Law
Dung, Phan Minh
Sartor, Giovanni
DEONTIC LOGIC IN COMPUTER SCIENCE, 2010, 6181 : 229 - +
[22] A psychologically plausible logical model of conceptualization
Kim, HG
MINDS AND MACHINES, 1997, 7 (02) : 249 - 267
[23] Top-down induction of first order logical decision trees
Blockeel, H
AI COMMUNICATIONS, 1999, 12 (1-2) : 119 - 120
[24] On the Use of Model and Logical Embeddings for Model Checking of Probabilistic Systems
Das, Susmoy
Sharma, Arpit
FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS, FORTE 2023, 2023, 13910 : 115 - 131
[25] Towards another logical interpretation of Theory of Evidence and a new combination rule
Cholvy, L
INTELLIGENT SYSTEMS FOR INFORMATION PROCESSING: FROM REPRESENTATION TO APPLICATIONS, 2003, : 223 - 232
[26] A LOGICAL BURBAKIES MODEL PROGRAM FORMALIZATION OF MATHEMATICS
Milosevic, Radoslav
MATHEMATICA MONTISNIGRI, 2014, 31 : 38 - 42
[27] A logical model of conceptual integrity in data integration
Flater, D
JOURNAL OF RESEARCH OF THE NATIONAL INSTITUTE OF STANDARDS AND TECHNOLOGY, 2003, 108 (05) : 395 - 402
[28] A Fuzzy Multicriteria Model of Sustainable Tourism: Examples From the V4 Countries
Skare, Marinko
Gavurova, Beata
Polishchuk, Volodymyr
IEEE TRANSACTIONS ON ENGINEERING MANAGEMENT, 2024, 71 : 12182 - 12193
[29] Logical Algorithmics: From Theory to Practice
Vardi, Moshe Y.
32ND EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC, CSL 2024, 2024, 288
[30] THE ROLE OF LANGUAGE AND COMMUNICATION IN THE LEARNING OF MATHS IN PRIMARY SCHOOL: SOME EXAMPLES
Poirier, Louise
Bisaillon, Nathalie
DEVELOPING MATHEMATICAL LANGUAGE AND REASONING, 2015, : 41 - 51

← 1 2 3 4 5 →