Już po raz czwarty artykuł dr hab. Krzysztofa Michalika, prof. UE znalazł się w książce prestiżowego wydawnictwa naukowego SPRINGER pt. Studies in Computational Intelligence. Jest to kolejne zaszczytne osiągnięcie profesora, a zarazem znacząca część dorobku naukowego naszej Uczelni.
Artykuł poświęcony jest ważnemu zagadnieniu opisu czasu za pomocą logiki temporalnej w systemach sztucznej inteligencji i formalnej weryfikacji poprawności baz wiedzy w odniesieniu do tej metody opisu rzeczywistości. Ponadto – w tym kontekście – artykuł omawia skrótowo, rozwijany od pewnego czasu system LOGOS autorstwa Krzysztofa Michalika. Ten system jest oparty m.in. na doświadczeniach z wcześniej opracowanych przez autora systemach zawartych w pakiecie sztucznej inteligencji SPHINX, w tym m.in. hybrydowego systemu ekspertowego PC-Shell.
Artykuł ukaże się pod tytułem: Verification of Temporal Knowledge Bases as an Important Aspect of Knowledge Management Process in Organization w serii wydawniczej: Studies in Computational Intelligence.
Autorem jest dr hab. Krzysztof Michalik, prof. UE, pracownik Katedry Inżynierii Wiedzy, Wydziału Informatyki i Komunikacji UE.
Współautorem jest dr hab. Maria Mach-Król, prof. UE z Katedry Informatyki Ekonomicznej Wydziału Ekonomii.
Serdecznie gratulujemy i życzymy dalszych sukcesów!
Dołącz do nas