Celem rozprawy było opracowanie oraz weryfikacja rozwiązań umożliwiających przejście od informacji nieprecyzyjnej − rozumianej jako nieostrość, niepełność, zaszumienie lub kontekstowość − do postaci formalnie określonej i algorytmicznie przetwarzalnej. Przedstawiony cykl publikacji potwierdza, że dla różnych postaci nieprecyzyjności możliwe jest budowanie spójnych rozwiązań spełniających trzy warunki: (I) jawna formalizacja sposobu interpretacji informacji, (II) algorytmiczna realizacja formalizacji oraz (III) empiryczna weryfikacja jakości i kosztu. Weryfikację tezy przeprowadzono w czterech obszarach badawczych. W obszarze I przedstawiono wykonalność zapytań rozmytych w relacyjnych bazach danych poprzez formalizację semantyki stopniowej oraz transformację do standardowego SQL. W obszarze II ustalono, że niepełna specyfikacja procesu może zostać uzupełniona przez formalny opis usług, wnioskowanie i rekonstrukcję planu wykonania. W obszarze III zaprezentowano redukcję nieprecyzyjności wymagań projektowych przez formalizację komponentów i dedukcyjną syntezę struktury aplikacji. W obszarze IV potwierdzono użyteczność tego samego schematu dla innych nośników nieprecyzyjności, w tym sygnałów zewnętrznych, braków struktury tekstu i danych syntetycznych. Wyniki rozprawy potwierdzają tezę o skutecznym i obliczeniowo wykonalnym przetwarzaniu informacji nieprecyzyjnej w systemach informatycznych.
The aim of this dissertation was to develop and validate solutions enabling the transformation of imprecise information − understood as vagueness, incompleteness, noise, or contextual dependence − into a form that is formally defined and amenable to algorithmic processing. The presented body of publications confirms that, for different forms of imprecision, it is possible to construct coherent solutions satisfying three conditions: (I) an explicit formalization of the method of information interpretation, (II) an algorithmic realization of this formalization, and (III) an empirical evaluation of quality and cost. The thesis was verified in four research areas. In Area I, the feasibility of fuzzy queries in relational databases was demonstrated through the formalization of graded semantics and their transformation into standard SQL. In Area II, it was established that an incomplete process specification can be complemented by means of formal service descriptions, reasoning, and reconstruction of the execution plan. In Area III, the reduction of imprecision in design requirements was presented through the formalization of components and the deductive synthesis of application structure. In Area IV, the usefulness of the same framework was confirmed for other carriers of imprecision, including external signals, the lack of textual structure, and synthetic data. The results of the dissertation confirm the thesis that imprecise information can be processed effectively and with computational feasibility in computer systems.
