Ligęza Antoni, prof. dr hab. inż.

Lider: Ligęza Antoni

Jesteśmy zespołem badawczym pracującym w obszarze sztucznej inteligencji (AI), którego głównym obszarem zainteresowań jest Reprezentacja wiedzy i Inżynieria wiedzy (w skrócie KRaKEn, który staje się nazwą naszej grupy). Nasze działania obejmują rozwój teorii, narzędzi i aplikacji skoncentrowanych w kilku gałęziach nowoczesnej AI: od jej matematycznych i logicznych podstaw, poprzez różne metody i narzędzia KR i KE (logika rozmyta, systemy oparte na wiedzy, logika i programowanie ograniczeń – szczególnie z Prologiem, rozumowaniem opartym na modelach, modelami probabilistycznymi, sieciami bayesowskimi, systemami opartymi na regułach, technologiami semantycznymi i innymi) aż po praktyczne zastosowania, w tym wariacje na temat grafów wiedzy, modelowanie i zarządzanie procesami biznesowymi, eXplainable AI i wiele innych. Nasza siedziba mieści się w Katedrze Informatyki Stosowanej, która jest częścią Wydziału Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej naszej Alma Mater – Akademii Górniczo-Hutniczej w Krakowie, Polska. Naszą pracę traktujemy zarówno jako profesjonalną usługę, jak i intelektualną przygodę i wyzwanie rozwiązywania nowych problemów; pozostając stale otwarci na nowe pomysły, projekty i współpracę, chętnie przyjmujemy propozycje współpracy i potencjalnych współpracowników. Na koniec, jako członkowie KRaKEn, kochamy nasze Magic City – KRaków.