Nonmonotonic Reasoning

I denne bog fra 1991 giver forfatteren et bredt overblik over forskellige forskningsområder inden for nonmonoton ræsonnement og præsenterer nogle resultater og ideer baseret på sin forskning. De ledende principper er: klarlæggelse af de forskellige forskningsaktiviteter på området, som undertiden er blevet gennemført uafhængigt af hinanden, og forståelse af, at disse forskningsaktiviteter ofte repræsenterer forskellige midler til samme formål, nemlig et solidt teoretisk grundlag og effektiv beregning. Bogen begynder med en diskussion af de forskellige typer af nonmonotont ræsonnement, deres anvendelser og deres logik. Sætningsbevisteknikker for disse logikker beskrives også. Derefter følger kapitler, der beskæftiger sig med formuleringer af ikke-monoton arv og ikke-monotont ræsonnement baseret på ikke-monotone regler. Det sidste kapitel diskuterer resultaterne i marken i lyset af det berømte Yale-skydeeksempel. Bogen vil blive hilst velkommen af forskere inden for teoretisk datalogi og kunstig intelligens. Sprog: Engelsk