Presná definícia
Čo znamená systém udržiavania pravdivosti?
Systém udržiavania pravdivosti (TMS) sleduje závislosti medzi predpokladmi, odvodenými tvrdeniami a konfliktmi, aby po pridaní či odobratí informácie aktualizoval konzistentnú množinu presvedčení. „Pravdivosť“ tu znamená oprávnenosť v aktuálnom modeli, nie objektívnu verifikáciu sveta.
Skúsenosť a kontext
Ako sa pojem používa v praxi
Diagnostika uchová pre každý záver justifikácie a po vyvrátení merania automaticky odvolá všetky závislé hypotézy. Konflikt označí minimálnu sadu predpokladov a požiada o revíziu. Audit vie spätne ukázať, prečo tvrdenie platilo v konkrétnej verzii stavu.
Overiteľnosť
Odborné zdroje
Praktické odpovede
Často kladené otázky
Ako funguje systém udržiavania pravdivosti?
TMS vedie graf justifikácií a štítky in/out a pri zmene propaguje status cez závislé uzly, kým obnoví konzistenciu.
Kedy má systém udržiavania pravdivosti praktický význam?
Diagnostika uchová pre každý záver justifikácie a po vyvrátení merania automaticky odvolá všetky závislé hypotézy.
S čím si pojem nezamieňať?
Belief revision stanovuje normy zmeny súboru presvedčení; TMS je operačná architektúra sledujúca dôvody a statusy.
Ako sa výsledok kontroluje?
Testuje sa odvolanie závislých záverov, detekcia konfliktu, minimálne nogoods, reprodukcia a ukončenie aktualizácie.
Na čo si dať pozor?
Zlá justifikácia nechá chybný záver aktívny alebo odvolá priveľa tvrdení a viac kontextov môže vyžadovať ATMS.