Lucrarea apartine domeniului inteligentei artificiale, abordand si combinand teme din diferite subdomenii ale acesteia: modelarea rationamentului nemonoton, metode de demonstrarea automata, relatii si operatori de derivabilitate, complexitatea rationamentului nemonoton. Cartea se situeaza in directia studiului si construirii unor sisteme cu comportament rational, urmarind atat o cunoastere teoretica, cat si o aplicare practica a rationamentului obisnuit, cotidian, de tip implicit. Logica si modelarea rationamentului sunt de baza in inteligenta artificiala, acestea oferind cadrul de formalizare si studiu teoretic al diferitelor tipuri de rationament, precum si unelte de automatizare a procesului deductiv, foarte utile in subdomeniile aplicative (agenti inteligenti, procesarea limbajelor naturale, vederea artificiala, recunoasterea formelor, invatarea automata, teoria jocurilor).