See this document in CiteSeerX!

Tractable Induction and Classification in First Order Logic Via Stochastic Matching (1997)  (Make Corrections)  (18 citations)
Michèle Sebag, Céline Rouveirol
Proceedings of the 15th International Joint Conference on Artificial Intelligence



  Home/Search   Context   Related

Links:   DBLP

 
View or download:
eeaax.polytechnique.fr/...ijcai97.ps.gz
lri.fr/Francais/Recher...sebag97e.ps.gz
lri.fr/Francais/Recher...sebag97e.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  eeaax.polytechnique.fr/papers (more)
From:  cmu.edu/afs/cs/project/j...node30
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Learning in first-order logic (FOL) languages suffers from a specific difficulty: both induction and classification are potentially exponential in the size of hypotheses. This difficulty is usually dealt with by limiting the size of hypotheses, via either syntactic restrictions or search strategies. This paper is concerned with polynomial induction and use of FOL hypotheses with no size restrictions. This is done via stochastic matching: instead of exhaustively exploring the set of matchings... (Update)

Context of citations to this paper:   More

...with the variable X instantiated. k local) Horn clauses. Other papers can be found in the area of stochastic evaluation [Sebag and Rouveirol, 1997; Srinivasan, 1999] The idea there is that one requires a hypothesis to be true (or false) with a high probability through the...

...experiments carded out using Progol in (Srinivasan et al. 1996) show an average accuracy of 83 . Two recent approaches, (Sebag and Rouveirol, 1997) and (Kramer and De Raedt, 2001) have reported a maximum accuracy of 93.6 and 94.7 , respectively for mutagenesis database. The...

Cited by:   More
Adaptable Boundary Sets - Smirnov, van den Herik..   (Correct)
An Empirical Evaluation of Bagging in Inductive Logic.. - Dutra, Page, Costa.. (2002)   (Correct)
MRDTL: A multi-relational decision tree learning algorithm - Leiva (2002)   (Correct)

Active bibliography (related documents):   More   All
1.7:   Subsumption Stochastique, et Apprentissage Polynomial .. - Michèle.. (1997)   (Correct)
0.4:   Polynomial-time Learning in Logic Programming and.. - Michèle.. (1997)   (Correct)
0.2:   Distance Induction in First Order Logic - Sebag (1997)   (Correct)

Similar documents based on text:   More   All
0.2:   A Constraint-Based Induction Algorithm in FOL - Michèle Sebag (1994)   (Correct)
0.2:   Toward Civilized Evolution: Developing Inhibitions - Michèle Sebag.. (1997)   (Correct)
0.2:   Delaying the Choice of Bias: A Disjunctive Version Space Approach - Michèle Sebag (1996)   (Correct)

Related documents from co-citation:   More   All
6:   Changes of Representation for Efficient Learning in Structural Domains (context) - Zucker - 1996
6:   Learning Logical Definitions from Relations (context) - Quinlan - 1990
5:   Solving the multipleinstance problem with axis-parallel rectangles - Dietterich, Lathrop et al. - 1997

BibTeX entry:   (Update)

Automatica, 14:465--471. Sebag, M. (1997). Tractable induction and classification in first order logic. In 15th International Joint Conference on Artificial Intelligence, Tokyo, Japan. http://citeseer.ist.psu.edu/5568.html   More

@inproceedings{ sebag97tractable,
    author = "M. Sebag and C. Rouveirol",
    title = "Tractable induction and classification in first-order logic via stochastic matching",
    booktitle = "Proceedings of the 15th International Joint Conference on Artificial Intelligence",
    publisher = "Morgan Kaufmann",
    pages = "888--893",
    year = "1997",
    url = "citeseer.ist.psu.edu/5568.html" }
Citations (may not include all citations):
537   A theory of the learnable (context) - Valiant - 1984
492   Learning logical definition from relations (context) - Quinlan - 1990
392   A theory and methodology of inductive learning (context) - Michalski - 1983  ACM   DBLP
313   Inductive logic programming: Theory and methods - Muggleton, De Raedt - 1994  DBLP
274   Generalization as search (context) - Mitchell - 1982  DBLP
212   Inductive Logic Programming: Techniques and Applications (context) - Lavrac, Dzeroski - 1994
149   Quantifying inductive bias : AI learning algorithms and Vali.. (context) - Haussler - 1988
64   Relational instance based learning - Emde, Wettscherek - 1996
40   Relating chemical activity to structure: an examination of I.. - King, Srinivasan et al. - 1995
39   Learning in FOL with a similarity measure (context) - Bisson - 1992  DBLP
30   Further experimental evidence against the utility of Occam's.. - Webb - 1996
21   Guiding induction with domain theories (context) - Bergadano, Giordana - 1990
17   The role of prior knowledge in inductive learning (context) - Pazzani, Kibler - 1992
15   Delaying the choice of bias: A disjunctive version space app.. - Sebag - 1996  DBLP
8   Comparing the use of background knowledge by two ILP systems (context) - Srinivasan, Muggleton - 1995
6   Representation changes for efficient learning in structural .. - Zucker, Ganascia - 1996  DBLP
4   The need for bias in learning generalizations (context) - Mitchell - 1991
2   Search internsive concept induction (context) - Giordana, Neri - 1994
2   An efficient subsumption algorithm for ILP (context) - Kietz, Lubbe - 1994
1   First Order Regression (context) - is, say et al. - 1995  ACM   DBLP
1   Constraint inductive logic programming (context) - Learning, Sebag et al. - 1996



The graph only includes citing articles where the year of publication is known.


Documents on the same site (http://www.eeaax.polytechnique.fr/papers.html):   More
Constrained GA optimization - Schoenauer, al. (1993)   (Correct)
Boundary Operators for Constrained Parameter Optimization.. - Schoenauer, Michalewicz (1997)   (Correct)
Controlling Crossover through Inductive Learning - Michèle Sebag.. (1994)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC