Vysvetľovací mechanizmus pre inferenciu v pravidlovom poznatkovom systéme : Diplomová práca - Ivanič, Ondrej (STU v Bratislave MTF UIAM, 2008)