Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

Publication details

Go back
Publication details
Main information
La incidencia filosófica de la programación lógica
2007
lmp:agora
Tratamos la incidencia de la IA sobre el campo de la filosofía de la lógica. Para ello examinaremos las exigencias que desde la IA se le plantean a la lógica en los ámbitos de la representación del conocimiento y del estudio de las formas de razonamiento. Expondremos algunas de las contribuciones que ha aportado la IA desde el campo de la programación lógica (PL) a formas menos estáticas de lógica a fin de tratar con conocimiento dinámico, esto es, con información contradictoria e incompleta, hipótesis que se obtienen por abducción, argumentación, diagnóstico y depuración, actualización o aprendizaje. Durante este recorrido ahondaremos en las implicaciones que esto tiene para la filosofía del conocimiento. La intención es atraer los lectores con inclinaciones filosóficas a nuevos territorios recién establecidos en el área de la lógica, mostrando la investigación en curso en IA a través de la PL, ofreciendo una panorámica personal de este ámbito.
Journal
Luís Moniz Pereira
ÁGORA - Papeles de Filosofía
Universidad de Santiago de Compostela
ÁGORA, Facultade de Filosofía, Campus universitario sur, U. de Santiago de Compostela, 15782 Santiago de Compostela, España
26
1
153-185
-
0211-6642
English version in D. Gabbay et al. (eds.), Handbook of the Logic of Argument and Inference. Studies in Logic and Practical Reasoning series, vol I, pp 425-448. Elsevier Science, 2002.
http://centria.di.fct.unl.pt/~lmp/publications/online-papers/Incidencia_filosofica.pdf
Publication files
- click here to download - pdf 733 KB
Export formats
Luís Moniz Pereira, La incidencia filosófica de la programación lógica, ÁGORA - Papeles de Filosofía, Vol. 26, No. 1, Pag. 153-185, Universidad de Santiago de Compostela, ÁGORA, Facultade de Filosofía, Campus universitario sur, U. de Santiago de Compostela, 15782 Santiago de Compostela, España, ISSN 0211-6642, <i>English version in D. Gabbay et al. (eds.), Handbook of the Logic of Argument and Inference. Studies in Logic and Practical Reasoning series, vol I, pp 425-448. Elsevier Science, 2002.</i>, (http://centria.di.fct.unl.pt/~lmp/publications/online-papers/Incidencia_filosofica.pdf), 2007.
<b><a href="/people/members/view.php?code=6175f826202ff877fba2ad77784cb9cb" class="author">Luís Moniz Pereira</a></b>, <u>La incidencia filosófica de la programación lógica</u>, ÁGORA - Papeles de Filosofía, Vol. 26, No. 1, Pag. 153-185, <a href="http://www.usc.es/spubl/" title="Link to external entity..." target="_blank" class="publisher">Universidad de Santiago de Compostela</a>, ÁGORA, Facultade de Filosofía, Campus universitario sur, U. de Santiago de Compostela, 15782 Santiago de Compostela, España, ISSN 0211-6642, <i>English version in D. Gabbay et al. (eds.), Handbook of the Logic of Argument and Inference. Studies in Logic and Practical Reasoning series, vol I, pp 425-448. Elsevier Science, 2002.</i>, (<a href="http://centria.di.fct.unl.pt/~lmp/publications/online-papers/Incidencia_filosofica.pdf" target="_blank">url</a>), 2007.
@article {lmp:agora, author = {Lu\'{\i}s Moniz Pereira}, title = {La incidencia filos{\'o}fica de la programaci{\'o}n l{\'o}gica}, journal = {{\'A}GORA - Papeles de Filosof\'{\i}a}, publisher = {Universidad de Santiago de Compostela}, address = {{\'A}GORA, Facultade de Filosof\'{\i}a, Campus universitario sur, U. de Santiago de Compostela, 15782 Santiago de Compostela, Espa{\~n}a}, volume = {26}, number = {1}, pages = {153-185}, issn = {0211-6642}, note = {English version in D. Gabbay et al. (eds.), Handbook of the Logic of Argument and Inference. Studies in Logic and Practical Reasoning series, vol I, pp 425-448. Elsevier Science, 2002.}, url = {http://centria.di.fct.unl.pt/~lmp/publications/online-papers/Incidencia_filosofica.pdf}, abstract = {Tratamos la incidencia de la IA sobre el campo de la filosof\'{\i}a de la l{\'o}gica. Para ello examinaremos las exigencias que desde la IA se le plantean a la l{\'o}gica en los {\'a}mbitos de la representaci{\'o}n del conocimiento y del estudio de las formas de razonamiento. Expondremos algunas de las contribuciones que ha aportado la IA desde el campo de la programaci{\'o}n l{\'o}gica (PL) a formas menos est{\'a}ticas de l{\'o}gica a fin de tratar con conocimiento din{\'a}mico, esto es, con informaci{\'o}n contradictoria e incompleta, hip{\'o}tesis que se obtienen por abducci{\'o}n, argumentaci{\'o}n, diagn{\'o}stico y depuraci{\'o}n, actualizaci{\'o}n o aprendizaje. Durante este recorrido ahondaremos en las implicaciones que esto tiene para la filosof\'{\i}a del conocimiento. La intenci{\'o}n es atraer los lectores con inclinaciones filos{\'o}ficas a nuevos territorios reci{\'e}n establecidos en el {\'a}rea de la l{\'o}gica, mostrando la investigaci{\'o}n en curso en IA a trav{\'e}s de la PL, ofreciendo una panor{\'a}mica personal de este {\'a}mbito.}, keywords = {AI, Logic Programming, Philosophy}, year = {2007}, }
Publication's urls
/publications/view.php?code=9912b7f2418a2ddce3bf9ba6c8ab9ceb
/publications/view.php?code=lmp:agora
Go back
Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Fundacao_FCT