Results 271 to 280 of about 18,076 (303)

Inductive Logic

2006
exaly   +2 more sources

Inductive logic programming

New Generation Computing, 1991
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

The Logic of Backwards Inductions

Economics and Philosophy, 2000
Backwards induction is an intriguing form of argument. It is used in a number of different contexts. One of these is the surprise exam paradox. Another is game theory. But its use is problematic, at least sometimes. The purpose of this paper is to determine what, exactly, backwards induction is, and hence to evaluate it.
openaire   +2 more sources

Cautious induction in inductive logic programming

1997
Many top-down Inductive Logic Programming systems use a greedy, covering approach to construct hypotheses. This paper presents an alternative, cautious approach, known as cautious induction. We conjecture that cautious induction can allow better hypotheses to be found, with respect to some hypothesis quality criteria.
Simon Anthony, Alan M. Frisch
openaire   +1 more source

Phonotactics in Inductive Logic Programming

2004
We examine the results of applying inductive logic programming (ILP) to a relatively simple linguistic task, that of recognizing monosyllables in one language. ILP is suited to linguistic problems given linguists' preference for formulating their theories in discrete rules, and because of ILP's ability to incorporate various background theories. But it
Nerbonne, J., Konstantopoulos, S.
openaire   +2 more sources

Logic, Induction and Sets

2003
This is an introduction to logic and the axiomatization of set theory from a unique standpoint. Philosophical considerations, which are often ignored or treated casually, are here given careful consideration, and furthermore the author places the notion of inductively defined sets (recursive datatypes) at the centre of his exposition resulting in a ...
openaire   +2 more sources

Bayesian Inductive Logic Programming

Proceedings of the seventh annual conference on Computational learning theory - COLT '94, 1994
Inductive Logic Programming (ILP) involves the construction of first-order definite clause theories from examples and background knowledge. Unlike both traditional Machine Learning and Computational Learning Theory, ILP is based on lock-step development of Theory, Implementations and Applications.
openaire   +1 more source

Inductive modal logics

Fundam. Informaticae, 1992
Summary: The main aim of this paper is to study inductive modal logics --- bi- modal logics containing the Segerberg's induction axiom Seg, known from PDL. An adequate semantical characterization of Seg is given, and completeness theorems for a number of inductive modal logics are proved by a generalization of Segerberg's filtration from PDL.
openaire   +1 more source

A Logic of Induction

Philosophy of Science, 1997
1. Probabilism. Statistics is probably the last discipline the ordinary person would associate with ideological wars, but one has been raging there for the last thirty years and more. Until recently the Classical, also known as Frequentist, theory of statistical inference dominated. But gradually a quite different approach has attracted adherents. This,
openaire   +1 more source

ON A LOGIC OF INDUCTION

2005
1. Prelude 2. Aim of this paper 3. Tinkering with the dynamic proof theory 4. The dynamic proof theory 5. The semantics 6. Heuristic matters and further comments 7. Further research ABSTRACT. In this paper I present a simple and straightforward logic of induction: a consequence relation characterized by a proof theory and a semantics.
openaire   +1 more source