Lógica e Inteligencia Artificial. Problemas del razonamiento retractable en Pollock

Abstract

En este trabajo veremos el estudio sobre el razonamiento retractable realizado por John L. Pollock. Pollock une IA y Filosofía para crear una teoría sobre un razonamiento dinámico que partiendo de entradas de percepción va desarrollando un conjunto de creencias que irán siendo retractadas, reforzadas o desechadas por la llegada de nuevas informaciones. Pollock elaborará una teoría de la garantía donde se mostrará como el razonamiento procediendo mediante el uso de argumentos, a través de reglas inferencia se llevan a cabo estos cambios donde las creencias seguirán siendo invictas o serán derrotadas. La teoría de Pollock es computacional, el le da importancia a que la teoría pueda ser implementada en agentes artificiales, por lo que, acabará creando un marco de representación del funcionamiento del razonamiento retractable llamado OSCAR donde se mostrará de forma gráfica como debe actuar un agente inteligente capaz de llevar a cabo un razonamiento retractable.

In this work we will see the study on defeasible reasoning carried out by John L. Pollock. Pollock links AI and Philosophy to create a theory about a dynamic reasoning that, starting from perception inputs, develops a set of beliefs that will be retracted, reinforced or discarded according to new information. Pollock will develop a theory of guarantee where it will be shown how reasoning proceeds through the use of arguments, through inference rules these changes are carried out where beliefs will remain undefeated or will be defeated. Pollock's theory is computational, he attaches importance to the fact that this theory can be implemented in artificial agents, so he will end up creating a representation framework for the operation of retractable reasoning called OSCAR, where it will be shown graphically how an intelligent agent should act in order to be able of defeasible reasoning.