Description |
1 online resource (xiii, 141 pages) : illustrations |
Series |
Lecture notes in artificial intelligence, 0302-9743 ; 8812 |
|
LNCS sublibrary. SL 7, Artificial intelligence |
|
Lecture notes in computer science ; 8812. 0302-9743
|
|
LNCS sublibrary. SL 7, Artificial intelligence.
|
Contents |
Intro; Preface; Organization; Contents; MetaBayes: Bayesian Meta-Interpretative Learning Using Higher-Order Stochastic Refinement; 1 Introduction; 1.1 Bayesian MIL Versus Probabilistic ILP; 1.2 Multiple and Single Models; 2 MetaBayes Refinement Framework; 2.1 Setting; 2.2 Generalised Meta-Interpreter; 2.3 Stochastic Refinement; 2.4 Prior, Likelihood and Posterior; 3 Implementation; 3.1 MetaBayes; 3.2 MetaBayesMAP; 3.3 MetaBayesSiLP; 3.4 MilProbLog; 4 Experiments; 4.1 Binary Prediction -- MetaBayes vs. MetaMap; 4.2 Probabilistic Prediction -- MetaBayes vs. MetaBayesSiLP vs. MilProbLog |
|
5 Related Work6 Conclusion and Further Work; References; On Differentially Private Inductive Logic Programming; 1 Introduction; 2 Preliminaries; 2.1 Inductive Logic Programming; 2.2 Differential Privacy; 3 Problem Formulation; 4 Trade-Off on Privacy and Utility; 4.1 Our Utility Model; 4.2 A Lower Bound on Privacy Parameter; 5 Differentially Private ILP Algorithm; 5.1 A Non-private ILP Algorithm; 5.2 A Differentially Private Selection Algorithm; 5.3 A Differentially Private Reduction Algorithm; 5.4 Our Differentially Private ILP Algorithm; 6 Experiment; 7 Conclusion; References |
|
Learning Through Hypothesis Refinement Using Answer Set Programming1 Introduction; 2 Background; 2.1 Top-Directed Abductive Learning in ASP; 3 Learning Through Hypothesis Refinement; 3.1 Hypothesis Refinement; 3.2 Learning a Partial Hypothesis; 4 RASPAL: Iterative Learning by Refinement; 4.1 Algorithms; 5 Experiment; 6 Conclusion and Future Work; References; A BDD-Based Algorithm for Learning from Interpretation Transition; 1 Introduction; 2 Learning from 1-Step Transitions; 3 BDD Algorithms for LF1T; 4 Experiments; 5 Conclusion and Future Work; A Appendix; A.1 Proof of Theorem 1; References |
|
Accelerating Imitation Learning in Relational Domains via Transfer by Initialization1 Introduction; 2 Background; 3 Relational Imitation Learning; 4 Relational Transfer; 5 Experiments; 6 Discussion and Conclusion; References; A Direct Policy-Search Algorithm for Relational Reinforcement Learning; 1 Introduction; 2 Related Work; 3 Terminology; 3.1 Blocks World; 4 CERRLA Algorithm; 4.1 Cross-Entropy Method; 4.2 Rule Discovery; 4.3 Policy-Search Process; 5 Evaluation; 5.1 Blocks World; 5.2 Ms.Pac-Man; 5.3 Carcassonne; 6 Conclusions; References; AND Parallelism for ILP: The APIS System |
|
1 Introduction2 Background; 2.1 Parallel Execution of Logic Programs; 3 The APIS System; 3.1 Redundancy Avoidance; 4 Experiments and Results; 4.1 Experimental Settings; 4.2 Results and Discussion; 5 Parallel Execution of ILP Systems; 6 Conclusions; References; Generalized Counting for Lifted Variable Elimination; 1 Introduction; 2 Representation; 3 Lifted Variable Elimination; 4 Generalized Counting Formulas; 4.1 A Motivating Example; 4.2 Definition; 5 Conversion Operations; 5.1 Counting Conversion; 5.2 Merging Counting Formulas; 5.3 Merge-Counting; 6 Elimination Operations |
Summary |
This book constitutes the thoroughly refereed post-proceedings of the 23rd International Conference on Inductive Logic Programming, ILP 2013, held in Rio de Janeiro, Brazil, in August 2013. The 9 revised extended papers were carefully reviewed and selected from 42 submissions. The conference now focuses on all aspects of learning in logic, multi-relational learning and data mining, statistical relational learning, graph and tree mining, relational reinforcement learning, and other forms of learning from structured data |
Analysis |
computerwetenschappen |
|
computer sciences |
|
informatiesystemen |
|
information systems |
|
internet |
|
programmeren |
|
programming |
|
kunstmatige intelligentie |
|
artificial intelligence |
|
wiskunde |
|
mathematics |
|
logica |
|
logic |
|
computational science |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
Notes |
Includes author index |
|
English |
|
Online resource; title from PDF title page (SpringerLink, viewed October 10, 2014) |
Subject |
Logic programming -- Congresses
|
|
Induction (Logic) -- Congresses
|
|
Machine learning -- Congresses
|
|
Induction (Logic)
|
|
Logic programming
|
|
Machine learning
|
|
Mathematics.
|
|
Physical Sciences & Mathematics.
|
|
Mathematical Theory.
|
Genre/Form |
Conference papers and proceedings
|
Form |
Electronic book
|
Author |
Zaverucha, Gerson, editor.
|
|
Santos Costa, Vítor, 1961- editor.
|
|
Paes, Aline, editor
|
ISBN |
9783662449233 |
|
3662449234 |
|
3662449226 |
|
9783662449226 |
|