Seminarium Logiczne w IF UW – wykład dr. Michała Zawidzkiego (UŁ), 24.02.2016
Serdecznie zapraszamy do udziału w kolejnym spotkaniu Seminarium Logicznego. Spotkanie odbędzie się 24 lutego 2016 roku o godz. 18.30 w Instytucie Filozofii UW (ul. Krakowskie Przedmieście 3) w sali nr. 4. Tym razem naszym gościem będzie dr Michał Zawidzki (Uniwersytet Łódzki), który wygłosi wykład pt. ,,Jakościowa przestrzenna logika hybrydowa”.
ABSTRAKT WYSTĄPIENIA
Jakościowe rozumowania przestrzenne (Qualitative Spatial Reasoning – QSR) stanowią produkt powstały na przecięciu takich dyscyplin jak logika i sztuczna inteligencja. Głównym celem postawionym przed nimi jest odtwarzanie sposobu, w jaki ludzie rozumują o przestrzeni bez użycia wielkości wyrażonych liczbowo. W moim referacie zaprezentuję logikę hybrydową umożliwiającą wyrażanie jakościowych sądów dotyczących wzajemnego ułożenia obiektów w płaskiej, dwuwymiarowej przestrzeni, której centralny locus zajmuje podmiot (wypowiadający sądy). W odróżnieniu od wielu istniejących systemów dla jakościowego rozumowania przestrzennego – które zwięźle zarysuję w swoim referacie – wprowadzona przeze mnie jakościowa przestrzenna logika hybrydowa (Hybrid Logic for Qualitative Location – HLQL) umożliwia jednocześnie wyrażanie intuicyjnych pojęć kierunkowych, takich jak: na lewo, na prawo, przed, za itd. oraz terminów dotyczących odległości jak daleko, blisko. Ponadto, ponieważ HLQL jest zorientowana podmiotowo, jej modele stanowią odwzorowanie przestrzeni obserwowanej z punktu widzenia pierwszoosobowego obserwatora. Językiem HLQL jest standardowy multimodalny język hybrydowy, którego modalności odpowiadają wprowadzonym wyżej pojęciom jakościowym, wzbogacony o stałą nominalną s reprezentującą podmiot. Wprowadzam również standardową relacyjną semantykę dla HLQL: frejmem jest płaszczyzna lub jej skończony wycinek, ze współrzędnymi polowymi, podzielona na komórki o ustalonej „długości” oraz szerokości kątowej. Locus centralny (czyli koło o ustalonym promieniu oraz środku (0,0)) zajęty jest przez podmiot. W referacie przedstawię pełną i zgodną aksjomatykę dla logiki HLQL i zasygnalizuję problemy dotyczące ustalenia klasy złożoności, w której się ona znajduje.