Abstract
In the field of deductive logic, relevant logic has been investigated for a long time, as a means to derive only conclusions which are related to all premises. Our proposal is to apply this concept of relevance as a criterion of appropriateness to hypotheses in inductive logic, and in this paper we present some special hypotheses called residue hypotheses, which satisfy such kind of appropriateness. This concept of relevance is different from those often introduced in the field of Inductive Logic Programming. While those aimed at the reduction of search spaces, which went hand in hand with postulating criteria which restricted the appropriateness of formulae as hypotheses, the relevance concept presented in this paper can be regarded as ‘logical smallness’ of hypotheses, in contrast to ‘syntactical smallness’. We also give a further refinement, so-called minimized residue hypotheses, which constitute an interesting trade-o. between these two types of smallness. We also give some results on bottom clauses and relevance.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
W. Bibel. Automated Theorem Proving. Vieweg, 1987. (second edition).
B. Fronhöfer. The Action-as-Implication Paradigm: Formal Systems and Application, volume 1 of Computer Science Monographs. CSpress, München, Germany, 1996. (revised version of Habilitationsschrift, TU München 1994).
B. Fronhöfer and A. Yamamoto. Generating the Weakest Hypotheses. In Proc. of the 12th Annual Conference of JSAI, pages 314–317, 1998. (written in Japanese).
G. Gentzen. Untersuchungen über das logische Schließen. Math. Zeitschrift, 39:176–210 and 405-431, 1935.
N. Lavrač, D. Gamberger, and V. Jovanoski. A Study of Relevance for Learning in Deductive Databases. Journal of Logic Programming, 40:215–249, 1999.
H. Midelfart. A Bounded Search Space of Cluasal Theories. In Proc. of the 9th International Workshop on Inductive Logic Programming (LNAI 1634), pages 210–221, 1999.
G. D. Plotkin. Automatic Methods of Inductive Inference. PhD thesis, Edinburgh University, 1971.
T. Shinohara. Inductive Inference of Monotonic Formal Systems from Positive Data. New Generation Computing, 8:371–384, 1991.
A. Yamamoto. An Inference Method for the Complete Inverse of Relative Subsumption. New Generation Computing, 17(1):99–117, 1999.
A. Yamamoto. Revising the Logical Foundations of Inductive Logic Programming Systems with Ground Reduced Programs. New Generation Computing, 17(1):119–127, 1999.
A. Yamamoto and B. Fronhöfer. Hypothesis Finding via Residue Hypotheses with the Resolution Principle. In Proc. of the 11th International Workshop on Algorithmic Learning Theory (LNAI 1968), pages 156–165, 2000.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fronhöfer, B., Yamamoto, A. (2002). Minimised Residue Hypotheses in Relevant Logic. In: Cesa-Bianchi, N., Numao, M., Reischuk, R. (eds) Algorithmic Learning Theory. ALT 2002. Lecture Notes in Computer Science(), vol 2533. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36169-3_23
Download citation
DOI: https://doi.org/10.1007/3-540-36169-3_23
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00170-6
Online ISBN: 978-3-540-36169-5
eBook Packages: Springer Book Archive