Sökning: "Michael Reinfrank"
Hittade 1 avhandling innehållade orden Michael Reinfrank.
1. Fundamentals and logical foundations of truth maintenance
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
Resultatsidor:
1