the Cyc KB has a rich pre-existing ontology for representing common sense knowledge. To clarify and enforce its terms' semantics and to improve inferential efficiency, the Cyc ontology contains substantial meta-le...
详细信息
A novel inductivelogicprogramming system, called Classic'cl is presented. Classic'cl integrates several settings for learning, in particular learning from interpretations and learning from satisfiability. Wi...
详细信息
ISBN:
(数字)9783540316985
ISBN:
(纸本)3540292306
A novel inductivelogicprogramming system, called Classic'cl is presented. Classic'cl integrates several settings for learning, in particular learning from interpretations and learning from satisfiability. Within these settings, it addresses descriptive and probabilistic modeling tasks. As such, Classic'cl (C-armr, cLAudien, icl-S(S)at, ICI, and CLI-pad) integrates several well-known inductivelogicprogramming systems such as Claudien, Warmr (and its extension C-armr), ICL, ICL-SAT, and LLPAD. We report on the implementation, the integration issues as well as on some experiments that compare Classic'cl with some of its predecessors.
We explore here the application of Gleaner, an inductivelogicprogramming approach to learning in highly-skewed domains, to the Learning Language in logic2005 biomedical information-extraction challenge task. We cre...
详细信息
We explore here the application of Gleaner, an inductivelogicprogramming approach to learning in highly-skewed domains, to the Learning Language in logic2005 biomedical information-extraction challenge task. We create and describe a large number of background knowledge predicates suited for this task. We find that Gleaner outperforms standard Aleph theories with respect to recall and that additional linguistic background knowledge improves recall.
In this paper we explore a topic which is at the intersection of two areas of Machine Learning: namely Support Vector Machines (SVMs) and inductivelogicprogramming (ilp). We propose a general method for constructing...
详细信息
Two-Terminal Series Parallel (TTSP, for short) graphs are used as data models in applications for electric networks and scheduling problems. We propose a TTSP term graph which is a TTSP graph having structured variabl...
详细信息
ISBN:
(纸本)3540281770
Two-Terminal Series Parallel (TTSP, for short) graphs are used as data models in applications for electric networks and scheduling problems. We propose a TTSP term graph which is a TTSP graph having structured variables, that is, a graph pattern over a TTSP graph. Let TG(TTSP) be the set of all TTSP term graphs whose variable labels are mutually distinct. For a TTSP term graph g, the TTSP graph language of g, denoted by L(g), is the set of all TTSP graphs obtained from g by substituting arbitrary TTSP graphs for all variables in g. Firstly, when a TTSP graph G and a TTSP term graph g are given as inputs, we present a polynomial time matching algorithm which decides whether or not L(g) contains G. the minimal language problem for the class L-TTSP = {L(g) vertical bar g epsilon Tg(TTSP)} is, given a set S of TTSP graphs, to find a TTSP term graph g in Tg(TTSP) such that L(g) is minimal among all TTSP graph languages which contain all TTSP graphs in S. Secondly, we give a polynomial time algorithm for solving the minimal language problem for L-TTSP. Finally, we show that L-TTSP is polynomial time inductively inferable from positive data.
We present a framework for a declarative approach to spatio-temporal reasoning on geographical data, based on the constraint logical language STACLP, which offers deductive and inductive capabilities. It can be exploi...
详细信息
ISBN:
(纸本)3540255605
We present a framework for a declarative approach to spatio-temporal reasoning on geographical data, based on the constraint logical language STACLP, which offers deductive and inductive capabilities. It can be exploited for a deductive rule-based approach to represent domain knowledge on data. Furthermore, it is well suited to model trajectories of moving objects, which can be analysed by using inductive techniques, like clustering, in order to find common movement patterns. A sketch of a case study on behavioural ecology is presented.
this paper proposes a method for detecting misclassifications of a classification rule and then revising them. Given a rule and a set of examples, the method divides misclassifications by the rule into miscovered exam...
详细信息
Recursive loops in a logic program present a challenging problem to the PLP framework. On the one hand, they loop forever so that the PLP backward-chaining inferences would never stop. On the other hand, they generate...
详细信息
In this paper, we present a current cooperative work involving different institutes around the world. Our aim is to provide an online inductivelogicprogramming tool. this is the first step in a more complete structu...
详细信息
ISBN:
(纸本)9728865198
In this paper, we present a current cooperative work involving different institutes around the world. Our aim is to provide an online inductivelogicprogramming tool. this is the first step in a more complete structure for enabling e-technology for machine learning and bio-informatics. We describe the main architecture of the project and how the data will be formatted for being sent to the ilp machinery. We focus on a biological application (yeast fermentation process) due to its importance for high added value end products.
this paper deals with mining the logical layer of the Semantic Web. Our approach adopts the hybrid system AL-log as a knowledge representation and reasoning framework and inductivelogicprogramming as a methodologica...
详细信息
暂无评论