Logica Abductiva y Lógica Paraconsistente Computacional - here
Logica Abductiva y Lógica Paraconsistente Computacional - here
Logica Abductiva y Lógica Paraconsistente Computacional - here
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
90 CAPÍTULO 6. LÓGICA PARACONSISTENTE<br />
2. Sistemas Expertos: El desarrollo de un Sistema Experto requiere, habitualmente, conjuntar<br />
el conocimiento de diversos expertos y, si el número de ellos es alto, no es extraño que existan<br />
algunos expertos con opiniones contradictorias.<br />
3. Percepción en Robótica: Habitualmente, un robot es equipado con múltiples sensores para<br />
obtener información sobre un mismo aspecto, tales como sensores visuales, auditivos, táctiles<br />
etc. Es posible que estos sensores proporciones información contradictoria. Por ejemplo, si<br />
un robot avanza y se encuentra con un cristal, un sensor visual puede indicar que no hay<br />
obstáculo (por lo tanto, que el robot puede avanzar), mientras que un sensor de tipo auditivo<br />
(radar/sonar) detecta el obstáculo (por lo que indica que el robot no puede avanzar). Ante<br />
esta situación, es preciso dotar al robot de la capacidad de tomar una decisión adecuada y,<br />
para ello, la lógica paraconsistente es una útil herramienta.<br />
4. Planificación: En un sistema multiagente, un agente puede encontrar información contradictoria<br />
debido a la interacción con otros agentes. Así, por ejemplo, después de haber planificado<br />
una serie de acciones, el agente se dispone a coger un bloque que espera que esté en una<br />
determinada posición, pero puede que otro agente lo haya movido a otra y, en consecuencia,<br />
se encontrará con información contradictoria con sus hipótesis de partida.<br />
5. Control de tráfico: Se han desarrollado sistemas software de control y seguridad de tráfico<br />
aéreo, de ferrocarril y de automóviles. Este se ha llevado a cabo utilizando un programa<br />
llamado EVALPSN (y versiones posteriores).<br />
6. Epistemología: En el estudio del conocimiento, al analizar las circunstancias que llevan a<br />
su obtención y los criterios de validación, es necesario tener en cuenta la posibilidad de que<br />
exista información inconsistente.<br />
7. Ingeniería del software: Para tratar las inconsistencias entre la documentación, casos de<br />
uso y el código en sistemas software complejos.