Tuesday, December 14, 2010
11:00am Meeting room 302 (Mountain View), level 3
Victor Pablos, Researcher, BABEL, UPM
Multivalued and Fuzzy Logic Programming
Abstract:
Vague or “fuzzy” concepts appear almost everywhere. The combination of fuzzy logic with logic programming opens the possibility of having automated reasoning on fuzzy information and, subsequently, a big potential for real life applications. The talk will present some of my research on fuzzy logic programming. Starting with fairly simple examples, I will present the syntax and semantics of fuzzy Horn clauses, some theoretical results and the generalised multi-adjoint framework. A description of our tool (RFuzzy) and some of its applications complete the talk.
This is joint work with Susana Munoz