Publ3 search

Z6_60GI02O0O8IDC0QEJUJ26TJDI4

Error:

Javascript is disabled in this browser. This page requires Javascript. Modify your browser's settings to allow Javascript to execute. See your browser's documentation for specific instructions.

Publikační činnost

Probíhá načítání, čekejte prosím...

Typ záznamu:	stať ve sborníku (D)
Domácí pracoviště:	Ústav pro výzkum a aplikace fuzzy modelování (94410)
Název:	Resolution Principle in Fuzzy Predicate Logic
Citace	Habiballa, H. Resolution Principle in Fuzzy Predicate Logic. In: Proc. of 5th International Conference Aplimat 2006. Bratislava: Slovenská Technická Univerzita, 2006. Slovenská Technická Univerzita, 2006. s. 525-534. ISBN 80-967305-4-1.

Podnázev
Rok vydání:	2006
Obor:	Obecná matematika
Počet stran:	10
Strana od:	525
Strana do:	534
Forma vydání:
Kód ISBN:	80-967305-4-1
Kód ISSN:
Název sborníku:	Proc. of 5th International Conference Aplimat 2006
Sborník:
Název nakladatele:	Slovenská Technická Univerzita
Místo vydání:	Bratislava
Stát vydání:	Sborník vydaný v zahraničí
Název konference:	Aplimat 2006
Místo konání konference:	Bratislava
Datum zahájení konference:
Typ akce podle státní příslušnosti účastníků akce:	Evropská akce
Kód UT WoS:
EID:

Klíčová slova anglicky:	Fuzzy inference systems, Non-classical logics, Automated theorem proving, Non-clausal resolution, General resolution, Unification
Popis v původním jazyce:	. The article presents refutational resolution theorem proving system for the Fuzzy Predicate Logic of First-Order (FPL) based on the general (non-clausal) resolution rule. There is also presented an unification algorithm handling existentiality without skolemization. Its idea follows from the general resolution with existentiality for the first-order logic. When the prover is constructed it provides the deductive system, where existing resolution strategies may be used with some limitations arising from specific properties of the FPL.
Popis v anglickém jazyce:	. The article presents refutational resolution theorem proving system for the Fuzzy Predicate Logic of First-Order (FPL) based on the general (non-clausal) resolution rule. There is also presented an unification algorithm handling existentiality without skolemization. Its idea follows from the general resolution with existentiality for the first-order logic. When the prover is constructed it provides the deductive system, where existing resolution strategies may be used with some limitations arising from specific properties of the FPL.

Seznam ohlasů

Ohlas

R01:	RIV/61988987:17610/06:00000107

Complementary Content

${loading}