Informacje o projekcie:
Tytuł projektu: Logiki dla wnioskowań jakościowych
Kierownik projektu: Joanna Golińska-Pilarek
Finansowanie: Narodowe Centrum Nauki
Typ projektu: MAESTRO 1
Czas trwania: 2012–2017
Instytucja realizująca: Uniwersytet Warszawski, Instytut Filozofii
Strona internetowa projektu: www.logicsforqr.uw.edu.pl
Tematyka projektu:
Problem reprezentacji wiedzy i związanych z tym metod wnioskowań uznawany jest za jedno z największych wyzwań projektu Artificial Intelligence. Wnioskowania jakościowe (Qualitative Reasoning, QR) to nowatorski, intensywnie rozwijany na świecie nurt w dziedzinie sztucznej inteligencji będący alternatywą dla tradycyjnych metod stosowanych w reprezentacji wiedzy. Dziedzina Qualitative Reasoning narodziła się trzydzieści lat temu jako dział AI, którego podstawowym celem było badanie metod reprezentacji i technik wnioskowania o ciągłych własnościach obiektów i systemów przy użyciu środków symbolicznych, ale oddających istotę inteligentnych zachowań ludzkich i symulujących te funkcje umysłu, które nie poddają się prostej numerycznej algorytmizacji. Głównym celem badań w ramach QR jest więc poszukiwanie metod jakościowej reprezentacji danych i badanie reguł rządzących wnioskowaniami jakościowymi. Metody wypracowane w ramach badań nad wnioskowaniami jakościowymi znajdują zastosowanie w modelowaniu problemów sztucznej inteligencji, technologiach informacyjnych i dyscyplinach inżynieryjnych. Wskazuje się, że metody te mogą być również wykorzystane w takich dziedzinach jak: semantyka i przetwarzanie języka naturalnego, lingwistyka, ekonomia, systemy decyzyjne, ekologia, bioinformatyka, robotyka, nauczanie z wykorzystaniem sieci komputerowych i internetu.
Główne grupy tematyczne projektu to: logiki dla wnioskowań jakościowych, ich filozoficzne interpretacje i teoriomodelowe własności, procedury decyzyjne, implementacje i potencjalne zastosowania. W pierwszym etapie projektu badania będą koncentrowały się na systematycznym badaniu i rozwijaniu logik znanych z literatury, takich jak: logiki dla jakościowych wnioskowań o czasie i przestrzeni, logiki dla wnioskowań z dokładnością do rzędu wielkości, logiki dla wnioskowań o dynamicznych własnościach systemów.
Dodatkowe informacje o projekcie można uzyskać u kierownika projektu Joanny Golińskiej-Pilarek (j.golinska@uw.edu.pl).