Cargando…

Commonsense Reasoning.

To endow computers with common sense is one of the major long-term goals of Artificial Intelligence research. One approach to this problem is to formalize commonsense reasoning using mathematical logic. Commonsense Reasoning is a detailed, high-level reference on logic-based commonsense reasoning. I...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Mueller, Erik T.
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Burlington : Elsevier, 2006.
Temas:
Acceso en línea:Texto completo

MARC

LEADER 00000cam a2200000Mu 4500
001 EBOOKCENTRAL_ocn703863158
003 OCoLC
005 20240329122006.0
006 m o d
007 cr |n|---|||||
008 110202s2006 vtu ob 001 0 eng d
040 |a NRU  |b eng  |e pn  |c NRU  |d YDXCP  |d OCLCQ  |d EBLCP  |d OCLCQ  |d ZCU  |d IDEBK  |d OCLCQ  |d UKDOC  |d OCLCQ  |d DEBSZ  |d OCLCQ  |d STF  |d OCLCO  |d OCLCQ  |d MERUC  |d OCLCQ  |d OCLCO  |d U3W  |d OCLCF  |d ICG  |d OCLCQ  |d TKN  |d DKC  |d AU@  |d OCLCQ  |d OCLCO  |d OCLCQ  |d OCLCO  |d OCLCL 
019 |a 191034918  |a 506982613  |a 815530260 
020 |a 9780080476612 
020 |a 0080476619 
020 |a 9780123693884 
020 |a 0123693888  |q (Trade Cloth) 
020 |a 1281050490 
020 |a 9781281050496 
029 1 |a AU@  |b 000048757226 
029 1 |a AU@  |b 000051561084 
029 1 |a DEBBG  |b BV044124132 
029 1 |a DEBSZ  |b 430396724 
035 |a (OCoLC)703863158  |z (OCoLC)191034918  |z (OCoLC)506982613  |z (OCoLC)815530260 
037 |b 00991439 
050 4 |a Q338.85 
050 4 |a Q338.85 .M84 2006 
072 7 |a WT  |2 bicssc 
082 0 4 |a 153.4/3 22  |a 153.43 
049 |a UAMI 
100 1 |a Mueller, Erik T. 
245 1 0 |a Commonsense Reasoning. 
260 |a Burlington :  |b Elsevier,  |c 2006. 
300 |a 1 online resource (431 pages) 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
520 |a To endow computers with common sense is one of the major long-term goals of Artificial Intelligence research. One approach to this problem is to formalize commonsense reasoning using mathematical logic. Commonsense Reasoning is a detailed, high-level reference on logic-based commonsense reasoning. It uses the event calculus, a highly powerful and usable tool for commonsense reasoning, which Erik T. Mueller demonstrates as the most effective tool for the broadest range of applications. He provides an up-to-date work promoting the use of the event calculus for commonsense reasoning, and bringing. 
505 0 |a Front cover; About the Author; Title page; Copyright page; Table of contents; Foreword; Preface; Acknowledgments; 1 Introduction; Part I Foundations; Part II Commonsense Phenomena; Part III Commonsense Domains; Part IV Default Reasoning; Part V Programs and Applications; Part VI Logical and Nonlogical Methods; Part VII Conclusion; Part VIII Appendices; References; Index. 
588 0 |a Print version record. 
504 |a Includes bibliographical references (pages 361-390) and index. 
590 |a ProQuest Ebook Central  |b Ebook Central Academic Complete 
650 0 |a Commonsense reasoning  |x Automation. 
650 0 |a Artificial intelligence  |x Mathematics. 
650 0 |a Logic, Symbolic and mathematical  |x Data processing. 
650 6 |a Intelligence artificielle  |x Mathématiques. 
650 6 |a Logique symbolique et mathématique  |x Informatique. 
650 6 |a Raisonnement de sens commun  |x Automatisation. 
650 7 |a Artificial intelligence  |x Mathematics  |2 fast 
650 7 |a Logic, Symbolic and mathematical  |x Data processing  |2 fast 
758 |i has work:  |a Commonsense reasoning (Text)  |1 https://id.oclc.org/worldcat/entity/E39PCGDvjthfPm6WcYD97P9kXd  |4 https://id.oclc.org/worldcat/ontology/hasWork 
776 0 8 |i Print version:  |a Mueller, Erik T.  |t Commonsense Reasoning.  |d Burlington : Elsevier, ©2006  |z 9780123693884 
856 4 0 |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=294040  |z Texto completo 
938 |a 123Library  |b 123L  |n 33952 
938 |a ProQuest Ebook Central  |b EBLB  |n EBL294040 
938 |a ProQuest MyiLibrary Digital eBook Collection  |b IDEB  |n 105049 
938 |a YBP Library Services  |b YANK  |n 2613198 
994 |a 92  |b IZTAP