Fakulta matematiky, fyziky
a informatiky
Univerzity Komenského v Bratislave

Seminár z teoretickej informatiky - Dušan Guller (13.4.2018)

v piatok 13.4.2018 o 11:00 hod. v miestnosti M/213

09. 04. 2018 13.18 hod.
Od: Rastislav Královič

Prednášajúci:  Dušan Guller

Názov:  On Multi-step Fuzzy Inference in Goedel Logic

Termín:  13.4.2018, 11:00 hod., M/213

Recent years witness a prospective application potential of the fuzzy logic and inference approach to emerging technologies in the area of artificial, computational intelligence, and soft computing. Fuzzy rules and one-step fuzzy inference is widely exploited in fuzzy controllers since the seventies. From a viewpoint of artificial intelligence, such a kind of inference has a reactive behavior. In contrast to control purposes, one-step fuzzy inference is not sufficient for so-called fuzzy reasoning, where some kind of abstract inference is needed to reach a reasonable conclusion, which stipulates multiple inference steps.

In our talk, we will discuss the logical and computational foundations of multi-step fuzzy inference using the Mamdani-Assilian type of fuzzy rules by implementing such inference in Goedel logic with truth constants. We apply the results achieved in the development of a hyperresolution calculus for this logic. We pose three fundamental problems: reachability, stability, the existence of a k-cycle in multi-step fuzzy inference and reduce them to certain deduction and unsatisfiability problems. The corresponding unsatisfiability problems may be solved using hyperresolution.


web: http://kedrigern.dcs.fmph.uniba.sk/STI2 
rss: http://kedrigern.dcs.fmph.uniba.sk/STI2/rss.php