In questo libro del 1991 l'autore offre un'ampia panoramica delle diverse aree di ricerca nel ragionamento non monotono e presenta alcuni risultati e idee basate sulla sua ricerca. I principi guida sono: il chiarimento delle diverse attività di ricerca nel settore, che sono state talvolta intraprese indipendentemente l'una dall'altra, e la comprensione del fatto che queste attività di ricerca rappresentano spesso mezzi diversi per gli stessi fini, vale a dire solide basi teoriche e calcolo efficiente. Il libro inizia con una discussione dei vari tipi di ragionamento non monotono, delle loro applicazioni e delle loro logiche. Vengono inoltre descritte le tecniche di dimostrazione dei teoremi per queste logiche. Seguono poi capitoli che trattano delle formulazioni dell'ereditarietà non monotona e del ragionamento non monotono basato su regole non monotone. L'ultimo capitolo discute i risultati ottenuti sul campo alla luce del famoso esempio di tiro a Yale. Il libro sarà accolto con favore da ricercatori di informatica teorica e intelligenza artificiale. Lingua: Inglese