The aim of this thesis is to specify a fuzzy rule-based language and parallel computational mechanism for fuzzy expert systems on the basis of the unit bilattice $[0,1] \times [0,1]$. The use of the bilattice provides us with a more expressive way to describe the truth value of a statement. Where an element of the billatice can be used to capture supporting and refuting knowledge respectively about the truth of a statement. This more expressive way of describing belief also introduces the possibility of capturing conflicting or deficient knowledge about the truth of a statement. In this thesis we analyze the impact of this problem on the expert systems of this class, investigate existing approaches to dealing with the problem and finally propose and incorporate an solution to our computational mechanism developed in this thesis.

Cieľom tejto prace je špecifikovať fuzzy pravidlový jazyk a paralelný výpočtový mechanizmus pre fuzzy expertné systémy na báze jednotkového dvojzväzu $[0,1] \times [0,1]$. Použitie dvojzväzu nám ponúka možnosť lepšie vyjadriť pravdivostnú hodnotu výroku. Nakoľko prvok dvojzväzu vie byť použitý na vyjadrenie znalosti o výroku pre a proti jeho pravdivosti. Takýto rozšírený spôsob vyjadrenia znalosti tiež prináša možnosť zachytiť konfliktné alebo nedostatočné znalosti. V tejto práci sme analyzovali dopad tohoto problému na expertný systém a navrhli prijateľné riešenie.