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...

Record type:	stať ve sborníku (D)
Home Department:	Ústav pro výzkum a aplikace fuzzy modelování (94410)
Title:	Resolution Principle in Fuzzy Predicate Logic
Citace	Habiballa, H. Resolution Principle in Fuzzy Predicate Logic. In: In Acta facultatis paedagogicae universitatis tyrnaviensis (mathematics, physics, computer science). Trnava: Trnavská Univerzita, 2005. Trnavská Univerzita, 2005. s. 3-12. ISBN 80-8082-050-3.

Subtitle
Publication year:	2005
Obor:	Obecná matematika
Number of pages:	10
Page from:	3
Page to:	12
Form of publication:
ISBN code:	80-8082-050-3
ISSN code:
Proceedings title:	In Acta facultatis paedagogicae universitatis tyrnaviensis (mathematics, physics, computer science)
Proceedings:
Publisher name:	Trnavská Univerzita
Place of publishing:	Trnava
Country of Publication:	Sborník vydaný v zahraničí
Název konference:
Místo konání konference:
Datum zahájení konference:
Typ akce podle státní příslušnosti účastníků:	Celostátní akce
WoS code:
EID:

Key words in English:	Fuzzy inference systems, Non-classical logics, Automated theorem proving, Non-clausal resolution, General resolution, Unification
Annotation in original language:	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.
Annotation in english language:	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.

References

Reference

R01:	RIV/61988987:17610/05:00000013

Complementary Content

${loading}