See this document in CiteSeerX!

Learning Horn Expressions with LogAn-H (2000)  (Make Corrections)  (4 citations)
Roni Khardon



  Home/Search   Context   Related

 
View or download:
dcs.ed.ac.uk/home/roni/PUB/icml2k.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  dcs.ed.ac.uk/home/...publications (more)
(Enter author homepages)

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

Abstract: The paper introduces LogAn-H --- a system for learning first-order function-free Horn expressions from interpretations. The system is based on an interactive algorithm (that asks questions) that was proved correct in previous work. The current paper shows how the algorithm can be implemented in a practical system by reducing some ine#ciencies. Moreover, the paper introduces a new algorithm based on it that avoids interaction and learns from examples only. We describe qualitative and... (Update)

Context of citations to this paper:   More

.... membership queries (MIS [Sha83] CLINT [RB92] for example) These ideas have also been used in systems that learn from examples only [Kha00]. A learning algorithm for the class of range restricted Horn expressions is presented. The main property of this class is that all the...

.... of theoretical work has shown that larger classes of expressions are learnable if the learner is allowed to ask questions [12, 21, 4, 22, 16, 14, 13, 3, 15]. These works use standard oracles from learning theory [1] as well as new types of questions appropriate for the rst order...

Cited by:   More
Learning Recursive Theories in the Normal ILP Setting - Malerba (2003)   (Correct)
Learning Closed Horn Expressions - Arias, Khardon (2002)   (Correct)
Recent Progress in Learning Horn Expressions with Queries - Khardon   (Correct)

Active bibliography (related documents):   More   All
0.3:   First-order Cascade ARTMAP - Basilio, Zaverucha, Barbosa (2001)   (Correct)
0.3:   Ideal Refinement Operators for Theories in the.. - Fanizzi, Ferilli (2002)   (Correct)
0.2:   Learning Inequated Range Restricted Horn Expressions - Arias, Khardon (2000)   (Correct)

Similar documents based on text:   More   All
2.0:   Learning Horn Expressions with LogAn-H - Khardon (2000)   (Correct)
0.1:   Learning to Reason with a Restricted View - Khardon, Roth (1998)   (Correct)
0.1:   Learning to Reason - Khardon (1994)   (Correct)

Related documents from co-citation:   More   All
4:   A note on inductive generalization (context) - Plotkin - 1970
3:   An overview of the interactive concept learner and theory revisor CLINT (context) - DeRaedt, Bruynooghe - 1992
3:   Learning from entailment of logic programs with local variables (context) - Rao, Sattar - 1998

BibTeX entry:   (Update)

Roni Khardon. Learning horn expressions with LOGAN-H. To appear in ICML, 2000. http://citeseer.ist.psu.edu/article/khardon00learning.html   More

@misc{ khardon00learning,
  author = "R. Khardon",
  title = "Learning horn expressions with LOGAN-H",
  text = "Roni Khardon. Learning horn expressions with LOGAN-H. To appear in ICML,
    2000.",
  year = "2000",
  url = "citeseer.ist.psu.edu/article/khardon00learning.html" }
Citations (may not include all citations):
492   Learning logical definitions from relations (context) - Quinlan - 1990
441   Queries and concept learning (context) - Angluin - 1988
328   Algorithmic program debugging (context) - Shapiro - 1983
313   Inductive logic programming: Theory and methods - Muggleton, De Raedt - 1994
130   Inverse entailment and Progol - Muggleton - 1995
69   Top down induction of first order logical decision trees - Blockeel, De Raedt - 1998
65   Structure identification in relational data - Dechter, Pearl - 1992
53   Prolog and naturallanguage analysis (context) - Pereira, Shieber - 1987
51   First order jk-clausal theories are PAC-learnable (context) - De Raedt, Dzeroski - 1994
49   Horn approximations of empirical data - Kautz, Kearns et al. - 1995
30   Inductive constraint logic - De Raedt, Van Laer - 1995
22   Learning function-free Horn expressions - Khardon
20   Learning first order acyclic Horn programs from entailment - Reddy, Tadepalli - 1998
14   Learning from entailment of logic programs with local variab.. (context) - Rao, Sattar - 1998
12   Learning range-restricted Horn expressions - Khardon
3   Refining complete hypotheses in ILP (context) - Bratko - 1999

Documents on the same site (http://www.dcs.ed.ac.uk/home/roni/publications.html):   More
Relational Learning for NLP using Linear Threshold Elements - Khardon, Roth (1999)   (Correct)
Learning Range Restricted Horn Expressions - Khardon (1999)   (Correct)
Reasoning with Models - Khardon, Roth (1996)   (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