RAZONAMIENTO MONÓTONO

2.3 RAZONAMIENTO MONOTONO Un razonamiento se llama monótono cuando a lo largo del proceso el conjunto de «cosas sabidas» es siempre creciente. Pero en la realidad suele ocurrir que, a medida que avanza el proceso de inferencias, nuevas evidencias o acciones del mismo sistema anulan premisas o conclusiones anteriores, y para formalizar esto se necesita una lógica no monótona. Un proceso frecuente es el razonamiento por defecto: suponer que algo es verdadero (o falso) mientras no haya evidencia de lo contrario. El sistema que razona debe tener en cuenta que la aparición de esa evidencia puede tener un efecto retroactivo sobre las conclusiones obtenidas anteriormente, para lo que debe incluir un sistema de mantenimiento de la verdad . A veces se escriben las premisas pensando más en el proceso que en su semántica declarativa. Es necesario asegurarse de que el proceso será exactamente el que estamos pensando. Un ejemplo es la regla 5 , que puede parecer contradictoria («si no está endosado, entonces está endosado» ). Desde el punto de vista declarativo, veremos en que es lógicamente equivalente a decir «siempre está endosado». Pero naturalmente no estamos pensando así al enunciar la regla: suponemos que en el proceso puede darse la situación de que el cheque, aunque completo, no esté endosado; la regla dice que en tal caso se pedirá la firma (se supone que esta acción da siempre un resultado positivo) y el cheque pasará a estar endosado. Ahora bien, declarativamente (lógicamente), la regla es equivalente a la conjunción de estas dos: (5a) Si talón_cumplimentado y NO talón_endosado entonces pedir firma (5b) Si talón_cumplimentado entonces talón_endosado Y es evidente que el resultado es incorrecto si se aplica (5b) antes que (5a).

Upload
david-gonzalez
Category

Documents
view
2.735
download
0

Embed Size (px):

Transcript of RAZONAMIENTO MONÓTONO

5/7/2018 RAZONAMIENTO MONÓTONO - slidepdf.com

http://slidepdf.com/reader/full/razonamiento-monotono-559aba5ca1f13 1/2

2.3 RAZONAMIENTO MONOTONO

Un razonamiento se llama monótono cuando a lo largo del proceso el conjunto de

«cosas sabidas» es siempre creciente. Pero en la realidad suele ocurrir que, a

medida que avanza el proceso de inferencias, nuevas evidencias o acciones del

mismo sistema anulan premisas o conclusiones anteriores, y para formalizar estose necesita una lógica no monótona. Un proceso frecuente es el razonamiento por

defecto: suponer que algo es verdadero (o falso) mientras no haya evidencia de lo

contrario.

El sistema que razona debe tener en cuenta que la aparición de esa evidencia

puede tener un efecto retroactivo sobre las conclusiones obtenidas anteriormente,

para lo que debe incluir un sistema de mantenimiento de la verdad. A veces se

escriben las premisas pensando más en el proceso que en su semántica

declarativa. Es necesario asegurarse de que el proceso será exactamente el que

estamos pensando. Un ejemplo es la regla 5 , que puede parecer contradictoria(«si no está endosado, entonces está endosado» ).

Desde el punto de vista declarativo, veremos en que es lógicamente equivalente a

decir «siempre está endosado». Pero naturalmente no estamos pensando así al

enunciar la regla: suponemos que en el proceso puede darse la situación de que

el cheque, aunque completo, no esté endosado; la regla dice que en tal caso se