Descripción del título
Tractable reasoning in arti...
Logic is one of the most popular approaches to artificial intelligence. A potential obstacle to the use of logic is its high computational complexity, as logical inference is an extraordinarily powerful computational device. This book is concerned with computational aspects of the logical approach to AI. The focus is on two strategies for achieving computational tractability in knowledge representation and reasoning by language restriction and approximation. Several formalisms for knowledge representation are taken into account; among the computational problems studied are checking satisfiability and entailment of formulae, finding a model, and approximating and compiling a logical for
Monografía
monografia Rebiun28059978 https://catalogo.rebiun.org/rebiun/record/Rebiun28059978 m o d cr bn||||||abp cr bn||||||ada 100406s1995 gw a ob 001 0 eng d 95,A37,0785 dnb 300547325 326704140 1001509148 1005764157 1081258425 1102529509 1162735501 1238693723 9783540494225 electronic bk.) 3540494227 electronic bk.) 0387600582 9780387600581 3540600582 softcover ; alk. paper) 9783540600589 softcover ; alk. paper) AU@ 000058042986 NZ1 15565037 OCLCE eng pn OCLCE OCLCQ CUSER OCLCO OCLCQ OCLCF GW5XE OCLCQ UAB ESU OCLCQ VT2 CEF AU@ OCLCA YOU OL$ OCLCQ EUX OCLCQ dlr 006.3/3 20 54.72 bcl Cadoli, Marco 1965-) Tractable reasoning in artificial intelligence Marco Cadoli Berlin New York Springer-Verlag 1995 Berlin New York Berlin New York Springer-Verlag 1 online resource (xiv, 247 pages) illustrations 1 online resource (xiv, 247 pages) Text txt rdacontent computer c rdamedia online resource cr rdacarrier Lecture notes in computer science ; Lecture notes in artificial intelligence 941 Includes bibliographical references (pages 227-239) and index 1. Introduction -- 2. Language restriction: Complexity of minimal reasoning -- 3. Approximation of a logical theory -- 4. Using complexity results for evaluating approximation techniques -- 5. Conclusions -- A Appendix to Chapter 2 -- B Appendix to Chapter 3 -- C Appendix to Chapter 4 Use copy. Restrictions unspecified star. MiAaHDL Logic is one of the most popular approaches to artificial intelligence. A potential obstacle to the use of logic is its high computational complexity, as logical inference is an extraordinarily powerful computational device. This book is concerned with computational aspects of the logical approach to AI. The focus is on two strategies for achieving computational tractability in knowledge representation and reasoning by language restriction and approximation. Several formalisms for knowledge representation are taken into account; among the computational problems studied are checking satisfiability and entailment of formulae, finding a model, and approximating and compiling a logical for Electronic reproduction. [Place of publication not identified] HathiTrust Digital Library 2010. MiAaHDL Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. http://purl.oclc.org/DLF/benchrepro0212 MiAaHDL digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL Artificial intelligence Reasoning- Data processing Computational complexity Approximation theory Approximation, Théorie de l' Argumentation- Informatique Complexité de calcul (Informatique) Intelligence artificielle Approximation theory. Artificial intelligence. Computational complexity. Reasoning- Data processing. Kunstmatige intelligentie. Redeneren. Inteligencia artificial Comlpexité de calcul (Informatique) Intellligence Artificielle. Approximation, Théorie de l'. Raisonnement. Intelligence artificielle. Complexité de calcul (informatique) Electronic books Print version Cadoli, Marco, 1965-. Tractable reasoning in artificial intelligence. Berlin ; New York : Springer-Verlag, 1995 (DLC) 95023193 (OCoLC)32702732 Lecture notes in computer science. Lecture notes in artificial intelligence 941