Cargando…
Knowledge in action : logical foundations for specifying and implementing dynamical systems /
Modeling and implementing dynamical systems is a central problem in artificial intelligence, robotics, software agents, simulation, decision and control theory, and many other disciplines. In recent years, a new approach to representing such systems, grounded in mathematical logic, has been develope...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Cambridge, Mass. :
MIT Press,
©2001.
©2001 |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocm52289251 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 030521s2001 maua ob 001 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d OCLCQ |d YDXCP |d OCLCQ |d N$T |d OCLCQ |d ZCU |d OCLCO |d VVL |d MBB |d COA |d PUL |d MYG |d ZXC |d OCLCF |d OCLCQ |d NLGGC |d COO |d OCLCQ |d AGLDB |d TOA |d LIP |d OCLCO |d OCLCQ |d OCLCO |d RRP |d OCLCA |d VNS |d VTS |d CEF |d OCLCQ |d INT |d REC |d OCLCQ |d MITPR |d YOU |d STF |d RDF |d OCLCO |d UKBTH |d K6U |d EBLCP |d OCLCA |d UKAHL |d OCLCO |d OCLCQ |d OCL |d OCLCO | ||
| 019 | |a 50324762 |a 58473335 |a 508263340 |a 961683882 |a 962677014 |a 990522154 |a 990723287 |a 1053047602 |a 1078022135 |a 1113737827 | ||
| 020 | |a 9780262282314 |q (electronic bk.) | ||
| 020 | |a 0262282313 |q (electronic bk.) | ||
| 020 | |a 0585448302 |q (electronic bk.) | ||
| 020 | |a 9780585448305 |q (electronic bk.) | ||
| 020 | |a 0262182181 | ||
| 020 | |a 9780262182188 | ||
| 020 | |a 0262527006 | ||
| 020 | |a 9780262527002 | ||
| 029 | 1 | |a AU@ |b 000051376506 | |
| 029 | 1 | |a AU@ |b 000072079934 | |
| 029 | 1 | |a DEBBG |b BV043131627 | |
| 029 | 1 | |a DEBSZ |b 422440760 | |
| 029 | 1 | |a GBVCP |b 80095128X | |
| 029 | 1 | |a NZ1 |b 13074299 | |
| 035 | |a (OCoLC)52289251 |z (OCoLC)50324762 |z (OCoLC)58473335 |z (OCoLC)508263340 |z (OCoLC)961683882 |z (OCoLC)962677014 |z (OCoLC)990522154 |z (OCoLC)990723287 |z (OCoLC)1053047602 |z (OCoLC)1078022135 |z (OCoLC)1113737827 | ||
| 037 | |b 00015994 | ||
| 037 | |a 4074 |b MIT Press | ||
| 037 | |a 9780262282314 |b MIT Press | ||
| 050 | 4 | |a Q387 |b .R48 2001eb | |
| 055 | 1 | 1 | |a Q387 |
| 060 | 4 | |a ELECTRONIC BOOK | |
| 072 | 7 | |a COM |x 025000 |2 bisacsh | |
| 082 | 0 | 4 | |a 006.3/32 |2 21 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Reiter, Raymond. | |
| 245 | 1 | 0 | |a Knowledge in action : |b logical foundations for specifying and implementing dynamical systems / |c Raymond Reiter. |
| 260 | |a Cambridge, Mass. : |b MIT Press, |c ©2001. | ||
| 264 | 4 | |c ©2001 | |
| 300 | |a 1 online resource (xvi, 424 pages) : |b illustrations | ||
| 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 409-418) and index. | ||
| 505 | 0 | 0 | |g 1. |t Introduction -- |g 2. |t Logical preliminaries -- |g 3. |t Introduction to the situation calculus -- |g 4. |t Foundations of the situation calculus -- |g 5. |t Implementing basic action theories -- |g 6. |t Complex actions, procedures, and Golog -- |g 7. |t Time, concurrency, and processes -- |g 8. |t Exogenous actions, interrupts, and reactive Golog -- |g 9. |t Progression -- |g 10. |t Planning -- |g 11. |t Sensing and knowledge -- |g 12. |t Probability and decision theory -- |g 13. |t Concluding remarks. |
| 588 | 0 | |a Print version record. | |
| 520 | 8 | |a Modeling and implementing dynamical systems is a central problem in artificial intelligence, robotics, software agents, simulation, decision and control theory, and many other disciplines. In recent years, a new approach to representing such systems, grounded in mathematical logic, has been developed within the AI knowledge-representation community. This book presents a comprehensive treatment of these ideas, basing its theoretical and implementation foundations on the situation calculus, a dialect of first-order logic. Within this framework, it develops many features of dynamical systems modeling, including time, processes, concurrency, exogenous events, reactivity, sensing and knowledge, probabilistic uncertainty, and decision theory. It also describes and implements a new family of high-level programming languages suitable for writing control programs for dynamical systems. Finally, it includes situation calculus specifications for a wide range of examples drawn from cognitive robotics, planning, simulation, databases, and decision theory, together with all the implementation code for these examples. This code is available on the book's Web site. | |
| 546 | |a English. | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Knowledge representation (Information theory) | |
| 650 | 0 | |a Expert systems (Computer science) | |
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 650 | 0 | |a Information theory. | |
| 650 | 0 | |a Logic. | |
| 650 | 2 | |a Information Theory | |
| 650 | 2 | |a Expert Systems | |
| 650 | 2 | |a Logic | |
| 650 | 6 | |a Représentation des connaissances. | |
| 650 | 6 | |a Systèmes experts (Informatique) | |
| 650 | 6 | |a Logique symbolique et mathématique. | |
| 650 | 6 | |a Théorie de l'information. | |
| 650 | 6 | |a Logique. | |
| 650 | 7 | |a logic. |2 aat | |
| 650 | 7 | |a COMPUTERS |x Expert Systems. |2 bisacsh | |
| 650 | 7 | |a Logic |2 fast | |
| 650 | 7 | |a Information theory |2 fast | |
| 650 | 7 | |a Expert systems (Computer science) |2 fast | |
| 650 | 7 | |a Knowledge representation (Information theory) |2 fast | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 1 | 7 | |a Kennisrepresentatie. |2 gtt |
| 650 | 1 | 7 | |a Logisch programmeren. |2 gtt |
| 653 | |a COMPUTER SCIENCE/Artificial Intelligence | ||
| 776 | 0 | 8 | |i Print version: |a Reiter, Raymond. |t Knowledge in action. |d Cambridge, Mass. : MIT Press, ©2001 |z 0262182181 |w (DLC) 2001030522 |w (OCoLC)46456413 |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=78105 |z Texto completo |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH37586755 | ||
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL5966270 | ||
| 938 | |a EBSCOhost |b EBSC |n 78105 | ||
| 938 | |a YBP Library Services |b YANK |n 3411264 | ||
| 938 | |a YBP Library Services |b YANK |n 2333070 | ||
| 994 | |a 92 |b IZTAP | ||