Query optimization is used frequently in relational database management systems. Most existing techniques axe based on reordering the relational operators, where the most selective operators are executed first. In thi...
详细信息
ISBN:
(纸本)3540201440
Query optimization is used frequently in relational database management systems. Most existing techniques axe based on reordering the relational operators, where the most selective operators are executed first. In this work we evaluate a similar approach in the context of inductivelogicprogramming (ILP). there are some important differences between relational database management systems and ILP systems. We describe some of these differences and list the resulting requirements for a reordering transformation suitable for ILP. We propose a transformation that meets these requirements and an algorithm for estimating the computational cost of literals, which is required by the transformation. Our transformation yields a significant improvement in execution time on the Carcinogenesis data set.
this work aims at improving the scalability of memory usage in inductivelogicprogramming systems. In this context, we propose two efficient data structures: the Trie, used to represent lists and clauses;and the RL-T...
详细信息
ISBN:
(纸本)3540201440
this work aims at improving the scalability of memory usage in inductivelogicprogramming systems. In this context, we propose two efficient data structures: the Trie, used to represent lists and clauses;and the RL-Tree, a novel data structure used to represent the clauses coverage. We evaluate their performance in the April system using well known datasets. Initial results show a substantial reduction in memory usage without incurring extra execution time overheads. Our proposal is applicable in any ILP system.
this paper proposes a logic-based machine learning approach called Acuity which is designed to facilitate user-guided elucidation of novel phenomena from evidence sparsely distributed across large volumes of linked re...
详细信息
this paper reviews experiments with an approach to discovery through robot's experimentation in its environment. In addition to discovering laws that enable predictions, we are particularly interested in the mecha...
详细信息
the learning system Progo15 and the underlying inference method of Bottom Generalisation are firmly established within inductivelogicprogramming (ILP). But despite their success, it is known that Bottom Generalisati...
详细信息
ISBN:
(纸本)3540201440
the learning system Progo15 and the underlying inference method of Bottom Generalisation are firmly established within inductivelogicprogramming (ILP). But despite their success, it is known that Bottom Generalisation, and therefore Progo15, are restricted to finding hypotheses that lie within the semantics of Plotkin's relative subsumption. this paper exposes a previously unknown incompleteness of Progo15 with respect to Bottom Generalisation, and proposes a new approach, called Hybrid Abductive inductive Learning, that integrates the ILP principles of Progo15 with Abductive logicprogramming (ALP). A proof procedure is proposed, called HAIL, that not only overcomes this newly discovered incompleteness, but further generalises Progo15 by computing multiple clauses in response to a single seed example and deriving hypotheses outside Plotkin's relative subsumption. A semantics is presented, called Kernel Generalisation, which extends that of Bottom Generalisation. and includes the hypotheses constructed by HAIL.
Learning theoretic aspects of mathematics and logic have been studied by many authors. they study how mathematical and logical objects are algorithmically "learned" (inferred) from finite data. Although they...
详细信息
Learning theoretic aspects of mathematics and logic have been studied by many authors. they study how mathematical and logical objects are algorithmically "learned" (inferred) from finite data. Although they study mathematical objects, the objective of the studies is learning. In this paper, a mathematics whose foundation itself is learning theoretic will be introduced. It is called Limit-Computable Mathematics. It was originally introduced as a means for "Proof Animation", which is expected to make interactive formal proof development easier. Although the original objective was not learning theoretic at all, learning theory is indispensable for our research. It suggests that logic and learning theory are related in a still unknown but deep new way. (c) 2005 Published by Elsevier B.V.
Many domains in the field of inductivelogicprogramming (ILP) involve highly unbalanced data. A common way to measure performance in these domains is to use precision and recall instead of simply using accuracy. the ...
详细信息
Many domains in the field of inductivelogicprogramming (ILP) involve highly unbalanced data. A common way to measure performance in these domains is to use precision and recall instead of simply using accuracy. the goal of our research is to find new approaches within ILP particularly suited for large, highly-skewed domains. We propose Gleaner, a randomized search method that collects good clauses from a broad spectrum of points along the recall dimension in recall-precision curves and employs an "at least L of these K clauses" thresholding method to combine sets of selected clauses. Our research focuses on Multi-Slot Information Extraction (IE), a task that typically involves many more negative examples than positive examples. We formulate this problem into a relational domain, using two large testbeds involving the extraction of important relations from the abstracts of biomedical journal articles. We compare Gleaner to ensembles of standard theories learned by Aleph, finding that Gleaner produces comparable testset results in a fraction of the training time.
the ability to efficiently solve hard combinatorial optimization problems is a key prerequisite to various applications of declarative programming paradigms. Symmetries in solution candidates pose a significant challe...
详细信息
ISBN:
(纸本)9781577358800
the ability to efficiently solve hard combinatorial optimization problems is a key prerequisite to various applications of declarative programming paradigms. Symmetries in solution candidates pose a significant challenge to modern optimization algorithms since the enumeration of such candidates might substantially reduce their optimization performance. this paper proposes a novel approach using inductivelogicprogramming (ILP) to lift symmetry-breaking constraints for optimization problems modeled in Answer Set programming (ASP). Given an ASP encoding with optimization statements and a set of small representative instances, our method augments ground ASP programs with auxiliary normal rules enabling the identification of symmetries using existing tools, like SBASS. then, the obtained symmetries are lifted to first-order constraints with ILP. We prove the correctness of our method and evaluate it on real-world optimization problems from the domain of automated configuration. Our experiments show significant improvements of optimization performance due to the learned first-order constraints.
In current-day software development, programmers often use programming patterns to clarify their intents and to increase the understandability of their programs. Unfortunately, most software development environments d...
详细信息
In current-day software development, programmers often use programming patterns to clarify their intents and to increase the understandability of their programs. Unfortunately, most software development environments do not adequately support the declaration and use of such patterns. To explicitly codify these patterns, we adopt a declarative meta programming approach. In this approach, we reify the structure of a (object-oriented) program in terms of logic clauses. We declare programming patterns as logic rules on top of these clauses. By querying the logic system, these rules allow us to check, enforce and search for occurrences of certain patterns in the software. As such, the programming patterns become an active part of the software development and maintenance environment. (C) 2002 Elsevier Science Ltd. All rights reserved.
暂无评论