1)daji se vsechny mozne logiky zredukovat na nejaky nejblizsi spolecny zaklad nebo z nejake zakladni- predikatova? ostatni vychazeji ale nejak ji prerustaji takze jsou vsechny nejakymi nadmnozinami nebo maji jen spolecny , nulovy..prunik?apod. te zakladni? ptam se jako laik tak mne berte prosim s rezervou
2) dokazal by mi nekdo vysvetlit matice maticovy pocet jednoduseji byt treba nepresne nebo prirovnanim podobenstvim k necemu co asi znam nez to cini wiki ?
1) To se řeší pro každou logiku zvlášť, nakolik je expresivní a jaký vztah má k jiným. Některé mají navíc různé sémantiky, třeba ta druhého řádu. Společnému průniku by nejblíže byla výroková. Nicméně v praxi (symbolická AI a obecně výpočetní logika) se používá v drtivé většině FOL (logika prvního řádu), protože s ní "umíme pracovat" a lze v ní vyjádřit různé modality (nejen tzv. pozitivní, tj. ty "klasické" z modální logiky, ale všechny vyskytující se v přirozeném jazyce) i default reasoning (tj. pravidla, která platí většinou, ale ne vždy). V automatickém dokazování tvrzení pro logiku druhého řádu (SOL) se zase využívá toho, že existují efektivní dokazovače pro FOL a platí, že něco je dokazatelné ve FOL iff (právě když) je to dokazatelné v SOL (rozdíl mezi nimi je jen na úrovni modelů, SOL není úplná). Čili suma sumarum, prakticky používané logiky se v podstatě vždy implementují v rámci FOL (i když notace může být kvůli pohodlnosti/čitelnosti vyššího řádu), ale teoreticky lze nadefinovat úplně šílenou logiku nekompatibilní se vším.
2) Stačí-li maticový počet bez derivací, tak článek o matici. Jinak asi ne, a když už, tak anglickou verzi.
1202 Odpovědí
435563 Zhlédnutí