por Jan van Eijck, Albert Visser · 2002
Ver sugerenciasSinopsis
Este texto explora las conexiones intrínsecas entre la lógica formal, los lenguajes naturales y la computación, adentrándose en cómo los paradigmas funcionales y lógicos se entrelazan para la representación y manipulación del conocimiento.
Sé el primero en valorar este libro.
Otras obras del mismo autor en el catálogo
Libros relacionados según distintos criterios de búsqueda
Jon Barwise, John Etchemendy
1993·filosofia
El texto de Barwise y Etchemendy también enfatiza la lógica como una herramienta fundamental para la computación, similar a cómo lo hace van Eijck y Visser.
Patrick Blackburn, Maarten de Rijke, Yde Venema
2001·filosofia
Blackburn y sus coautores abordan la lógica modal, complementando los paradigmas lógicos que se discuten en 'Lógica, Lenguaje y Computación'.
Al igual que el libro de referencia, 'Modal Logics' explora aplicaciones de la lógica en la informática, lo que resuena con sus ideas interconectadas.
Boolos y Jeffrey investigan las bases teóricas de la computación, tocando conceptos que son centrales también en la relación entre lógica y computación.
El enfoque en semántica computacional de van Eijck utiliza programación funcional para representar conocimiento, alineándose con la exploración de lenguajes en el libro de referencia.
Genesereth y Nilsson discuten la representación del conocimiento mediante lógica, un tema que se presenta igualmente en 'Lógica, Lenguaje y Computación'.
