Abstract
In the present paper strong-monotonic, monotonie and weak-monotonic reasoning is studied in the context of algorithmic language learning theory from positive as well as from positive and negative data.
Strong-monotonicity describes the requirement to only produce better and better generalizations when more and more data are fed to the inference device. Monotonic learning reflects the eventual interplay between generalization and restriction during the process of inferring a language. However, it is demanded that for any two hypotheses the one output later has to be at least as good as the previously produced one with respect to the language to be learnt. Weakmonotonicity is the analogue of cumulativity in learning theory.
We relate all these notions one to the other as well as to previously studied modes of identification, thereby in particular obtaining a strong hierarchy.
This research has been partially supported by the German Ministry for Research and Technology (BMFT) under grant no. 01 IW 101.
Preview
Unable to display preview. Download preview PDF.
References
Angluin, D., (1980A), Inductive Inference of Formal Languagues from Positive Data, Information and Control 45, 117–135.
Angluin, D., (1980B), Finding Patterns Common to a Set of Strings, J. Computer and System Sciences 21, 46–62.
Angluin, D. and C.H. Smith, (1987), Formal Inductive Inference, In Encyclopedia of Artificial Intelligence, St.C. Shapiro (Ed.), Vol. 1, pp. 409–418, Wiley-Interscience Publication, New York.
Barzdin, Ya.M., (1974), Inductive Inference of Automata, Functions and Programs, Proc. Int. Congress of Math., Vancouver, pp. 455–460.
Beick, H.R., (1991), Personal Communication.
Bucher, W. and H. Maurer, (1984), Theoretische Grundlagen der Programmiersprachen, Automaten und Sprachen, Bibliographisches Institut AG, Wissenschaftsverlag, Zürich.
Case, J., (1988), The Power of Vacillation, In Proc. 1st Workshop on Computational Learning Theory, D. Haussler and L. Pitt (Eds.), pp. 196–205, Morgan Kaufmann Publishers Inc.
Case, J. and C. Lynes, (1982), Machine Inductive Inference and Language Identification, Proc. Automata, Languages and Programming, Ninth Colloquim, Aarhus, Denmark, M. Nielsen and E.M. Schmidt (Eds.), Lecture Notes in Computer Science 140, pp. 107–115, Springer-Verlag.
Fulk, M.,(1990), Prudence and other Restrictions in Formal Language Learning, Information and Computation 85, 1–11.
Gold, M.E., (1967), Language Identification in the Limit, Information and Control 10, 447–474.
Kearns, M. and L. Pitt, (1989), A Polynomial-time Algorithm for Learning kvariable Pattern Languages from Examples, In Proc. 2nd Workshop on Computational Learning Theory, R. Rivest, D. Haussler, and M.K. Warmuth (Eds.), pp. 57–70, Morgan Kaufmann Publishers Inc.
Jain, S. and A. Sharma, (1990), Language Learning by a ”Team”, Proc. Automata, Languages and Programming, 17th International Colloquium, Warwick University, England, M.S. Paterson (Ed.), Lecture Notes in Computer Science 443, pp. 153–166, Springer-Verlag.
Jantke, K.P., (1991 A), Monotonic and Non-monotonic Inductive Inference, New Generation Computing 8, 349–360.
Jantke, K.P., (1991B), Monotonic and Non-monotonic Inference of Functions and Patterns, in Proc. First International Workshop on Nonmonotonic and Inductive Logics, December 1990, Karlsruhe, J. Dix, K.P. Jantke and P.H. Schmitt (Eds.), Lecture Notes in Artificial Intelligence 543, pp. 161–177, Springer-Verlag.
Ko, K., Marron, A. and W.G. Tzeng, (1990), Learning String Patterns and Tree Patterns From Examples, Proc. 7th Conference on Machine Learning, pp. 384–391.
Lange, S. and R. Wiehagen, (1990), Polynomial-Time Inference of Pattern Languages, Proc. Algorithmic Learning Theory 1990, pp. 289–301, Tokyo, Ohmsha Ltd.
Nix, R.P., (1983), Editing by Examples, Yale University, Dept. Computer Science, Technical Report 280.
Osherson, D., Stob, M. and S. Weinstein, (1986), Systems that Learn, An Introduction to Learning Theory for Cognitive and Computer Scientists, MIT-Press, Cambridge, Massachusetts.
Shinohara, T., (1982), Polynomial Time Inference of Extended Regular Pattern Languages, RIMS Symposia on Software Science and Engineering, Kyoto, Lecture Notes in Computer Science 147, pp. 115–127, Springer-Verlag.
Solomonoff, R., (1964), A Formal Theory of Inductive Inference, Information and Control 7, 1–22, 234–254.
Wiehagen, R., (1976), Limes-Erkennung rekursiver Funktionen durch spezielle Strategien, J. Information Processing and Cybernetics (EIK) 12, 93–99.
Wiehagen, R., (1977), Identification of Formal Languages, Proc. Mathematical Foundations of Computer Science, Tatranska Lomnica, J. Gruska (Ed.), Lecture Notes in Computer Science 53, pp. 571–579, Springer-Verlag.
Wiehagen, R., (1990), Personal Communication
Wiehagen, R., (1991), A Thesis in Inductive Inference, in Proc. First International Workshop on Nonmonotonic and Inductive Logics, December 1990, Karlsruhe, J. Dix, K.P. Jantke and P.H. Schmitt (Eds.), Lecture Notes in Artificial Intelligence 543, pp. 184–207, Springer-Verlag.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lange, S., Zeugmann, T. (1993). Monotonic versus non-monotonic language learning. In: Brewka, G., Jantke, K.P., Schmitt, P.H. (eds) Nonmonotonic and Inductive Logic. NIL 1991. Lecture Notes in Computer Science, vol 659. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0030397
Download citation
DOI: https://doi.org/10.1007/BFb0030397
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56433-1
Online ISBN: 978-3-540-47557-6
eBook Packages: Springer Book Archive