- News
- Subject and Goals
- Council and Annual Reports
- Contacts and Working Groups
- Lectures and Presentations
- Conferences and Seminars
- Publications
- Application Demos
- International Travels
- Visitors
- Past Events
- E-Synergy Login
SEARCH
MEMBERS OF RESEARCH CENTER
Research Centre
Data - Algorithms - Decision Making
Data - Algorithms - Decision Making
Established in 2005 under support of MŠMT ČR (project 1M0572)
Lectures and Presetations
Resolution-based Inference in Fuzzy Predicate Logic with Evaluated Syntax
Lecturer:
From:
Nov. 30 2006 10:00AM
To:
Nov. 30 2006 11:00AM
Place:
Ostrava
Description:
The article presents refutational resolution theorem proving system for
the Fuzzy Predicate Logic based on the general (non-clausal) resolution
rule. Additionally we present several inference strategies for efficient
theorem proving in fuzzy logic based on Detection of Consequent Formulas
algorithm. It is possible to combine it with the standard proof search
techniques like breadth-first search or linear search.
the Fuzzy Predicate Logic based on the general (non-clausal) resolution
rule. Additionally we present several inference strategies for efficient
theorem proving in fuzzy logic based on Detection of Consequent Formulas
algorithm. It is possible to combine it with the standard proof search
techniques like breadth-first search or linear search.
Contact person: