Abstract
This paper presents pattern reasoning, that is, the logical reasoning of patterns. Pattern reasoning is a new solution for the knowledge acquisition problem. Knowledge acquisition tried to acquire linguistic rules from patterns. In contrast, we try to modify logics to reason patterns. Patterns are represented as functions, which are approximated by neural networks. Therefore, pattern reasoning is realized by logical reasoning of neural networks. A few non-classical logics can reason neural networks, because neural networks can be basically regarded as multilinear functions and the logics are complete for multilinear function space, therefore, the logics can reason neural networks. This paper explains intermediate logic LC as an example of the logics and demonstrates how neural networks can be reasoned by LC.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Dalen, D.V.: Intuitionistic Logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic III, pp. 225–339. D.Reidel, Dordrechtz (1984)
Dummett, M.: A Propositional Calculus with Denumerable Matrix. The Journal of Symbolic Logic 24(2), 97–106 (1959)
Fitting, M.C.: Intuitionistic Logic-Model Theory and Forcing. North Holland, Amsterdam (1969)
Hájek, P.: Metamathematics of Fuzzy Logic. Kluwer, Dordrecht (1998)
Hornik, K.: Multilayer Feedforward Networks are Universal Approximators. Neural Networks 2, 359–266 (1989)
Hosoi, T., Ono, H.: Intermediate Propositional Logics(A Survey). Journal of Tsuda College 5, 67–82 (1973)
Ono, H., Komori, Y.: Logics without the contraction rule. J. Symbolic Logic 50, 169–201 (1985)
Tsukimoto, H., Morita, C.: The discovery of propositions in noisy data. Machine Intelligence 13, 143–167 (1994)
Tsukimoto, H.: Continuously Valued Logical Function Satisfying All Axioms of Classical Logic. Systems and Computers in Japan 25(12), 33–41 (1995)
Tsukimoto, H.: The space of multi-linear functions as models of logics and its applications. In: Proceedings of the 2nd Workshop on Non-Standard Logic and Logical Aspects of Computer Science (1995)
Tsukimoto, H., Morita, C.: Efficient algorithms for inductive learning-An application of multi-linear functions to inductive learning. Machine Intelligence 14, 427–449 (1995)
Tsukimoto, H.: Symbol pattern integration using multilinear functions. In: Furuhashi, T., Tano, S., Jacobsen, H.A. (eds.) Deep Fusion of Computational and Symbolic Processing. Springer, Heidelberg (1999) (to appear)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tsukimoto, H. (1999). Pattern Reasoning: A New Solution for Knowledge Acquisition Problem. In: Zhong, N., Skowron, A., Ohsuga, S. (eds) New Directions in Rough Sets, Data Mining, and Granular-Soft Computing. RSFDGrC 1999. Lecture Notes in Computer Science(), vol 1711. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-48061-7_39
Download citation
DOI: https://doi.org/10.1007/978-3-540-48061-7_39
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66645-5
Online ISBN: 978-3-540-48061-7
eBook Packages: Springer Book Archive