Avancerad sökning

Hittade 1 avhandling som matchar ovanstående sökkriterier.

1. 1. Fundamentals and logical foundations of truth maintenance

   Författare :Michael Reinfrank; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : Despite their importance in AI problem solving, nonmonotonic truth maintenance systems (TMSs) still lack sufficiently well-understood logical foundations. In this thesis, I present a rigorous logical theory of TMSs. I pursue a two-step, bottom-up approach. First, I specify a direct, but implementation-independent, theory of truth maintenance. LÄS MER