Mosty od logiki klasycznej do niemonotonicznej

Opinie czytelników

Obecnie brak opinii czytelników. Ocena opiera się na 2 głosach.

Oryginalny tytuł:

Bridges from Classical to Nonmonotonic Logic

Zawartość książki:

Wyobraźmy sobie robota, który próbuje ocenić trudną sytuację i znaleźć sposób reakcji. Jego czujniki odbierają strumienie informacji, na podstawie których próbuje dokonać oceny.

Jeśli będzie polegał wyłącznie na dedukcji, nie zajdzie daleko, bez względu na to, jak szybkie są jego silniki wnioskowania; ponieważ nawet najbardziej masywne informacje są zazwyczaj niekompletne: istnieją istotne kwestie, których nie rozwiązuje w ten czy inny sposób. Robot, czy też człowiek, musi wyjść poza te ograniczenia. Musi przejść ponadklasycznie, wnioskując więcej niż jest to dozwolone przez samą logikę klasyczną.

Ale takie wnioskowanie jest z natury niepewne. Są one również niemonotoniczne, w tym sensie, że pozyskiwanie dalszych informacji, nawet jeśli są one zgodne z istniejącymi zasobami, może prowadzić nas do porzucenia, a także dodania wniosków. Logika niemonotoniczna jest badaniem takiego rozumowania i jest przedmiotem intensywnych badań od ponad dwóch dekad.

Ale dla nowicjusza jest to wciąż niepokojąca sprawa, pozbawiona jedności z wieloma systemami idącymi w różnych kierunkach. Celem tej książki jest usunięcie tajemnicy z tematu, dając jasny ogólny obraz tego, co się dzieje. Sprawia ona, że podstawowe idee i główne podejścia do logiki niemonotonicznej są dostępne i znaczące dla każdego, kto ma kilka podstawowych narzędzi matematyki dyskretnej i minimalne doświadczenie w klasycznej logice zdań.

Jest napisany jako podręcznik, ze szczegółowymi wyjaśnieniami, przykładami, komentarzami, ćwiczeniami i odpowiedziami. Zarówno studenci, jak i instruktorzy znajdą w niej nieoceniony przewodnik.