| Centre |
| Facultat de Geografia i Història |
| Departament |
| Lògica i Filosofia de la Ciència |
| Professor responsable |
| G4074 - RAFAEL BENEYTO TORRES |
| Met. Docent |
| Classes magistrals dels temes del programa i classes pràctiques d'exercicis lògics que els estudiants signaran i entregaran al professor. Pot assolirse una atenció didàctica personalitzada si es combinen les classes amb les tutories. |
| Met. Avaluació |
| Examen que combinarà qüestions teòriques i qüestions tècniques de demostració lògica, tant heurística com algorítmica. Es tindran també en compte les qualificacions dels exercicis realitzats i corregits. |
| 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 i recuperació d'informació. Lògica de primer ordre amb identitat i problemes intensionals. 2. Sistemes lògics sense axiomes : regles de formació i transformació de fòrmules. Sistemes lògics axiomàtics. 3. Llenguatge natural i llenguatge formal. Sintaxi i semàntica formals. 4. Càlcul d'inferències en un sistema lògic. Deducció natural i deducció axiomàtica. 5. Problemes algorítmics i no algorítmics. Deducció algorítmica i deducció heurística. 6. Deducció automàtica. Obtenció d'inferències en la lògica d'enunciats mitjançant mètodes algorítmics. Mètode de resolució de Robinson. 7. Propietats metalògiques dels sistemes lògics: consistència, completud, correcció i decidibilitat. 8. Problemes d'ajust entre la lògica ( lògica de primer ordre amb identitat ) i la recupercació d'informació. Lògica intensional i pèrdua d'importants propietats metalògiques. Indagacions sobre una connexió computable entre els documents recuperats en una cerca d'informació i l'expressió de cerca emprada per trobarlos |
| Objetius |
| Estudiar lògica elemental de primer ordre per poder comprendre les modificacions necessaries que la lògica ha d'incorporar per poder servir d'instrument de la recuperació d'informació i en la investigació dels mètodes de cerca d'informació. |
| URL de Fitxa |