04768nam 22006735 450 99646593730331620200705044211.03-540-39875-910.1007/BFb0022678(CKB)1000000000230545(DE-He213)978-3-540-39875-2(PPN)155206567(EXLCZ)99100000000023054520100730d1986 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierFundamentals of Artificial Intelligence[electronic resource] An Advanced Course /by Wolfgang Bibel, A.W. Biermann, J.P. Delgrande, G. Huet, Philippe Jorrand, J. Mylopoulos, E. Shapiro, M.E. Stickel ; edited by Wolfgang Bibel, Philippe Jorrand1st ed. 1986.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1986.1 online resource (VII, 314 p.) Lecture Notes in Computer Science,0302-9743 ;2323-540-16782-X Knowledge representation: Features of knowledge -- Deduction and computation -- An introduction to automated deduction -- Fundamental mechanisms in machine learning and inductive inference -- Methods of automated reasoning -- Term rewriting as a basis for the design of a functional and parallel programming language -- Concurrent Prolog: A progress report.This volume contains the elaborated and harmonized versions of seven lectures given at the first Advanced Course in Artificial Intelligence, held in Vignieu, France, in July 1985. Most of them were written in tutorial form; the book thus provides an extremely valuable guide to the fundamental aspects of AI. In the first part, Delgrande and Mylopoulos discuss the concept of knowledge and its representation. The second part is devoted to the processing of knowledge. The contribution by Huet shows that both computation and inference or deduction are just different aspects of the same phenomenon. The chapter written by Stickel gives a thorough and knowledgeable introduction to the most important aspects of deduction by some form of resolution. The kind of reasoning that is involved in inductive inference problem solving (or programming) from examples, and in learning, is covered by Biermann. The tutorial by Bibel covers the more important forms of knowledge processing that might play a significant role in common sense reasoning. The third part of the book focuses on logic programming and functional programming. Jorrand presents the language FP2, where term rewriting forms the basis for the semantics of both functional and parallel programming. In the last chapter, Shapiro gives an overview of the current state of concurrent PROLOG.Lecture Notes in Computer Science,0302-9743 ;232Artificial intelligenceComputer programmingComputer logicMathematical logicArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XMathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Artificial intelligence.Computer programming.Computer logic.Mathematical logic.Artificial Intelligence.Programming Techniques.Logics and Meanings of Programs.Mathematical Logic and Formal Languages.006.3Bibel Wolfgangauthttp://id.loc.gov/vocabulary/relators/aut52148Biermann A.Wauthttp://id.loc.gov/vocabulary/relators/autDelgrande J.Pauthttp://id.loc.gov/vocabulary/relators/autHuet Gauthttp://id.loc.gov/vocabulary/relators/autJorrand Philippeauthttp://id.loc.gov/vocabulary/relators/autMylopoulos Jauthttp://id.loc.gov/vocabulary/relators/autShapiro Eauthttp://id.loc.gov/vocabulary/relators/autStickel M.Eauthttp://id.loc.gov/vocabulary/relators/autBibel Wolfgangedthttp://id.loc.gov/vocabulary/relators/edtJorrand Philippeedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465937303316Fundamentals of Artificial Intelligence335156UNISA