KRaKEn - Reprezentacja Wiedzy i Inżynieria Wiedzy

Powrót do listy Profil BaDAP
Opis
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.
Laboratoria:
Laboratorium Sztucznej Inteligencji (C2 316)
Laboratorium Interakcji Człowiek-Komputer (C2 220)
Współpraca:
Uniwersytet Jagielloński
Politechnika Krakowska
Uniwersytet w St. Gallen
Politechnika Poznańska
Universite de Paris Cite
Uniwersytet w Kalabrii
Uniwersytet Gdański

Kontakt

KRaKEn
30-059 Kraków, al. Mickiewicza 30/Czarnowiejska, C-2, III piętro, p. 318, 319, 322
12 617 28 49

Jednostka prowadząca

Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej - Katedra Informatyki Stosowanej

Lider zespołu

Ligęza Antoni

Zespół

  • Bielecki Radosław
  • Wiśniewski Piotr
  • Jarosławski Mikołaj
  • Adrian Marek
  • Adrian Weronika Teresa
  • Jobczyk Krystian
  • Ślażyński Mateusz
  • Kluza Krzysztof
  • Stachura-Terlecka Bernadetta
  • Jemioło Paweł
  • Sepioło Dominik
  • Skrzyński Jakub
  • Gacek Paulina
  • Gacek Paulina
  • Skorupka Kamila

Obszary badawcze IDUB

  • Rozwiązania techniczne: od badań podstawowych, przez modelowanie i projektowanie, aż do prototypów. Zastosowania narzędzi matematyki, informatyki i elektroniki w problemach skali makro, mikro i nano
  • Inteligentne techniki informacyjne, telekomunikacyjne, komputerowe i sterowania

Słowa kluczowe

reprezentacja wiedzy i wnioskowaniesztuczna inteligencjainżynieria wiedzyinformatyka afektywnarozpoznawanie emocjireprezentacja wiedzy oparta na grafachgrafy wiedzytechnologie semantycznelogiczne i matematyczne podstawy sztucznej inteligencjimodelowanie procesów biznesowych przy użyciu standardów BPMN i DMNeksploracja procesówBPMNDMNsystemy regułoweprogramowanie oparte na ograniczeniach i logicewyjaśnialna sztuczna inteligencjaprzezroczysta, interpretowalna, godna zaufania, deklaratywna, AI typu „White-Box”interakcja człowiek-komputerprzeglądy systematycznemetanaukasystemy logiki wielowartościowej, modalnej i temporalnejlogika rozmyta i systemy rozmyterozmyta teoria kategoriiteoria gier