{"product_id":"logic-for-computer-science-and-artificial-intelligence-hardback-9781848213012","title":"Logic for Computer Science and Artificial Intelligence (Hardback) 9781848213012","description":"\u003cfont face=\"Georgia\"\u003e\r\n\u003cp\u003e\u003cfont size=\"6\"\u003eLogic for Computer Science and Artificial Intelligence\u003c\/font\u003e\u003cbr\u003e\r\n\r\n\r\n\r\n\r\n\r\n\u003c\/p\u003e\n\u003cp\u003e\u003cfont size=\"4\"\u003eRicardo Caferra (Author)\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e9781848213012, Wiley\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003eHardback, published 12 July 2011\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e523 pages\u003cbr\u003e24.1 x 16.3 x 3.4 cm, 0.921 kg\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\r\n\r\n\r\n\u003cp align=\"justify\"\u003e\u003cstrong\u003e\u003cfont size=\"3\"\u003e\u003cp\u003eLogic and its components (propositional, first-order, non-classical) play a key role in Computer Science and Artificial Intelligence. While a large amount of information exists scattered throughout various media (books, journal articles, webpages, etc.), the diffuse nature of these sources is problematic and logic as a topic benefits from a unified approach. Logic for Computer Science and Artificial Intelligence utilizes this format, surveying the tableaux, resolution, Davis and Putnam methods, logic programming, as well as for example unification and subsumption. For non-classical logics, the translation method is detailed.\u003c\/p\u003e \u003cp\u003e\u003ci\u003eLogic for Computer Science and Artificial Intelligence\u003c\/i\u003e is the classroom-tested result of several years of teaching at Grenoble INP (Ensimag). It is conceived to allow self-instruction for a beginner with basic knowledge in Mathematics and Computer Science, but is also highly suitable for use in traditional courses. The reader is guided by clearly motivated concepts, introductions, historical remarks, side notes concerning connections with other disciplines, and numerous exercises, complete with detailed solutions, The title provides the reader with the tools needed to arrive naturally at practical implementations of the concepts and techniques discussed, allowing for the design of algorithms to solve problems.\u003c\/p\u003e\u003c\/font\u003e\u003c\/strong\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003e\u003cp\u003ePreface xi\u003c\/p\u003e \u003cp\u003e\u003cb\u003eChapter 1. Introduction 1\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e1.1. Logic, foundations of computer science, and applications of logic to computer science 1\u003c\/p\u003e \u003cp\u003e1.2. On the utility of logic for computer engineers 3\u003c\/p\u003e \u003cp\u003e\u003cb\u003eChapter 2. A Few Thoughts Before the Formalization 7\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e2.1. What is logic? 7\u003c\/p\u003e \u003cp\u003e2.2. Somehistoric landmarks 32\u003c\/p\u003e \u003cp\u003eChapter 3. Propositional Logic 39\u003c\/p\u003e \u003cp\u003e3.1. Syntaxand semantics 40\u003c\/p\u003e \u003cp\u003e3.2. Themethodof semantic tableaux 54\u003c\/p\u003e \u003cp\u003e3.3. Formal systems 64\u003c\/p\u003e \u003cp\u003e3.4. Aformal systemforPL(PC) 78\u003c\/p\u003e \u003cp\u003e3.5. ThemethodofDavis andPutnam 92\u003c\/p\u003e \u003cp\u003e3.6. Semantic trees inPL 96\u003c\/p\u003e \u003cp\u003e3.7. The resolutionmethodinPL 101\u003c\/p\u003e \u003cp\u003e3.8. Problems, strategies, andstatements 109\u003c\/p\u003e \u003cp\u003e3.9. Hornclauses 113\u003c\/p\u003e \u003cp\u003e3.10. Algebraic point of view of propositional logic 114\u003c\/p\u003e \u003cp\u003e\u003cb\u003eChapter 4. First-order Terms 121\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e4.1. Matchingandunification 121\u003c\/p\u003e \u003cp\u003e4.2. First-order terms, substitutions, unification 125\u003c\/p\u003e \u003cp\u003e\u003cb\u003eChapter 5. First-Order Logic (FOL) or Predicate Logic (PL1, PC1) 131\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e5.1. Syntax 133\u003c\/p\u003e \u003cp\u003e5.2. Semantics 137\u003c\/p\u003e \u003cp\u003e5.3. Semantic tableauxin FOL 154\u003c\/p\u003e \u003cp\u003e5.4. Unification in the method of semantic tableaux 166\u003c\/p\u003e \u003cp\u003e5.5. Toward a semi-decision procedure for FOL 169\u003c\/p\u003e \u003cp\u003e5.6. Semantic trees inFOL 186\u003c\/p\u003e \u003cp\u003e5.7. The resolutionmethodinFOL 190\u003c\/p\u003e \u003cp\u003e5.8. Adecidable class: themonadic class 202\u003c\/p\u003e \u003cp\u003e5.9. Limits: Godel’s (first) incompleteness theorem 206\u003c\/p\u003e \u003cp\u003e\u003cb\u003eChapter 6. Foundations of Logic Programming 213\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e6.1. Specifications and programming 213\u003c\/p\u003e \u003cp\u003e6.2. Toward a logic programming language 219\u003c\/p\u003e \u003cp\u003e6.3. Logicprogramming: examples 222\u003c\/p\u003e \u003cp\u003e6.4. Computability and Horn clauses 241\u003c\/p\u003e \u003cp\u003e\u003cb\u003eChapter 7. Artificial Intelligence 245\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e7.1. Intelligent systems: AI 245\u003c\/p\u003e \u003cp\u003e7.2. What approaches to studyAI? 249\u003c\/p\u003e \u003cp\u003e7.3. Toward an operational definition of intelligence 249\u003c\/p\u003e \u003cp\u003e7.4. Can we identify human intelligence with mechanicalintelligence? 251\u003c\/p\u003e \u003cp\u003e7.5. Somehistory 254\u003c\/p\u003e \u003cp\u003e7.6. Some undisputed themes in AI 256\u003c\/p\u003e \u003cp\u003e\u003cb\u003eChapter 8. Inference 259\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e8.1. Deductiveinference 260\u003c\/p\u003e \u003cp\u003e8.2. An important concept: clause subsumption 266\u003c\/p\u003e \u003cp\u003e8.3. Abduction 273\u003c\/p\u003e \u003cp\u003e8.4. Inductive inference 278\u003c\/p\u003e \u003cp\u003e8.5. Generalization: the generation of inductive hypotheses 284\u003c\/p\u003e \u003cp\u003e\u003cb\u003eChapter 9. Problem Specification in Logical Languages 291\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e9.1. Equality 291\u003c\/p\u003e \u003cp\u003e9.2. Constraints 309\u003c\/p\u003e \u003cp\u003e9.3. Second Order Logic (SOL): a few notions 319\u003c\/p\u003e \u003cp\u003e\u003cb\u003eChapter 10. Non-classical Logics 327\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e10.1. Many-valuedlogics 327\u003c\/p\u003e \u003cp\u003e10.2. Inaccurate concepts: fuzzy logic 337\u003c\/p\u003e \u003cp\u003e10.3. Modal logics 353\u003c\/p\u003e \u003cp\u003e10.4. Some elements of temporal logic 371\u003c\/p\u003e \u003cp\u003e\u003cb\u003eChapter 11. Knowledge and Logic: Some Notions 385\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003e11.1. What is knowledge? 386\u003c\/p\u003e \u003cp\u003e11.2. Knowledge and modal logic 389\u003c\/p\u003e \u003cp\u003e\u003cb\u003eChapter 12. Solutions to the Exercises 395\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003eBibliography 515\u003c\/p\u003e \u003cp\u003eIndex 517\u003c\/p\u003e\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\u003cp\u003e\u003cfont size=\"3\"\u003eSubject Areas: Electronics \u0026amp; communications engineering [\u003ca title=\"See our other books on Electronics \u0026amp; communications engineering\" href=\"https:\/\/freshlyprintedbooks.co.uk\/search?q=%22Electronics%20\u0026amp;%20communications%20engineering%20%5BTJ%5D%22\"\u003eTJ\u003c\/a\u003e]\u003c\/font\u003e\u003c\/p\u003e\r\n\r\n\r\n\u003c\/font\u003e","brand":"Wiley-ISTE","offers":[{"title":"Brand New","offer_id":52449374535960,"sku":"9781848213012","price":135.39,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0730\/2037\/5320\/files\/9781848213012.jpg?v=1785197133","url":"https:\/\/freshlyprintedbooks.co.uk\/products\/logic-for-computer-science-and-artificial-intelligence-hardback-9781848213012","provider":"Freshly Printed Books","version":"1.0","type":"link"}