A.F. Bowers, C. Giraud-Carrier, J.W. Lloyd  Home/Search
Context Related
| anu.edu.au/~jwl/kr.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: anu.edu.au/~jwl/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper provides a foundation for inductive learning based on the use of higherorder logic for knowledge representation. In particular, the paper (i) provides a systematic individuals-as-terms approach to knowledge representation for inductive learning, and demonstrates the utility of types and higher-order constructs for this purpose; (ii) gives a systematic way of constructing predicates for use in induced definitions; (iii) widens the applicability of decision-tree algorithms beyond... (Update)
Context of citations to this paper: More
...is possible to answer this question in a number of ways, most of which require no more than rst order logic. However, in [BGCL00a] and [BGCL00b], another answer is proposed that relies on the use of higher order logic. The basic idea is to represent individuals by terms in a...
.... individuals can have complex internal structure for which the full power of the higher order logic is needed to represent them [BGCL00a] [BGCL00b]. In particular, it is often necessary to use lists, sets and multisets, all of which are provided by the logic. The second...
Cited by: More
A Higher-order Approach to Meta-learning - Bensusan, Giraud-Carrier, Kennedy (2000) (Correct)
Predicate Construction in Higher-order Logic - Lloyd Computer Sciences (Correct)
Higher-order Computational Logic - Lloyd Computer Sciences (2002) (Correct)
Similar documents (at the sentence level):
13.6%: Classification of Individuals with Complex Structure - Bowers, Giraud-Carrier, Lloyd (2000) (Correct)
Active bibliography (related documents): More All
0.5: Conceptual Clustering of Complex Objects: A Generalization.. - Bournaud, GANASCIA (1995) (Correct)
0.4: Strongly Typed Evolutionary Programming - Kennedy (1999) (Correct)
0.4: A Logical Setting for the Unification of Attribute-Value and.. - Lloyd (2000) (Correct)
Similar documents based on text: More All
0.2: Knowledge Representation, Computation, and Learning in.. - Lloyd (2001) (Correct)
0.2: Collaborative Virtual Environments: Grounding Development and.. - Bowers (1997) (Correct)
0.1: Declarative Programming in Escher - Lloyd (1995) (Correct)
Related documents from co-citation: More All
5: Programming in an integrated functional and logic language - Lloyd - 1998
4: Classification of individuals with complex structure - Bowers, Giraud-Carrier et al. - 2000
3: An evolutionary approach to concept learning with structured data - Kennedy, Giraud-Carrier - 1999
BibTeX entry: (Update)
A.F. Bowers, C. Giraud-Carrier, and J.W. Lloyd. A unifying view of knowledge representation for inductive learning. In preparation, 2000. http://citeseer.ist.psu.edu/bowers00unifying.html More
@misc{ bowers00unifying,
author = "A. Bowers and C. Giraud-Carrier and J. Lloyd",
title = "A unifying view of knowledge representation for inductive learning",
text = "A.F. Bowers, C. Giraud-Carrier, and J.W. Lloyd. A unifying view of knowledge
representation for inductive learning. In preparation, 2000.",
year = "2000",
url = "citeseer.ist.psu.edu/bowers00unifying.html" }
Citations (may not include all citations):2177 Programs for Machine Learning (context) - Quinlan - 1993
1359 Induction of decision trees (context) - Quinlan - 1986
976 Machine Learning (context) - Mitchell - 1997
419 A formulation of the simple theory of types (context) - Church - 1940
392 A theory and methodology of inductive learning (context) - Michalski - 1983
328 Algorithmic Program Debugging (context) - Shapiro - 1983
313 Inductive logic programming: Theory and methods - Muggleton, De Raedt - 1994
274 Generalization as search (context) - Mitchell - 1982
149 New Generation Computing (context) - Muggleton, Progol - 1995
88 Learning trees and rules with set-valued features - Cohen - 1996
86 Completeness in the theory of types (context) - Henkin - 1950
79 Solving the multiple instance problem with axis-parallel rec.. - Dietterich, Lathrop et al. - 1997
69 Top-down induction of first-order logical decision trees - Blockeel, De Raedt - 1998
68 Controlling the complexity of learning in logic through synt.. - Kietz, Wrobel - 1992
53 Structure-activity relationships derived by machine learning.. (context) - King, Muggleton et al. - 1996
49 Learning the CLASSIC description logic: Theoretical and expe.. - Cohen, Hirsh - 1994
48 Advances in Kernel Methods: Support Vector Learning (context) - Scholkopf, Burges et al. - 1998
39 Programming in an integrated functional and logic language - Lloyd - 1999
37 A note on inductive generalisation (context) - Plotkin - 1969
31 Strongly typed inductive concept learning - Flach, Giraud-Carrier et al. - 1998
30 Chapman and Hall (context) - Breiman, Friedman et al. - 1984
27 Relational reinforcement learning - Dzeroski, De Raedt et al. - 1998
27 Pattern Recognition (context) - Bongard - 1970
24 Pharmacophore discovery using the inductive logic programmin.. - Finn, Muggleton et al. - 1998
23 Learning first-order definitions of functions - Quinlan - 1996
22 Top-down induction of logical decision trees - Blockeel, De Raedt - 1997
18 Rapid prototyping of ILP systems using explicit bias - Cohen - 1993
12 The role of background knowledge: using a problem from chemi.. - Srinivasan, King et al. - 1999
12 Inductive inference of VL decision rules (context) - Michalski, Larson - 1977
11 Classification of individuals with complex structure - Bowers, Giraud-Carrier et al. - 2000
8 Beyond first-order learning: Inductive learning with higher .. (context) - Muggleton, Page - 1994
6 An evolutionary approach to concept learning with structured.. - Kennedy, Giraud-Carrier - 1999
6 and learning in higher-order logic (context) - Lloyd, computation - 2000
5 Learning Concepts by Performing Experiments (context) - Sammut - 1981
5 Oxford University Computing Laboratory (context) - of, Group
2 Knowledge representation in machine learning (context) - Neri, Saitta - 1994
1 of ILP workshops. http://www.cs.york.ac.uk/ILP-events (context) - page
1 www-ai (context) - of, http
1 Predicting chemical carcinogenesis using structural informat.. - Kennedy, Giraud-Carrier - 1999
1 ml-archive/ILP/public/data/east_west (context) - of, Challenge et al.
1 Programming with abstractions (context) - Lloyd - 2000
Documents on the same site (http://cslab.anu.edu.au/~jwl/): More
Higher-order Computational Logic - Lloyd Computer Sciences (2002) (Correct)
Predicate Construction in Higher-order Logic - Lloyd Computer Sciences (Correct)
Predictive Toxicology using a Decision-tree Learner - Ng, Lloyd, Slater (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