Stáhnout prezentaci
Prezentace se nahrává, počkejte prosím
1
Admissible Inference Rules in LTK
Michal Košinár
2
Úvod do problematiky Modální logiky a jejich rozhodnutelnost
Přijatelné rozhodování v modálních logikách Užití Kripkeho sémantiky a rámců v důkazu o rozhodnutelnosti Důkaz Shrnutí
3
LTK Článek se zabývá „přijatelnými“ inferenčními pravidly v modální logice Lineární Logice Znalostí a Času (Linear Logic of Knowledge and Time -LTK) LTK je multimodální logika, popisující lineární čas a znalosti Článek prozkoumává efektivní vlastnosti konečného modelu pro LTK Hledání n-charakterizujícího modelu pro LTK
4
Kripkeho sémantika Cílem článku je důkaz, že modální logika LTK je „přijatelně“rozhodnutelná užitím Kripkeho sémantiky LTK rámců jako 3-modálních Kripeho rámců Nalezení vlastností konečného modelu pro LTK pro dokázání, že LTK je rozhodnutelná užirím vlastností Kripkeho modelu Užití Kripkeho rámců
5
Užití rámců pro důkaz rozhodnutelnosti
Konstruování spočetné n-charakterizující pro LTK Důkazní metody pro spočetnost a omezení na úrovni n viz článek Užití rámců pro definovatelnost světa (prvků množiny proměnných světů) a ... dlouhý důkaz o užití předchozích lemmat, důkazů a definic, abychom dokázali...
6
A co všechno z toho??? LTK (Logic of Time and Knowledge) je přijatelně rozhodnutelná....
7
Problémy se zpracováním
Studium modální logiky a Kripkeho „všeho“ Příliš dlouhé důkazy a důkazové metody
Podobné prezentace
© 2024 SlidePlayer.cz Inc.
All rights reserved.