| Centro |
| Facultad de Geografía e Historia |
| Departamento |
| Lógica y Filosofía de la Ciencia |
| Profesor responsable |
| G4074 - RAFAEL BENEYTO TORRES |
| Met. Docent |
| Clase magistrales de los temas del programa y clases prácticas de ejercicicios lógicos que los alumnos firmarán y entregarán al profesor. Puede llegarse a una atención personalizada si se combinan las clases con las tutorías. |
| Met. Avaluació |
| Examen que combinará preguntas teóricas y cuestiones técnicas de demostración lógica ,tanto heurística como algorítmica.Se tendrán también en cuenta las calificaciones de los ejercicios realizados y corregidos. |
| Bibliografia |
| - Antón, A.; Casañ, P. Lógica Matemática. Teoría y práctica.I. Lógica de enunciados. Valencia. Nau Llibres.1990 - Crestani, F. et al. (eds.). Information retrieval: uncertainty and logics. Boston. Kluwer. 1998. - Devlin, K.J. Logic and information. Cambridge. Cambridge Univ. Press.1991 - Garrido, M. Lógica simbólica. Madrid, Tecnos, 1995. - Huibers, T.W.C. An axiomatic theory for information retrieval. Utrecht.Utrech Univ. 1996 - Quine, W.V. Los métodos de la lógica. Barcelona. Ariel.1980 - Nilsson, N. Problem-solving methods in Artificial Intelligence. New York.McGraw-Hill.1971.pp 156-186 |
| Continguts |
| 1. Lógica y recuperación de información. Lógica de primer orden con identidad y problemas intensionales. 2. Sistemas lógicos sin axiomas: reglas de formación y transformación de fórmulas. Sistemas lógicos axiomáticos. 3. Lenguaje natural y lenguaje formal. Sintaxis y semántica. Sintaxis y semántica formales. 4. Cálculo de inferencias en un sistema lógico. Deducción natural y deducción axiomática. 5. Problemas algorítmicos y no algorítmicos. Deducción algorítmica y deducción heurística. 6. Deducción automática. Obtención de inferencias en la lógica de enunciados mediante métodos algorítmicos. Método de resolución de Robinson. 7. Propiedades metalógicas de los sistemas lógicos: consistencia, completud, corrección, decidibilidad. 8. Problemas de ajuste entre la lógica (lógica de primer orden con identidad) y la recuperación de información. Lógica intensional y quiebra de importantes propiedades metalógicas. Indagaciones sobre una conexión computable entre los documentos hallados en una búsqueda y la expresión de búsqueda utilizada para hallarlos. |
| Objetius |
| Estudiar lógica elemental de primer orden para comprender las modificaciones necesarias que la lógica debe incorporar para servir de instrumento en la recuperación de información y en la investigación de los métodos de búsqueda. |
| URL de Fitxa |