04155nam 22006015 450 99646613070331620200702082638.03-540-44737-710.1007/3-540-60217-8(CKB)1000000000234320(SSID)ssj0000321171(PQKBManifestationID)11212655(PQKBTitleCode)TC0000321171(PQKBWorkID)10260432(PQKB)10973053(DE-He213)978-3-540-44737-5(PPN)155174770(EXLCZ)99100000000023432020121227d1995 u| 0engurnn#008mamaatxtccrAlgorithmic Learning for Knowledge-Based Systems[electronic resource] GOSLER Final Report /edited by Klaus P. Jantke, Steffen Lange1st ed. 1995.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1995.1 online resource (X, 522 p.)Lecture Notes in Artificial Intelligence ;961Bibliographic Level Mode of Issuance: Monograph3-540-60217-8 Learning and consistency -- Error detecting in inductive inference -- Learning from good examples -- Towards reduction arguments for FINite learning -- Not-so-nearly-minimal-size program inference (preliminary report) -- Optimization problem in inductive inference -- On identification by teams and probabilistic machines -- Topological considerations in composing teams of learning machines -- Probabilistic versus deterministic memory limited learning -- Classification using information -- Classifying recursive predicates and languages -- A guided tour across the boundaries of learning recursive languages -- Pattern inference -- Inductive learning of recurrence-term languages from positive data -- Learning formal languages based on control sets -- Learning in case-based classification algorithms -- Optimal strategies — Learning from examples — Boolean equations -- Feature construction during tree learning -- On lower bounds for the depth of threshold circuits with weights from {?1,0,+1} -- Structuring neural networks and PAC-Learning -- Inductive synthesis of rewrite programs -- TLPS — A term rewriting laboratory (not only) for experiments in automatic program synthesis -- GoslerP — A logic programming tool for inductive inference.This book is the final report on a comprehensive basic research project, named GOSLER on algorithmic learning for knowledge-based systems supported by the German Federal Ministry of Research and Technology during the years 1991 - 1994. This research effort was focused on the study of fundamental learnability problems integrating theoretical research with the development of tools and experimental investigation. The contributions by 11 participants in the GOSLER project is complemented by contributions from 23 researchers from abroad. Thus the volume provides a competent introduction to algorithmic learning theory.Lecture Notes in Artificial Intelligence ;961ComputersArtificial intelligenceMathematical logicTheory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Computers.Artificial intelligence.Mathematical logic.Theory of Computation.Artificial Intelligence.Mathematical Logic and Formal Languages.006.3/3Jantke Klaus Pedthttp://id.loc.gov/vocabulary/relators/edtLange Steffenedthttp://id.loc.gov/vocabulary/relators/edtBOOK996466130703316Algorithmic learning for knowledge-based systems1501912UNISA