论文信息 - Fuzzy Predicate Logic Generalized Resolution Deductive System

Fuzzy Predicate Logic Generalized Resolution Deductive System

The article presents the implementation of the refutational resolution theorem proving system for Fuzzy Predicate Logic based on the general (non-clausal) resolution rule. The implementation called Fuzzy Predicate Logic Generalized Resolution Deductive System is intended for Fuzzy Logic with Evaluated Syntax and utilizes also originally developed proofsearch heuristics called Detection of Consequent Formulas. keywords: automated theorem proving, non-clausal resolution, general resolution, automated theorem proving, fuzzy logic.

Hashim Habiballa

[1] Petr Hájek,et al. Making fuzzy description logic more general , 2005, Fuzzy Sets Syst..

[2] H. Ganzinger,et al. A theory of resolution , 1997 .

[3] Harald Ganzinger,et al. Resolution Theorem Proving , 2001, Handbook of Automated Reasoning.

[4] Hashim Habiballa. Non-clausal Resolution Theorem Proving for Description Logic , 2007 .

[5] Petr Hájek,et al. Metamathematics of Fuzzy Logic , 1998, Trends in Logic.

[6] V. Novák,et al. Mathematical Principles of Fuzzy Logic , 1999 .

[7] Non-clausal Resolution Theorem Proving for Fuzzy Predicate Logic , 2005 .