| Título : |
Dynamic Tractable Reasoning : A Modular Approach to Belief Revision |
| Tipo de documento: |
documento electrónico |
| Autores: |
Andreas, Holger, Autor |
| Mención de edición: |
1 ed. |
| Editorial: |
[s.l.] : Springer |
| Fecha de publicación: |
2020 |
| Número de páginas: |
XVII, 236 p. 9 ilustraciones |
| ISBN/ISSN/DL: |
978-3-030-36233-1 |
| Nota general: |
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. |
| Palabras clave: |
Filosofía de la mente Inteligencia artificial Lógica Informática Neurociencias Aplicaciones matemáticas en informática Neurociencia |
| Índice Dewey: |
128.2 Psicología o teoría de la conducta |
| Resumen: |
Este libro pretende poner al descubierto los fundamentos lógicos del razonamiento manejable. Se basa en el trabajo fundamental de Marvin Minsky sobre marcos, que ha sido muy influyente en la informática y, en menor medida, en la ciencia cognitiva. Sólo muy pocas personas han explorado ideas sobre marcos en lógica, razón por la cual la investigación de este libro abre nuevos caminos. La aparente intratabilidad del razonamiento inferencial dinámico es un problema sin resolver tanto en la ciencia cognitiva como en la inteligencia artificial orientada a la lógica. Por medio de una investigación lógica de marcos y conceptos de marcos, Andreas idea una nueva lógica de razonamiento manejable, llamada lógica de marcos. Además, diseña un nuevo esquema de revisión de creencias, que es manejable para la lógica de marcos. Estos resultados de manejabilidad arrojan nueva luz sobre nuestros medios lógicos y cognitivos para llevar a cabo un razonamiento inferencial dinámico. La modularidad sigue siendo fundamental para la manejabilidad, por lo que el autor establece una variante lógica de la hipótesis de la modularidad masiva en la ciencia cognitiva. Este libro realiza un examen sostenido y detallado de la estructura del razonamiento manejable e inteligible en la ciencia cognitiva y la inteligencia artificial. Trabajando desde la perspectiva de la epistemología formal y la ciencia cognitiva, Andreas utiliza nociones estructuralistas de Bourbaki y Sneed para proporcionar nuevos análisis fundamentales de marcos, programación orientada a objetos, revisión de creencias y mantenimiento de la verdad. Luego, Andreas se basa en estos análisis para construir una lógica novedosa de razonamiento manejable que llama lógica de marco, junto con un esquema novedoso de revisión de creencias que es manejable para la lógica de marco. En conjunto, estos análisis lógicos y resultados de manejabilidad brindan nuevas comprensiones del razonamiento dinámico e inferencial. Jon Doyle, Universidad Estatal de Carolina del Norte. |
| Nota de contenido: |
Preface -- 1. Introduction -- Part I. Foundations -- 2. Frames -- 3. Belief Revision -- 4. Defeasible Reasoning -- Part II. Belief Revision with Frames -- 5. Postulates for Structuralism -- 6. Structuralist Belief Revision -- 7. Truth Maintenance -- 8. Frame Logic -- 9. Conclusions -- A Proofs -- Index of Symbols -- Index of Subjects. |
| En línea: |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
| Link: |
https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i |
Dynamic Tractable Reasoning : A Modular Approach to Belief Revision [documento electrónico] / Andreas, Holger, Autor . - 1 ed. . - [s.l.] : Springer, 2020 . - XVII, 236 p. 9 ilustraciones. ISBN : 978-3-030-36233-1 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
| Palabras clave: |
Filosofía de la mente Inteligencia artificial Lógica Informática Neurociencias Aplicaciones matemáticas en informática Neurociencia |
| Índice Dewey: |
128.2 Psicología o teoría de la conducta |
| Resumen: |
Este libro pretende poner al descubierto los fundamentos lógicos del razonamiento manejable. Se basa en el trabajo fundamental de Marvin Minsky sobre marcos, que ha sido muy influyente en la informática y, en menor medida, en la ciencia cognitiva. Sólo muy pocas personas han explorado ideas sobre marcos en lógica, razón por la cual la investigación de este libro abre nuevos caminos. La aparente intratabilidad del razonamiento inferencial dinámico es un problema sin resolver tanto en la ciencia cognitiva como en la inteligencia artificial orientada a la lógica. Por medio de una investigación lógica de marcos y conceptos de marcos, Andreas idea una nueva lógica de razonamiento manejable, llamada lógica de marcos. Además, diseña un nuevo esquema de revisión de creencias, que es manejable para la lógica de marcos. Estos resultados de manejabilidad arrojan nueva luz sobre nuestros medios lógicos y cognitivos para llevar a cabo un razonamiento inferencial dinámico. La modularidad sigue siendo fundamental para la manejabilidad, por lo que el autor establece una variante lógica de la hipótesis de la modularidad masiva en la ciencia cognitiva. Este libro realiza un examen sostenido y detallado de la estructura del razonamiento manejable e inteligible en la ciencia cognitiva y la inteligencia artificial. Trabajando desde la perspectiva de la epistemología formal y la ciencia cognitiva, Andreas utiliza nociones estructuralistas de Bourbaki y Sneed para proporcionar nuevos análisis fundamentales de marcos, programación orientada a objetos, revisión de creencias y mantenimiento de la verdad. Luego, Andreas se basa en estos análisis para construir una lógica novedosa de razonamiento manejable que llama lógica de marco, junto con un esquema novedoso de revisión de creencias que es manejable para la lógica de marco. En conjunto, estos análisis lógicos y resultados de manejabilidad brindan nuevas comprensiones del razonamiento dinámico e inferencial. Jon Doyle, Universidad Estatal de Carolina del Norte. |
| Nota de contenido: |
Preface -- 1. Introduction -- Part I. Foundations -- 2. Frames -- 3. Belief Revision -- 4. Defeasible Reasoning -- Part II. Belief Revision with Frames -- 5. Postulates for Structuralism -- 6. Structuralist Belief Revision -- 7. Truth Maintenance -- 8. Frame Logic -- 9. Conclusions -- A Proofs -- Index of Symbols -- Index of Subjects. |
| En línea: |
https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] |
| Link: |
https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i |
|  |
Hacer una sugerencia Refinar búsqueda
