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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; Boston :
Elsevier Morgan Kaufmann,
©2006.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000Ia 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocn659559288 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 100830s2006 ne ob 001 0 eng d | ||
| 010 | |z 2005031664 | ||
| 040 | |a N$T |b eng |e pn |c N$T |d OCLCE |d IDEBK |d E7B |d OCLCQ |d NLGGC |d YDXCP |d OPELS |d OCLCQ |d COO |d AZK |d AGLDB |d COCUF |d MOR |d PIFAG |d OCLCQ |d JBG |d CASUM |d OCLCO |d OCLCA |d OCLCF |d OCLCO |d WRM |d D6H |d VTS |d CEF |d CHVBK |d INT |d UKMGB |d OCLCQ |d WYU |d REC |d OCLCO |d STF |d OCLCQ |d OCLCO |d LEAUB |d M8D |d OCLCA |d UKBTH |d VLY |d LUN |d OCLCQ |d OCLCO |d OCLCQ |d OCL | ||
| 016 | 7 | |a 017581686 |2 Uk | |
| 019 | |a 162572944 |a 648300420 |a 657955984 |a 961513239 |a 962681963 |a 1162399680 | ||
| 020 | |a 9780080476612 |q (electronic bk.) | ||
| 020 | |a 0080476619 |q (electronic bk.) | ||
| 020 | |z 0123693888 |q (hardcover ; |q alk. paper) | ||
| 020 | |z 9780123693884 |q (hardcover ; |q alk. paper) | ||
| 020 | |a 1281050490 | ||
| 020 | |a 9781281050496 | ||
| 020 | |a 9786611050498 | ||
| 020 | |a 6611050493 | ||
| 029 | 1 | |a AU@ |b 000060844912 | |
| 029 | 1 | |a CHNEW |b 001009843 | |
| 029 | 1 | |a DEBBG |b BV042307509 | |
| 029 | 1 | |a DEBBG |b BV043145710 | |
| 029 | 1 | |a DEBSZ |b 405307837 | |
| 029 | 1 | |a DEBSZ |b 422199648 | |
| 029 | 1 | |a GBVCP |b 803364245 | |
| 029 | 1 | |a NZ1 |b 12434933 | |
| 029 | 1 | |a NZ1 |b 14540267 | |
| 029 | 1 | |a UKMGB |b 017581686 | |
| 035 | |a (OCoLC)659559288 |z (OCoLC)162572944 |z (OCoLC)648300420 |z (OCoLC)657955984 |z (OCoLC)961513239 |z (OCoLC)962681963 |z (OCoLC)1162399680 | ||
| 037 | |a 113048:113136 |b Elsevier Science & Technology |n http://www.sciencedirect.com | ||
| 050 | 4 | |a Q338.85 |b .M84 2006eb | |
| 080 | |a 518.81 | ||
| 082 | 0 | 4 | |a 153.4/3 |2 22 |
| 084 | |a 54.72 |2 bcl | ||
| 049 | |a UAMI | ||
| 100 | 1 | |a Mueller, Erik T. | |
| 245 | 1 | 0 | |a Commonsense reasoning / |c Erik T. Mueller. |
| 260 | |a Amsterdam ; |a Boston : |b Elsevier Morgan Kaufmann, |c ©2006. | ||
| 300 | |a 1 online resource (xxvi, 404 pages) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 504 | |a Includes bibliographical references (pages 361-390) and index. | ||
| 505 | 0 | |a The event calculus -- The effects of events -- The triggering of events -- The commonsense law of inertia -- Indirect effects of events -- Continuous change -- Concurrent events -- Nondeterministic effects of events -- Space -- The mental states of agents -- Default reasoning -- The discrete event calculus reasoner -- Applications -- Logics for commonsense reasoning -- Nonlogical methods for commonsense reasoning. | |
| 588 | 0 | |a Print version record. | |
| 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 into one place information scattered across many books and papers. Mueller shares the knowledge gained in using the event calculus and extends the literature with detailed event calculus solutions to problems that span many areas of the commonsense world. Covers key areas of commonsense reasoning including action, change, defaults, space, and mental states. The first full book on commonsense reasoning to use the event calculus. Contextualizes the event calculus within the framework of commonsense reasoning, introducing the event calculus as the best method overall. Focuses on how to use the event calculus formalism to perform commonsense reasoning, while existing papers and books examine the formalisms themselves. Includes fully worked out proofs and circumscriptions for every example. Describes software tools that can be downloaded and used for automated commonsense reasoning, and real-world applications that have been built using the event calculus. | ||
| 546 | |a English. | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 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 | 0 | |a Artificial intelligence. | |
| 650 | 0 | |a Automation. | |
| 650 | 1 | 2 | |a Artificial Intelligence |
| 650 | 1 | 2 | |a Electronic Data Processing |
| 650 | 1 | 2 | |a Automation |
| 650 | 6 | |a Raisonnement de sens commun |x Automatisation. | |
| 650 | 6 | |a Intelligence artificielle |x Mathématiques. | |
| 650 | 6 | |a Logique symbolique et mathématique |x Informatique. | |
| 650 | 6 | |a Intelligence artificielle. | |
| 650 | 6 | |a Informatique. | |
| 650 | 6 | |a Automatisation. | |
| 650 | 7 | |a artificial intelligence. |2 aat | |
| 650 | 7 | |a automation. |2 aat | |
| 650 | 7 | |a Automation. |2 fast |0 (OCoLC)fst00822786 | |
| 650 | 7 | |a Artificial intelligence. |2 fast |0 (OCoLC)fst00817247 | |
| 650 | 7 | |a Artificial intelligence |x Mathematics. |2 fast |0 (OCoLC)fst00817266 | |
| 650 | 7 | |a Logic, Symbolic and mathematical |x Data processing. |2 fast |0 (OCoLC)fst01002071 | |
| 776 | 0 | 8 | |i Print version: |a Mueller, Erik T. |t Commonsense reasoning. |d Amsterdam ; Boston : Elsevier Morgan Kaufmann, ©2006 |z 9780123693884 |w (DLC) 2005031664 |w (OCoLC)62281780 |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=196148 |z Texto completo |
| 938 | |a ebrary |b EBRY |n ebr10186070 | ||
| 938 | |a EBSCOhost |b EBSC |n 196148 | ||
| 938 | |a YBP Library Services |b YANK |n 2613198 | ||
| 994 | |a 92 |b IZTAP | ||