Both intensional and extensional background knowledge have previously been used in inductive problems to complement the training set used for a task. In this research, we propose to explore the usefulness, for inductive learning, of a new kind of intensional background knowledge: the inter-relationships or conditional probability distributions between subsets of attributes. Such information cou...

In celebration of the work of Richard Threlkeld Cox, we explore inductive logic and its role in science touching on both experimental design and analysis of experimental results. In this exploration we demonstrate that the duality between the logic of assertions and the logic of questions has important consequences. We discuss the conjecture that the relevance or bearing, b, of a question on an...

We evaluate a class of learning algorithms known as inductive logic programming (ILP) methods on the task of predicting fault occurrence in C++ classes. Using these methods, a large space of possible hypotheses is searched in an automated fashion; further, the hypotheses are based directly on an abstract logical representation of the software, rather than on manually proposed numerical metrics ...

This is the main entry point for the scheduler. This method has to be overridden to implement the scheduling algorithm. It is called from the JVM on a timed event or a software interrupt (see genInt()) is issued (e.g. when a Task gives up execution). vo i d i n t e r r u p t ( i n t nr ) The scheduler is notified on a hardware event. It can directly call an associated device driver or use this ...

The CXXR project aims gradually to reengineer the fundamental parts of the R interpreter from C into C++ in such a way that: • the full functionality of the standard distribution of R (including the recommended packages) is preserved; • the behaviour of R code is unaffected (unless it probes into interpreter internals); • there is no change to the existing interfaces for calling out from R to o...

This paper demonstrates how A-Prolog can be used to solve the problem of non-monotonic inductive learning in the context of the learning of the behavior of dynamic domains. Non-monotonic inductive learning is an extension of traditional inductive learning, characterized by the use of default negation in the background knowledge and/or in the clauses being learned. The importance of non-monotoni...

There is a critical gap in attempting to predict aviation system performance between large-scale engineering-oriented simulations and human-in-the-loop experiments. In order to bridge this gap, we have constructed a model of a human pilot taxiing a commercial jetliner using ACT-R, a computational theory of human cognition and performance. The model was constructed on the basis of a task analysi...

A d × n matrix, n ≥ d, whose columns have equal length and whose rows are orthonormal is constructed. This is equivalent to finding an isometric tight frame of n vectors in R d (or C d), or writing the d × d identity matrix I = d n n i=1 P i , where the P i are rank 1 orthogonal projections. The simple inductive procedure given shows that there are many such isometric tight frames.

In this study, we developed a feasible structure of a textile-based inductive sensor using a machine embroidery method, and applied it to a non-contact type vital sign sensing device based on the principle of magnetic-induced conductivity. The mechanical heart activity signals acquired through the inductive sensor embroidered with conductive textile on fabric were compared with the Lead II ECG ...