999C1a:IAA900090703 - Výsledky hledání - Digitální repozitář

host :: přihlásit Digitální repozitář
		Hledej		Nový záznam		Nápověda		O repozitáři

Hlavní stránka > Výsledky hledání: 999C1a:IAA900090703

Hledej:

Tipy pro vyhledávaní :: Rozšířené hledání

Hledej ve sbírkách:

Seřadit podle:	Zobrazit výsledky:	Výstupní formát:

	Non-Equivalence of Some Implicational Deduction Theorems Chvalovský, Karel Plný tet: 0348224 - PDF Plný text: content.csg - PDF Úplný záznam
	Modeling Costs of Program Runs in Fuzzified Propositional Dynamic Logic Běhounek, Libor Plný tet: 0312144 - PDF Plný text: content.csg - PDF Úplný záznam
	Introspekce vágních znalostí ve fuzzy logice Běhounek, Libor V klasické epistemické logice je princip introspekce vágních znalostí vyloučen Poincarého paradoxem, implikujícím netranzitivitu relace nerozlišitelnosti. Článek ukazuje, jak lze princip introspekce vágních znalostí zachovat použitím T-tranzitivní relace nerozlišitelnosti ve fuzzy logice. Úplný záznam
	Dvě souvislosti mezi epistemickou a fuzzy logikou Běhounek, Libor Článek se zabývá dvěma možnostmi propojení epistemické a fuzzy logiky. Epistemická fuzzy logika jakožto druh modální fuzzy logiky popisuje usuzování agentů o vágních výrocích; v článku jsou naznačeny problémy takové syntézy související s neplatností axiomu K ve fuzzy kripkovských rámcích. Druhým směrem je založení epistemické logiky na fuzzy logice; v článku je naznačeno, jak chápání proveditelné znalosti jako fuzzy modality odstraňuje paradox logické vševědoucnosti agentů Úplný záznam

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.

Digitální repozitář :: :: :: ::
Powered by v1.1.2
Spravuje

Tato stránka je dostupná také v následujících jazycích:
Česky English