inductivelogicprogramming can be viewed as a style of statistical inference where the model that is inferred to explain the observed data happens to be a logic program. In general, logic programs have important diff...
详细信息
ISBN:
(纸本)3540229418
inductivelogicprogramming can be viewed as a style of statistical inference where the model that is inferred to explain the observed data happens to be a logic program. In general, logic programs have important differences to other models (such as linear models, tree-based models, etc) found in the statistical literature. this why we have ilpconferences!
In this paper we look at the discovery of abstract concepts by a robot autonomously exploring its environment and learning the laws of the environment. By abstract concepts we mean concepts that are not explicitly obs...
详细信息
ISBN:
(纸本)9783642202810
In this paper we look at the discovery of abstract concepts by a robot autonomously exploring its environment and learning the laws of the environment. By abstract concepts we mean concepts that are not explicitly observable in the measured data, such as the notions of obstacle, stability or a, tool. We consider mechanisms of machine learning that enable the discovery of abstract concepts. Such mechanisms are provided by the logic based approach to machine learning called inductivelogicprogramming (ilp). the feature of predicate invention in ilp is particularly relevant. Examples of actually discovered abstract concepts in experiments are described.
Relatively simple transformations can speed up the execution of queries for data mining considerably. While some ilp systems use such transformations, relatively little is known about them or how they relate to each o...
详细信息
Relatively simple transformations can speed up the execution of queries for data mining considerably. While some ilp systems use such transformations, relatively little is known about them or how they relate to each other. this paper describes a number of such transformations. Not all of them are novel, but there have been no studies comparing their efficacy. the main contributions of the paper are: (a) it clarifies the relationship between the transformations;(b) it contains an empirical study of what can be gained by applying the transformations;and (c) it provides some guidance on the kinds of problems that are likely to benefit from the transformations.
Machine Learning (ML) approaches can achieve impressive results, but many lack transparency or have difficulties handling data of high structural complexity. the class of ML known as inductivelogicprogramming (ilp) ...
详细信息
ISBN:
(数字)9783030492106
ISBN:
(纸本)9783030492090;9783030492106
Machine Learning (ML) approaches can achieve impressive results, but many lack transparency or have difficulties handling data of high structural complexity. the class of ML known as inductivelogicprogramming (ilp) draws on the expressivity and rigour of subsets of First Order logic to represent both data and models. When Description logics (DL) are used, the approach can be applied directly to knowledge represented as ontologies. ilp output is a prime candidate for explainable artificial intelligence;the expense being computational complexity. We have recently demonstrated how a critical component of ilp learners in DL, namely, cover set testing, can be speeded up through the use of concurrent processing. Here we describe the first prototype of an ilp learner in DL that benefits from this use of concurrency. the result is a fast, scalable tool that can be applied directly to large ontologies.
PharmaDM was founded end 2000 as a spin-off from three European universities (Oxford, Aberystwyth, and Leuven) that participated in two subsequent EC projects on inductivelogicprogramming (ilp I-II, 1992-1998). Amon...
详细信息
ISBN:
(纸本)3540229418
PharmaDM was founded end 2000 as a spin-off from three European universities (Oxford, Aberystwyth, and Leuven) that participated in two subsequent EC projects on inductivelogicprogramming (ilp I-II, 1992-1998). Amongst the projects highlights was a series of publications that demonstrated the added-value of ilp in applications related to the drug discovery process. the mission of PharmaDM is to build on those promising results, including software modules developed at the founding universities (i.e., Aleph, Tilde, Warmr, ilprolog), and develop a profitable ilp based data mining product customised to the needs of drug discovery researchers. Technology development at PharmaDM is mostly based on demand pull, i.e., driven by user requirements. In this presentation I will look at the way ilp technology at PharmaDM has evolved over the past four years and the user feedback that has stimulated this evolution.
the main operators in inductivelogicprogramming (ilp) axe specialization and generalization. In ilp, the three most important generality orders are subsumption, implication and implication relative to background kno...
详细信息
ISBN:
(纸本)3540410449
the main operators in inductivelogicprogramming (ilp) axe specialization and generalization. In ilp, the three most important generality orders are subsumption, implication and implication relative to background knowledge. the present paper discusses the existence of least generalization under implication relative to background knowledge. It has been shown that the least generalization under relative implication does not exists in the general case, but, as argued in this paper, it exists if the sets to be generalized and the background knowledge satisfy some special conditions.
Anytime algorithms refers to algorithms that "always can produce a result. Often the result of the algorithm depends on the time at hand, the longer the time, the better the answer. In this paper we present an ea...
详细信息
ISBN:
(纸本)1880843323
Anytime algorithms refers to algorithms that "always can produce a result. Often the result of the algorithm depends on the time at hand, the longer the time, the better the answer. In this paper we present an easy way of turning regular inductivelogicprogramming (ilp) algorithms such as Divide-And-Conquer (DAC.) and Separate-And-Conquer (SAC) into anytime algorithms. We conduct experiments withthese anytime algorithms and introduce a simple heuristic called squared quota, that we compare with an established one, information gain. It seems that squared quota is better suited for a small window size of example data, and hence better to use in anytime systems. A comparison between SAC and DAC reveals that they excel in different combinations of examples/background knowledge.
We present a novel approach to cluster sets of protein sequences, based on inductivelogicprogramming (ilp). Preliminary results show that;the method proposed Produces understand able descriptions/explanations of the...
详细信息
ISBN:
(纸本)9783642024801
We present a novel approach to cluster sets of protein sequences, based on inductivelogicprogramming (ilp). Preliminary results show that;the method proposed Produces understand able descriptions/explanations of the clusters. Furthermore, it can be used as a knowledge elicitation tool to explain clusters proposed by other clustering approaches, such as standard phylogenetic programs.
One challenge faced by many inductivelogicprogramming (ilp) systems is poor scalability to problems with large search spaces and many examples. Randomized search methods such as stochastic clause selection (SCS) and...
详细信息
ISBN:
(纸本)3540229418
One challenge faced by many inductivelogicprogramming (ilp) systems is poor scalability to problems with large search spaces and many examples. Randomized search methods such as stochastic clause selection (SCS) and rapid random restarts (RRR) have proven somewhat successful at addressing this weakness. However, on datasets where hypothesis evaluation is computationally expensive, even these algorithms may take unreasonably long to discover a good solution. We attempt to improve the performance of these algorithms on datasets by learning an approximation to ilp hypothesis evaluation. We generate a small set of hypotheses, uniformly sampled from the space of candidate hypotheses, and evaluate this set on actual data. these hypotheses and their corresponding evaluation scores serve as training data for learning an approximate hypothesis evaluator. We outline three techniques that make use of the trained evaluation-function approximator in order to reduce the computation required during an ilp hypothesis search. We test our approximate clause evaluation algorithm using the popular ilp system Aleph. Empirical results are provided on several benchmark datasets. We show that the clause evaluation function can be accurately approximated.
this paper describes an inductivelogicprogramming learning method designed to acquire from a corpus specific Noun-Verb (N-V) pairs-relevant in information retrieval applications to perform index expansion-in order t...
详细信息
this paper describes an inductivelogicprogramming learning method designed to acquire from a corpus specific Noun-Verb (N-V) pairs-relevant in information retrieval applications to perform index expansion-in order to build up semantic lexicons based on Pustejovsky's generative lexicon (GL) principles (Pustejovsky, 1995). In one of the components of this lexical model, called the qualia structure, words are described in terms of semantic roles. For example, the telic role indicates the purpose or function of an item (cut for knife), the agentive role its creation mode (build for house), etc. the qualia structure of a noun is mainly made up of verbal associations, encoding relational information. the learning method enables us to automatically extract, from a morpho-syntactically and semantically tagged corpus, N-V pairs whose elements are linked by one of the semantic relations defined in the qualia structure in GL. It also infers rules explaining what in the surrounding context distinguishes such pairs from others also found in sentences of the corpus but which are not relevant. Stress is put here on the learning efficiency that is required to be able to deal with all the available contextual information, and to produce linguistically meaningful rules.
暂无评论