LEADER 04768nam 22006735 450 001 996465937303316 005 20200705044211.0 010 $a3-540-39875-9 024 7 $a10.1007/BFb0022678 035 $a(CKB)1000000000230545 035 $a(DE-He213)978-3-540-39875-2 035 $a(PPN)155206567 035 $a(EXLCZ)991000000000230545 100 $a20100730d1986 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFundamentals of Artificial Intelligence$b[electronic resource] $eAn Advanced Course /$fby Wolfgang Bibel, A.W. Biermann, J.P. Delgrande, G. Huet, Philippe Jorrand, J. Mylopoulos, E. Shapiro, M.E. Stickel ; edited by Wolfgang Bibel, Philippe Jorrand 205 $a1st ed. 1986. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1986. 215 $a1 online resource (VII, 314 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v232 311 $a3-540-16782-X 327 $aKnowledge 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. 330 $aThis 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. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v232 606 $aArtificial intelligence 606 $aComputer programming 606 $aComputer logic 606 $aMathematical logic 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aArtificial intelligence. 615 0$aComputer programming. 615 0$aComputer logic. 615 0$aMathematical logic. 615 14$aArtificial Intelligence. 615 24$aProgramming Techniques. 615 24$aLogics and Meanings of Programs. 615 24$aMathematical Logic and Formal Languages. 676 $a006.3 700 $aBibel$b Wolfgang$4aut$4http://id.loc.gov/vocabulary/relators/aut$052148 702 $aBiermann$b A.W$4aut$4http://id.loc.gov/vocabulary/relators/aut 702 $aDelgrande$b J.P$4aut$4http://id.loc.gov/vocabulary/relators/aut 702 $aHuet$b G$4aut$4http://id.loc.gov/vocabulary/relators/aut 702 $aJorrand$b Philippe$4aut$4http://id.loc.gov/vocabulary/relators/aut 702 $aMylopoulos$b J$4aut$4http://id.loc.gov/vocabulary/relators/aut 702 $aShapiro$b E$4aut$4http://id.loc.gov/vocabulary/relators/aut 702 $aStickel$b M.E$4aut$4http://id.loc.gov/vocabulary/relators/aut 702 $aBibel$b Wolfgang$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aJorrand$b Philippe$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465937303316 996 $aFundamentals of Artificial Intelligence$9335156 997 $aUNISA