LEADER 02765oam 2200505zu 450 001 9911019749603321 005 20230124181646.0 010 $a1-280-55714-1 010 $a9786610557141 010 $a0-471-72393-2 010 $a0-471-72394-0 035 $a(CKB)1000000000013781 035 $a(SSID)ssj0000293720 035 $a(PQKBManifestationID)11214846 035 $a(PQKBTitleCode)TC0000293720 035 $a(PQKBWorkID)10303717 035 $a(PQKB)10344529 035 $a(MiAaPQ)EBC4957836 035 $a(Au-PeEL)EBL4957836 035 $a(CaONFJC)MIL55714 035 $a(OCoLC)64625105 035 $a(EXLCZ)991000000000013781 100 $a20160829d2004 uy 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt 182 $cc 183 $acr 200 10$aDesign of Logic-based Intelligent Systems 210 31$a[Place of publication not identified]$cWiley Interscience Imprint$d2004 215 $a1 online resource (355 pages) 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a0-471-48403-2 330 $aPrinciples for constructing intelligent systems Design of Logic-based Intelligent Systems develops principles and methods for constructing intelligent systems for complex tasks that are readily done by humans but are difficult for machines. Current Artificial Intelligence (AI) approaches rely on various constructs and methods (production rules, neural nets, support vector machines, fuzzy logic, Bayesian networks, etc.). In contrast, this book uses an extension of propositional logic that treats all aspects of intelligent systems in a unified and mathematically compatible manner. Topics include: Levels of thinking and logic Special cases: expert systems and intelligent agents Formulating and solving logic systems Reasoning under uncertainty Learning logic formulas from data Nonmonotonic and incomplete reasoning Question-and-answer processes Intelligent systems that construct intelligent systems Design of Logic-based Intelligent Systems is both a handbook for the AI practitioner and a textbook for advanced undergraduate and graduate courses on intelligent systems. Included are more than forty algorithms, and numerous examples and exercises.; The purchaser of the book may obtain an accompanying software package (Leibniz System) free of charge via the internet at leibnizsystem.com. 606 $aComputer Science$2HILCC 606 $aEngineering & Applied Sciences$2HILCC 615 7$aComputer Science 615 7$aEngineering & Applied Sciences 676 $a006.3 700 $aTruemper$b Klaus$01839732 801 0$bPQKB 906 $aBOOK 912 $a9911019749603321 996 $aDesign of Logic-based Intelligent Systems$94419069 997 $aUNINA