Información del autor
Autor Hansson, Sven Ove |
Documentos disponibles escritos por este autor (4)
Crear una solicitud de compra Refinar búsqueda
TÃtulo : Belief Change : Introduction and Overview Tipo de documento: documento electrónico Autores: Fermé, Eduardo, ; Hansson, Sven Ove, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: IX, 125 p. 11 ilustraciones, 7 ilustraciones en color. ISBN/ISSN/DL: 978-3-319-60535-7 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: Inteligencia artificial Lógica Clasificación: Resumen: Este libro explica cómo la lógica del cambio de teorÃa emplea modelos formales en la investigación de cambios en los estados de creencias y las bases de datos. Los temas cubiertos incluyen caracterizaciones equivalentes de operaciones AGM, representaciones extendidas de los estados de creencia, operadores de cambio no incluidos en el marco original, cambio iterado, aplicaciones del modelo, sus conexiones con otros marcos formales y crÃtica del modelo. Nota de contenido: Motivation -- History -- The AGM Model -- Belief Sets -- Equivalent Characterizations -- Safe and Kernel Contraction -- Criticism of the Model -- Belief Bases -- Iterated Change -- Multiple Change -- Extended Representations of Belief States -- Alternative Operators of Change -- Multiagent Belief Change -- Applications and Connections -- Implementations -- Conclusions -- References. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Belief Change : Introduction and Overview [documento electrónico] / Fermé, Eduardo, ; Hansson, Sven Ove, . - 1 ed. . - [s.l.] : Springer, 2018 . - IX, 125 p. 11 ilustraciones, 7 ilustraciones en color.
ISBN : 978-3-319-60535-7
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Inteligencia artificial Lógica Clasificación: Resumen: Este libro explica cómo la lógica del cambio de teorÃa emplea modelos formales en la investigación de cambios en los estados de creencias y las bases de datos. Los temas cubiertos incluyen caracterizaciones equivalentes de operaciones AGM, representaciones extendidas de los estados de creencia, operadores de cambio no incluidos en el marco original, cambio iterado, aplicaciones del modelo, sus conexiones con otros marcos formales y crÃtica del modelo. Nota de contenido: Motivation -- History -- The AGM Model -- Belief Sets -- Equivalent Characterizations -- Safe and Kernel Contraction -- Criticism of the Model -- Belief Bases -- Iterated Change -- Multiple Change -- Extended Representations of Belief States -- Alternative Operators of Change -- Multiagent Belief Change -- Applications and Connections -- Implementations -- Conclusions -- References. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Descriptor Revision : Belief Change through Direct Choice Tipo de documento: documento electrónico Autores: Hansson, Sven Ove, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2017 Número de páginas: XVIII, 239 p. 18 ilustraciones ISBN/ISSN/DL: 978-3-319-53061-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: Lógica TeorÃa de las máquinas Gestión de base de datos Conocimiento TeorÃa de Lógica matemática Lenguajes formales y teorÃa de los autómatas EpistemologÃa Lógica Matemática y Fundamentos Clasificación: 160 Lógica Resumen: Este libro ofrece un examen crÃtico de cómo se representa la elección de qué creer en el modelo estándar de cambio de creencias. En particular, se examina crÃticamente el uso de mundos posibles y restos infinitos como objetos de elección. Los descriptores se presentan como una herramienta versátil para expresar las condiciones de éxito del cambio de creencias, abordando la revisión de descriptores tanto local como global. El libro presenta descriptores dinámicos, como los de Ramsey, que transmiten cómo las creencias de un agente tienden a cambiar en respuesta a diferentes entradas. También explora la revisión de oraciones y demuestra cómo las operaciones locales y globales de revisión de una oración pueden derivarse como un caso especial de revisión de descriptores. Por último, el libro examina la revocación, una generalización de la contracción en la que una oración especÃfica se elimina en un proceso que posiblemente también implique la adición de alguna información nueva al conjunto de creencias. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Descriptor Revision : Belief Change through Direct Choice [documento electrónico] / Hansson, Sven Ove, . - 1 ed. . - [s.l.] : Springer, 2017 . - XVIII, 239 p. 18 ilustraciones.
ISBN : 978-3-319-53061-1
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Lógica TeorÃa de las máquinas Gestión de base de datos Conocimiento TeorÃa de Lógica matemática Lenguajes formales y teorÃa de los autómatas EpistemologÃa Lógica Matemática y Fundamentos Clasificación: 160 Lógica Resumen: Este libro ofrece un examen crÃtico de cómo se representa la elección de qué creer en el modelo estándar de cambio de creencias. En particular, se examina crÃticamente el uso de mundos posibles y restos infinitos como objetos de elección. Los descriptores se presentan como una herramienta versátil para expresar las condiciones de éxito del cambio de creencias, abordando la revisión de descriptores tanto local como global. El libro presenta descriptores dinámicos, como los de Ramsey, que transmiten cómo las creencias de un agente tienden a cambiar en respuesta a diferentes entradas. También explora la revisión de oraciones y demuestra cómo las operaciones locales y globales de revisión de una oración pueden derivarse como un caso especial de revisión de descriptores. Por último, el libro examina la revocación, una generalización de la contracción en la que una oración especÃfica se elimina en un proceso que posiblemente también implique la adición de alguna información nueva al conjunto de creencias. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Introduction to Formal Philosophy Tipo de documento: documento electrónico Autores: Hansson, Sven Ove, ; Hendricks, Vincent F., Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XX, 733 p. 531 ilustraciones ISBN/ISSN/DL: 978-3-319-77434-3 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: Lenguajes formales y teorÃa de los autómatas Lógica Matemática y Fundamentos FilosofÃa analÃtica Ética FÃsica matemática Lógica matemática TeorÃa de las máquinas Análisis (FilosofÃa) FilosofÃa moral y ética aplicada Clasificación: Resumen: Este libro de texto de pregrado presenta métodos clave y examina las principales áreas de la filosofÃa en las que los métodos formales desempeñan papeles fundamentales. La cobertura comienza con una introducción exhaustiva a la formalización y a las ventajas y desventajas de los métodos formales en filosofÃa. Los capÃtulos siguientes muestran cómo utilizar métodos formales en una amplia gama de áreas. En todo momento, los contribuyentes aclaran las relaciones e interdependencias entre nociones y construcciones formales e informales. Su principal objetivo es mostrar cómo los tratamientos formales de los problemas filosóficos pueden ayudarnos a comprenderlos mejor. Los métodos formales pueden utilizarse para resolver problemas pero también para expresar nuevos problemas filosóficos que nunca habrÃan visto la luz sin el poder expresivo del aparato formal. La filosofÃa formal fusiona trabajos en diferentes áreas de la filosofÃa, asà como en lógica, matemáticas, informática, lingüÃstica, fÃsica, psicologÃa, biologÃa, economÃa, teorÃa polÃtica y sociologÃa. Este tÃtulo ofrece una introducción accesible a esta nueva área de investigación interdisciplinaria para una amplia audiencia académica. Nota de contenido: Part I: The scope and methods of formal philosophy -- Chapter 1. Formalization (Sven Ove Hansson) -- Part II: Reasoning and inference -- Chapter 2. Non-monotonic reasoning (Alex Bochman) -- Chapter 3. Argument (Henry Prakken) -- Chapter 4. Induction (Rafal Urbaniak and Diderik Batens) -- Chapter 5. Bivalence and future contingency (François Rivenc, Carlo Proietti, and Gabriel Sandu) -- Chapter 6. Conditionals (John Cantwell) -- Chapter 7. Neural network models for conditionals (Hannes Leitgeb) -- Chapter 8. Proof theory (Jeremy Avigad) -- Chapter 9. Formal methods and the history of philosophy (Catarina Dutilh Novaes) -- Part III: Metaphysics and philosophy of language -- Chapter 10. Theory of concepts (Erich Rast) -- Chapter 11. Categories (Jean-Pierre Marquis) -- Chapter 12. Necessity and possibility (Melvin Fitting) -- Chapter 13. Reference and denotation (Robert van Rooy) -- Chapter 14. Indexicals (Philippe Schlenker) -- Chapter 14. Can natural language be captured in a formal system? (MartinStokhof) -- Part IV: Epistemology -- Chapter 15. Knowledge representation for philosophers (Richmond H. Thomason) -- Chapter 16. Epistemic logic and epistemology (Wesley H. Holliday) -- Chapter 16. Belief change (Sven Ove Hansson) -- Chapter 17. Coherence (Sven Ove Hansson) -- Chapter 18. Probability theory (Darrell P. Rowbottom) -- Chapter 19. Bayesian epistemology (Erik J. Olsson). Part V: Philosophy of science -- Chapter 20. Models of the development of scientific theories (Gerhard Schurz) -- Chapter 21. Computational models in science and philosophy (Paul Thagard) -- Chapter 22. Space and time (John Manchak) -- Chapter 23. A formal theory of causation (Richard Scheines) -- Part VI: Axiology and moral philosophy -- Chapter 24. Formal investigations of value (Sven Ove Hansson) -- Chapter 25. Value theory (axiology) (Erik Carlson) -- Chapter 26. Preference and choice (Sven Ove Hansson) -- Chapter 27. Preference Change (Fenrong Liu) -- Deontic logic (Sven Ove Hansson) -- Chapter 28. Action theories, Andreas Herzig (Emiliano Lorini, and Nicolas Troquard) -- Part VII: Decision theory and social philosophy -- Chapter 29. Decision theory: A formal philosophical introduction (Richard Bradley) -- Chapter 30. Bayesian decision theory (Jeffrey Helzner) -- Chapter 31. Representing uncertainty (Sven Ove Hansson) -- Money-pumps (Sven Ove Hansson) -- Chapter 32. Causal decision theory (Brad Armendt) -- Dynamic decision theory (Katie Steele) -- Chapter 33. Logical approaches to law (John Woods) -- Chapter 34. Judgement aggregation (Philippe Mongin) -- Chapter 35. Social choice and voting (Prasanta K. Pattanaik). Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Introduction to Formal Philosophy [documento electrónico] / Hansson, Sven Ove, ; Hendricks, Vincent F., . - 1 ed. . - [s.l.] : Springer, 2018 . - XX, 733 p. 531 ilustraciones.
ISBN : 978-3-319-77434-3
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: Lenguajes formales y teorÃa de los autómatas Lógica Matemática y Fundamentos FilosofÃa analÃtica Ética FÃsica matemática Lógica matemática TeorÃa de las máquinas Análisis (FilosofÃa) FilosofÃa moral y ética aplicada Clasificación: Resumen: Este libro de texto de pregrado presenta métodos clave y examina las principales áreas de la filosofÃa en las que los métodos formales desempeñan papeles fundamentales. La cobertura comienza con una introducción exhaustiva a la formalización y a las ventajas y desventajas de los métodos formales en filosofÃa. Los capÃtulos siguientes muestran cómo utilizar métodos formales en una amplia gama de áreas. En todo momento, los contribuyentes aclaran las relaciones e interdependencias entre nociones y construcciones formales e informales. Su principal objetivo es mostrar cómo los tratamientos formales de los problemas filosóficos pueden ayudarnos a comprenderlos mejor. Los métodos formales pueden utilizarse para resolver problemas pero también para expresar nuevos problemas filosóficos que nunca habrÃan visto la luz sin el poder expresivo del aparato formal. La filosofÃa formal fusiona trabajos en diferentes áreas de la filosofÃa, asà como en lógica, matemáticas, informática, lingüÃstica, fÃsica, psicologÃa, biologÃa, economÃa, teorÃa polÃtica y sociologÃa. Este tÃtulo ofrece una introducción accesible a esta nueva área de investigación interdisciplinaria para una amplia audiencia académica. Nota de contenido: Part I: The scope and methods of formal philosophy -- Chapter 1. Formalization (Sven Ove Hansson) -- Part II: Reasoning and inference -- Chapter 2. Non-monotonic reasoning (Alex Bochman) -- Chapter 3. Argument (Henry Prakken) -- Chapter 4. Induction (Rafal Urbaniak and Diderik Batens) -- Chapter 5. Bivalence and future contingency (François Rivenc, Carlo Proietti, and Gabriel Sandu) -- Chapter 6. Conditionals (John Cantwell) -- Chapter 7. Neural network models for conditionals (Hannes Leitgeb) -- Chapter 8. Proof theory (Jeremy Avigad) -- Chapter 9. Formal methods and the history of philosophy (Catarina Dutilh Novaes) -- Part III: Metaphysics and philosophy of language -- Chapter 10. Theory of concepts (Erich Rast) -- Chapter 11. Categories (Jean-Pierre Marquis) -- Chapter 12. Necessity and possibility (Melvin Fitting) -- Chapter 13. Reference and denotation (Robert van Rooy) -- Chapter 14. Indexicals (Philippe Schlenker) -- Chapter 14. Can natural language be captured in a formal system? (MartinStokhof) -- Part IV: Epistemology -- Chapter 15. Knowledge representation for philosophers (Richmond H. Thomason) -- Chapter 16. Epistemic logic and epistemology (Wesley H. Holliday) -- Chapter 16. Belief change (Sven Ove Hansson) -- Chapter 17. Coherence (Sven Ove Hansson) -- Chapter 18. Probability theory (Darrell P. Rowbottom) -- Chapter 19. Bayesian epistemology (Erik J. Olsson). Part V: Philosophy of science -- Chapter 20. Models of the development of scientific theories (Gerhard Schurz) -- Chapter 21. Computational models in science and philosophy (Paul Thagard) -- Chapter 22. Space and time (John Manchak) -- Chapter 23. A formal theory of causation (Richard Scheines) -- Part VI: Axiology and moral philosophy -- Chapter 24. Formal investigations of value (Sven Ove Hansson) -- Chapter 25. Value theory (axiology) (Erik Carlson) -- Chapter 26. Preference and choice (Sven Ove Hansson) -- Chapter 27. Preference Change (Fenrong Liu) -- Deontic logic (Sven Ove Hansson) -- Chapter 28. Action theories, Andreas Herzig (Emiliano Lorini, and Nicolas Troquard) -- Part VII: Decision theory and social philosophy -- Chapter 29. Decision theory: A formal philosophical introduction (Richard Bradley) -- Chapter 30. Bayesian decision theory (Jeffrey Helzner) -- Chapter 31. Representing uncertainty (Sven Ove Hansson) -- Money-pumps (Sven Ove Hansson) -- Chapter 32. Causal decision theory (Brad Armendt) -- Dynamic decision theory (Katie Steele) -- Chapter 33. Logical approaches to law (John Woods) -- Chapter 34. Judgement aggregation (Philippe Mongin) -- Chapter 35. Social choice and voting (Prasanta K. Pattanaik). Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
TÃtulo : Technology and Mathematics : Philosophical and Historical Investigations Tipo de documento: documento electrónico Autores: Hansson, Sven Ove, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XII, 373 p. 54 ilustraciones ISBN/ISSN/DL: 978-3-319-93779-3 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: TecnologÃa Lógica Matemáticas Historia Ordenador Ciencias de la Computación FilosofÃa de la tecnologÃa Historia de la ciencia Historia de las Ciencias Matemáticas Historia de la Computación TeorÃa de la Computación Clasificación: Resumen: Este volumen es el primer estudio extenso de las conexiones históricas y filosóficas entre la tecnologÃa y las matemáticas. La cobertura incluye el uso de las matemáticas en la tecnologÃa antigua y moderna, dispositivos y máquinas para la computación, criptologÃa, matemáticas en la educación tecnológica, la epistemologÃa de las pruebas mediadas por computadora y la relación entre la computabilidad tecnológica y matemática. El libro también examina el trabajo de personajes históricos como Gottfried Wilhelm Leibniz, Charles Babbage, Ada Lovelace y Alan Turing. Nota de contenido: Part I. Introductory -- 1. Preview (Sven Ove Hansson) -- 2. Introduction (Sven Ove Hansson) -- Part II. The historical connection -- 3. The mathematics of craftspeople (TBD) -- 4. Mathematics and Mechanical Computation (Doron Swade) -- 5. The concept of computation in the medieval and modern era (Sara Uckelman) -- 6. Leibniz and the calculus ratiocinator (Wolfgang Lenzen) -- 7. The impact of WWII cryptology on post-war mathematics (Sandy L. Zabell) -- 8. The mathematical origins of modern computing (Mark Priestley) -- Part III. Technological uses of mathematics -- 9. Mathematical optimization in technology (Serkan Kiranyaz) -- 10. Mathematics at technological universities (Sven Ove Hansson) -- 11. Mathematical models of technological and social complexity (Ronald R. Kline) -- Part IV. Technological and mathematical computability -- 12. The Epistemology of Computer-Mediated Proofs (Selmer Bringsjord) -- 13. The physical Church-Turing thesis (Sven Ove Hansson) -- 14. Quantum information (Laura Felline) -- 15. Quantum Reflections on Computational Complexity (Michael Cuffaro) -- Part V. Philosophical reflections on the connection -- 16. What the applicability of mathematics tells us about its philosophy (Phillip L. Wilson) -- 17. The unreasonable effectiveness of mathematics in technology (Tor Sandqvist) -- 18. Practical limits to the effectiveness of mathematics (Johannes Lenhard). Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Technology and Mathematics : Philosophical and Historical Investigations [documento electrónico] / Hansson, Sven Ove, . - 1 ed. . - [s.l.] : Springer, 2018 . - XII, 373 p. 54 ilustraciones.
ISBN : 978-3-319-93779-3
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave: TecnologÃa Lógica Matemáticas Historia Ordenador Ciencias de la Computación FilosofÃa de la tecnologÃa Historia de la ciencia Historia de las Ciencias Matemáticas Historia de la Computación TeorÃa de la Computación Clasificación: Resumen: Este volumen es el primer estudio extenso de las conexiones históricas y filosóficas entre la tecnologÃa y las matemáticas. La cobertura incluye el uso de las matemáticas en la tecnologÃa antigua y moderna, dispositivos y máquinas para la computación, criptologÃa, matemáticas en la educación tecnológica, la epistemologÃa de las pruebas mediadas por computadora y la relación entre la computabilidad tecnológica y matemática. El libro también examina el trabajo de personajes históricos como Gottfried Wilhelm Leibniz, Charles Babbage, Ada Lovelace y Alan Turing. Nota de contenido: Part I. Introductory -- 1. Preview (Sven Ove Hansson) -- 2. Introduction (Sven Ove Hansson) -- Part II. The historical connection -- 3. The mathematics of craftspeople (TBD) -- 4. Mathematics and Mechanical Computation (Doron Swade) -- 5. The concept of computation in the medieval and modern era (Sara Uckelman) -- 6. Leibniz and the calculus ratiocinator (Wolfgang Lenzen) -- 7. The impact of WWII cryptology on post-war mathematics (Sandy L. Zabell) -- 8. The mathematical origins of modern computing (Mark Priestley) -- Part III. Technological uses of mathematics -- 9. Mathematical optimization in technology (Serkan Kiranyaz) -- 10. Mathematics at technological universities (Sven Ove Hansson) -- 11. Mathematical models of technological and social complexity (Ronald R. Kline) -- Part IV. Technological and mathematical computability -- 12. The Epistemology of Computer-Mediated Proofs (Selmer Bringsjord) -- 13. The physical Church-Turing thesis (Sven Ove Hansson) -- 14. Quantum information (Laura Felline) -- 15. Quantum Reflections on Computational Complexity (Michael Cuffaro) -- Part V. Philosophical reflections on the connection -- 16. What the applicability of mathematics tells us about its philosophy (Phillip L. Wilson) -- 17. The unreasonable effectiveness of mathematics in technology (Tor Sandqvist) -- 18. Practical limits to the effectiveness of mathematics (Johannes Lenhard). Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
