03885nam 22006495 450 991014492280332120200704215218.03-540-69049-210.1007/3-540-62927-0(CKB)1000000000234637(SSID)ssj0000323262(PQKBManifestationID)11272573(PQKBTitleCode)TC0000323262(PQKBWorkID)10300111(PQKB)10294479(DE-He213)978-3-540-69049-8(PPN)155200240(EXLCZ)99100000000023463720121227d1997 u| 0engurnn|008mamaatxtccrFoundations of Inductive Logic Programming[electronic resource] /by Shan-Hwei Nienhuys-Cheng, Ronald de Wolf1st ed. 1997.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1997.1 online resource (XVIII, 410 p.) Lecture Notes in Artificial Intelligence ;1228Bibliographic Level Mode of Issuance: Monograph3-540-62927-0 Propositional logic -- First-order logic -- Normal forms and Herbrand models -- Resolution -- Subsumption theorem and refutation completeness -- Linear and input resolution -- SLD-resolution -- SLDNF-resolution -- What is inductive logic programming? -- The framework for model inference -- Inverse resolution -- Unfolding -- The lattice and cover structure of atoms -- The subsumption order -- The implication order -- Background knowledge -- Refinement operators -- PAC learning -- Further topics.Inductive Logic Programming is a young and rapidly growing field combining machine learning and logic programming. This self-contained tutorial is the first theoretical introduction to ILP; it provides the reader with a rigorous and sufficiently broad basis for future research in the area. In the first part, a thorough treatment of first-order logic, resolution-based theorem proving, and logic programming is given. The second part introduces the main concepts of ILP and systematically develops the most important results on model inference, inverse resolution, unfolding, refinement operators, least generalizations, and ways to deal with background knowledge. Furthermore, the authors give an overview of PAC learning results in ILP and of some of the most relevant implemented systems.Lecture Notes in Artificial Intelligence ;1228Software engineeringArtificial intelligenceMathematical logicComputer programmingSoftware Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Software engineering.Artificial intelligence.Mathematical logic.Computer programming.Software Engineering/Programming and Operating Systems.Artificial Intelligence.Mathematical Logic and Formal Languages.Programming Techniques.005.1/15Nienhuys-Cheng Shan-Hweiauthttp://id.loc.gov/vocabulary/relators/aut743205Wolf Ronald deauthttp://id.loc.gov/vocabulary/relators/autBOOK9910144922803321Foundations of inductive logic programming1478054UNINA