Puentes de la lógica clásica a la no monotónica

Opiniones de los lectores

Actualmente no hay opiniones de lectores. La calificación se basa en 2 votos.

Título original:

Bridges from Classical to Nonmonotonic Logic

Contenido del libro:

Imaginemos un robot que intenta evaluar una situación difícil para encontrar una respuesta. Sus sensores reciben flujos de información a partir de los cuales intenta emitir juicios.

Si se basa únicamente en la deducción, no llegará muy lejos, por muy rápidos que sean sus motores de inferencia; porque incluso la información más masiva sigue siendo normalmente incompleta: hay cuestiones relevantes que no resuelve ni en un sentido ni en otro. El robot, o el agente humano en su caso, tiene que ir más allá de estos límites. Necesita ser "supraclásico", inferir más de lo que autoriza la lógica clásica.

Pero esas inferencias son intrínsecamente inciertas. También son no monótonas, en el sentido de que la adquisición de más información, aunque sea coherente con el acervo existente, puede llevarnos tanto a abondonar como a añadir conclusiones. La lógica no monotónica es el estudio de este tipo de razonamiento y ha sido objeto de intensa investigación durante más de dos décadas.

Pero para el recién llegado sigue siendo un asunto desconcertante, falto de unidad, con muchos sistemas que van en direcciones diferentes. El propósito de este libro es desvelar el misterio del tema, ofreciendo una visión de conjunto clara de lo que está ocurriendo. Hace que las ideas esenciales y los principales enfoques de la lógica no monotónica sean accesibles, y tengan sentido, para cualquiera que disponga de algunas herramientas básicas de matemáticas discretas y una formación mínima en lógica proposicional clásica.

Está escrito como un libro de texto, con explicaciones detalladas, ejemplos, comentarios, ejercicios y respuestas. Tanto los estudiantes como los profesores encontrarán en él una guía inestimable.