| Título : |
R-CALCULUS: A Logic of Belief Revision |
| Tipo de documento: |
documento electrónico |
| Autores: |
Li, Wei, Autor ; Sui, Yuefei, Autor |
| Mención de edición: |
1 ed. |
| Editorial: |
Singapore [Malasya] : Springer |
| Fecha de publicación: |
2021 |
| Número de páginas: |
XII, 200 p. 4 ilustraciones, 1 ilustraciones en color. |
| ISBN/ISSN/DL: |
978-981-1629440-- |
| 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: |
Programación lógica Teoría de las máquinas Lógica matemática Modelos matemáticos Grandes datos Lógica en IA Lenguajes formales y teoría de los autómatas Lógica Matemática y Fundamentos Modelización Matemática y Matemática Industrial |
| Índice Dewey: |
5.115 |
| Resumen: |
Este libro presenta nuevos modelos basados en el cálculo R y teorías de revisión de creencias para tratar con datos grandes y cambiantes. Extiende el cálculo R desde la lógica de primer orden hasta la lógica proposicional, la lógica de descripción, la lógica modal y la programación lógica, y desde la semántica de cambio mínimo hasta el cambio mínimo de subconjunto, el cambio mínimo de pseudosubfórmula y el cambio mínimo basado en deducción (los dos últimos cambios mínimos están recién definidos). Y demuestra teoremas de solidez y completitud con respecto a los cambios mínimos en estas lógicas. Para que el cálculo R sea computable, se proporciona un cálculo R aproximado que utiliza el método de prioridad de lesión finita en la teoría de la recursividad. Además, se dan dos aplicaciones del cálculo R a la teoría por defecto y a las redes de herencia semántica. Este libro ofrece una rica combinación de teoría y práctica. Es adecuado para estudiantes, investigadores y profesionales del campo de la lógica. También es muy útil para todos aquellos que estén interesados en datos, digitalización y corrección y consistencia de la información, en lógicas modales, lógicas no monótonas, lógicas decidibles/indecidibles, programación lógica, lógicas de descripción, lógicas por defecto y redes de herencia semántica. . |
| Nota de contenido: |
Introduction -- Preliminaries -- R-calculi for Propositional Logic -- R-calculi for Description Logics -- R-calculi for Modal Logic -- R-calculi for Logic Programming -- R-calculi for First-order Logic -- Nonmonotonicity of R-calculus -- Approximate R-calculus -- An application to Default Logic -- An application to Semantic Networks. |
| 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 |
R-CALCULUS: A Logic of Belief Revision [documento electrónico] / Li, Wei, Autor ; Sui, Yuefei, Autor . - 1 ed. . - Singapore [Malasya] : Springer, 2021 . - XII, 200 p. 4 ilustraciones, 1 ilustraciones en color. ISBN : 978-981-1629440-- Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
| Palabras clave: |
Programación lógica Teoría de las máquinas Lógica matemática Modelos matemáticos Grandes datos Lógica en IA Lenguajes formales y teoría de los autómatas Lógica Matemática y Fundamentos Modelización Matemática y Matemática Industrial |
| Índice Dewey: |
5.115 |
| Resumen: |
Este libro presenta nuevos modelos basados en el cálculo R y teorías de revisión de creencias para tratar con datos grandes y cambiantes. Extiende el cálculo R desde la lógica de primer orden hasta la lógica proposicional, la lógica de descripción, la lógica modal y la programación lógica, y desde la semántica de cambio mínimo hasta el cambio mínimo de subconjunto, el cambio mínimo de pseudosubfórmula y el cambio mínimo basado en deducción (los dos últimos cambios mínimos están recién definidos). Y demuestra teoremas de solidez y completitud con respecto a los cambios mínimos en estas lógicas. Para que el cálculo R sea computable, se proporciona un cálculo R aproximado que utiliza el método de prioridad de lesión finita en la teoría de la recursividad. Además, se dan dos aplicaciones del cálculo R a la teoría por defecto y a las redes de herencia semántica. Este libro ofrece una rica combinación de teoría y práctica. Es adecuado para estudiantes, investigadores y profesionales del campo de la lógica. También es muy útil para todos aquellos que estén interesados en datos, digitalización y corrección y consistencia de la información, en lógicas modales, lógicas no monótonas, lógicas decidibles/indecidibles, programación lógica, lógicas de descripción, lógicas por defecto y redes de herencia semántica. . |
| Nota de contenido: |
Introduction -- Preliminaries -- R-calculi for Propositional Logic -- R-calculi for Description Logics -- R-calculi for Modal Logic -- R-calculi for Logic Programming -- R-calculi for First-order Logic -- Nonmonotonicity of R-calculus -- Approximate R-calculus -- An application to Default Logic -- An application to Semantic Networks. |
| 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
