Filters
total: 2250
-
Catalog
- Publications 1748 available results
- Journals 43 available results
- Conferences 27 available results
- People 164 available results
- Inventions 7 available results
- Projects 25 available results
- Research Teams 6 available results
- e-Learning Courses 160 available results
- Events 8 available results
- Open Research Data 62 available results
displaying 1000 best results Help
Search results for: logika opisowa
-
Logika opisowa jako język modelowania oprogramowania
PublicationW referacie pokazano zastosowanie logiki opisowej do opisu wybranych ontologii pojawiajcych si w inynierii oprogramowania, wymagajcych wsparcia ze strony inynierii wiedzy. Omówione zagadnienia to: inynieria wymaga, opis architektury oprogramowania wysokiego poziomu, opis projektu systemu i ontologia kodu programu. Wskazano zastosowanie systemów wnioskujcych (ang. knowledge reasoner) do automatycznego odkrywania wiedzy w systemach...
-
Integracja heterogenicznych źródeł wiedzy z wykorzystaniem logiki opisowej
PublicationW rozprawie przedstawiono opracowane przez autora metody integracji wiedzy służące do konstrukcji systemu integracji wiedzy, który może być praktycznie stosowany we współczesnych systemach opartych na wiedzy. Do najważniejszych wyników rozprawy należą: zaproponowanie nowego modelu systemu integracji wiedzy, zdefiniowanie pojęcia źródła wiedzy i opracowanie sposobu jego tworzenia przez wzbogacenie warstwy danych o warstwę wiedzy...
-
Metody strukturalnej analizy ontologii opartych na logice opisowej
PublicationW rozprawie przedstawiono opracowaną przez autora metodę wewnętrznej reprezentacji ontologii opartych na logice opisowej: kartografię wiedzy. Metoda ta służy przede wszystkim zwiększeniu efektywności wnioskowania dla baz wiedzy zawierających dużą liczbę asercji. W pracy przedstawiono formalizm opracowanej metody oraz towarzyszące jej algorytmy. Kartografię wiedzy wykorzystano w ramach projektu PIPS (6. Program Ramowy UE), a testy...
-
Metody opisu ontologii: Wnioskowanie w ontologiach opartych na logice opisowej
PublicationLogika opisowa jest aktualnie jednym z najsilniej rozwijanych formalizmów stosowanych w ontologicznych metodach reprezentacji wiedzy. Jednym z powodów jest to, że język OWL-DL, promowany prze W3C jako język do reprezentacji ontologii Semantycznego Internetu, oparty jest właśnie na logice opisowej. W tym artukule zaprezentowano logikę opisową jako sposób precyzyjnego formułowania i przetwarzania wiedzy. Podano definicję bazy wiedzy...
-
Zastosowanie relacyjnych baz danych i logiki opisowej w systemach integracji danych.
PublicationArtykuł przedstawia najbardziej popularne rozwiązania problemu integracji danych: podejście standardowe, podejście rozszerzone o wiedzę dziedzinową oraz podejście hybrydowe. Opisane zostały wady i zalety poszczególnych rozwiązań oraz istniejące na rynku systemy integracji danych, wraz z analizą ich użyteczności w rzeczywistych warunkach biznesowych. Celem artykułu jest analiza tych rozwiązań pod kątem ich wykorzystania do zapisu...
-
Przetwarzanie zapytań w rozproszonej bazie wiedzyopartej na logice opisowej
PublicationRozdział prezentuje podstawy algorytmu Spider przetwarzania zapytań asercjonalnych (typu ABox) w rozproszonej bazie wiedzy opartej na logice opisowej. Algorytm Spider może być stosowany w celu integracji wiedzy z różnych źródeł. W rozdziale pokrótce przedstawiono zasadę kartograficznej reprezentacji wiedzy, sposób odwzorowywania terminologii różnych źródeł oraz oszacowano złożoność obliczeniową przedstawianego algorytmu.
-
Przetwarzanie zapytań do terminologii ontologiiniepewnych opartych na logice opisowej
PublicationSystemy informatyczne oparte na bazach wiedzy stają się coraz bardziej popularne. Znacząca ilość istniejących systemów do opisu wiedzy wykorzystuje ontologie. Budując ontologie, bardzo często zakłada się, że informacje w nich przechowywane są pewne. W niektórych jednak zastosowaniach takie założenie może nie być do końca prawdziwe. Niniejszy Rozdział wprowadza w tematykę ontologii niepewnych oraz prezentuje propozycje rozszerzenia...
-
Tworzenie map konceptów dla ontologii opartych na logice opisowej
PublicationW poprzednich pracach przedstawiono nową metodę reprezentacji wiedzy nazwaną metodą kartograficzną. Metoda ta pozwala na uchwycenie zależności pomiędzy pojęciami wyznaczonymi w ramach terminologii, jak również na stopniowe (w miarę zwiększania się naszej wiedzy) przyporządkowywanie indywidualnych obiektów tym pojęciom. Zależności te reprezentowane są w postaci tzw. mapy konceptów. Efektywność budowy mapy konceptów stanowi zagadnienie...
-
Ontologie jako metoda reprezentacji wiedzy
PublicationLogika opisowa (ang. Description Logic - DL) jest aktualnie jednym z najsilniej rozwijanych formalizmów stosowanych w ontologicznych metodach reprezentacji wiedzy. Jednym z powodów jest to, że język OWL-DL, promowany przez W3C jako język do reprezentacji ontologii internetowych, opary jest właśnie na logice opisowej. W tym artykule zaprezentowano logikę opisową jako sposób precyzyjnego formułowania i przetwarzania wiedzy. Podano...
-
Problemy odwzorowywania ontologii opartych na logice opisowej w schemat relacyjnej bazy danych.
PublicationArtkuł prezentuje ogólną koncepcję odwzorowywania ontologii opartych na logice opisowej na schemat relacyjnej bazy danych i dane zapisane zgodnie z tym schematem. przedstawia również istniejące podejścia wykorzystujące metody powiązań słabych i powiązań silnych. Prezentuje zalety i wady opisywanych metod, jak również pojawiające się w nich problemy i ograniczenia.
-
Logic and Logical Philosophy
Journals -
Processing and querying description logic ontologies using cartographic approach
PublicationLogika opisowa (ang. description logic) jest formalizem reprezentacji wiedzy, który w ostatnich latach uzyskał dużą popularność pomiędzy inżynierami wiedzy. Po krótkim wprowadzeniu do formalizmu logiki opisowej artykuł prezentuje system wnioskowania opracowany na Politechnice Gdańskiej w ramach projektu PIPS 6 Programu Ramowego UE. System wnioskujący jest oparty na nowatorskiej metodzie kartograficznej, której podstawy również...
-
Processing and querying description logic ontologies using cartographic approach
PublicationLogika opisowa jest formalizmem reprezentowania wiedzy, który ostatnio zyskuje na znaczeniu wśród inżynierów. Niniejszy rozdział, po krótkim wprowadzeniu do logiki opisowej, prezentuje silnik wnioskujący opracowany na Politechnice Gdańskiej. Silnik ten, o nazwie KaSeA, opiera się na oryginalnej idei kartografii wiedzy. Niniejszy rozdział pokazuje podstawy kartografii wiedzy, jej ograniczenia i potencjał rozwoju, a także porównuje...
-
Metody reprezentacji i przetwarzania wiedzy w warunkach niepewności w ontologiach opartych na logice opisowej
PublicationW rozprawie przeanalizowano różne istniejące podejścia do problemu zaufania do ontologii, a zwłaszcza te dotyczące wiarygodności źródeł i informacji w nich zawartych. Omówione rozwiązania stosują podejście numeryczne do problemu zaufania, które przysparza jednak mnóstwa problemów związanych z modelowaniem procesu przetwarzania zapytań, jak również z samą interpretacją uzyskanych wyników.W pracy zaprezentowano model systemu zarządzania...
-
Opisowy model detalicznych transakcji internetowych.
PublicationCel rozprawy stanowi zbudowanie opisowego modelu detalicznych transakcji internetowych, który mógłby w kolejnym etapie badań zostać sformalizowany i jako model wyjaśniający stać się bazą prognozowania odnośnie rynku detalicznego handlu internetowego. Temu celowi podporządkowano jej zakres, w ramach którego dokonano prezentacji historii i definicji pojęć związanych z internetem, omówiono rolę internetu w przedsiębiorczości, podsumowano...
-
Logika opracowania regionalnych programów rozwojowych
PublicationW monografii opracowano szereg metod przeznaczonych do badania układów społeczno-ekonomicznych. Metody te zostały ułożone w jedyny system, stanowiący tzw. programowanie celowe.
-
The knowledge cartography - a new approach to reasoning over description logics ontologies
PublicationArtykuł prezentuje nową metodę reprezentacji i przetwarzania wiedzy ontologicznej - Kartografię wiedzy. Ta metodapozwala na wnisokowanie z części terminologicznej i asercjonalnej ontologii. Artykuł opisuje metodę oraz jej podstawy teoretyczne. Kartografia wiedzy prechowuje i przetwarza w terminach sygnatur binarnych, które umożliwiają efektywne przetwarzanie ontologii zawierających dużą liczbę osobników. Kartografia wiedzy została...
-
Creating and application of maps of concepts for dl ontologies
PublicationW poprzednich pracach wprowadzono metodę reprezentacji wiedzy, zwaną Kartografią Wiedzy. Metoda ta pozwala na zapisanie, w formie tzw. map konceptów, zależności pomiędzy konceptami wyróżnionymi w terminologii, a następnie stopniowe (wraz ze wzrostem naszej wiedzy) przypisywanie indywidualnym obiektom tych konceptów. Efektywność budowy map konceptów jest kluczowym czynnikiem wpływającym na możliwość użycia metody. Niniejsza praca...
-
Ernst Cassirer, Logika nauk o kulturze
PublicationKsiążka stawia przed sobą cele systematyczno-genetyczne, próbując określić filozoficzne źródła możliwości najważniejszych problemów myśli – w tym wypadku genezy i możliwości legitymizacji innego typu refleksji niż matematyczno-przyrodnicza. Składa się z pięciu rozpraw, których głównym zadaniem jest odsłonięcie historycznych oraz teoretycznych źródeł możliwości nauk o kulturze i ukazanie naczelnej funkcji poznawczej („źródłowej...
-
Konsumpcja jako logika znaczeń a kształtowanie kultury komsumpcji
PublicationW artykule omówiono koncepcję ideologizacji konsumpcji Beudrillard'a to jest potraktowanie jej jako zjawiska w którym występują cztery porządki: - funkcjonalna logika wartości użytkowej,- ekonomiczna logika wartości wymiennej,- logika wymiany symbolicznej,- logika wartości.Omówione są problemy związane z możliwością kontynuacji etapu post modernistycznej róznorodności realizacji konsumpcjonizmu.
-
DESIGN LOGICAL LINGUISTIC MODELS TO CALCULATE NECESSITY IN TRUCKS DURING AGRICULTURAL CARGOES LOGISTICS USING FUZZY LOGIC
Publication: The study is aimed to develop the logic-linguistic models to design a number of rules for the correct calculation of the vehicles needed, taking into account the technical, technological, and weather and climate conditions of the harvesting and transport complex. The article has shown that the construction of the design of logic-linguistic models was not performed earlier to solve the problem of the agro-industrial production...
-
Problemy wnioskowania z ontologii Semantic Web
PublicationIdea Semantic Web (Semantycznego Internetu) opiera się m.in. na ogłaszaniu w Internecie ontologii stanowiących opis pewnego fragmentu rzeczywistości. Aby miało to sens, ontologie te muszą być sformułowane w jednym, powszechnie akceptowanym języku. Takim językiem jest OWL-DL, promowany i standaryzowany przez konsorcjum W3C. Jest to język opary na formalizmie logicznym zwanym logiką opisową. W tym artykule, po krótkim i nieformalnym...
-
Studia Logica
Journals -
Logica Universalis
Journals -
Automatyka odciążająca wykorzystująca elementy logiki rozmytej.
PublicationW referacie przedstawiono nowy algorytm automatyki odciążającej oparty na elementach logiki rozmytej. Zastosowanie układu Rozmytej Adaptacyjnej Automatyki Odciążającej (RAAO). Zaletą układu RAAO jest możliwość wyłączania dowolnej liczby grup odbiorów, objętych działaniem automatyki odciążającej, w dowolnej fazie procesu odciążania. Dzięki takiemu rozwiązaniu uzyskano znaczną poprawę zarówno skuteczności jak i jakości procesu odciążania....
-
Ontologie w systemach informatycznych
PublicationZakres monografii obejmuje wybór majważniejszych zagadnień inżynierii wiedzy opartej na podejściu ontologicznym. Omawiane są ramy Minsky'ego, sieci semantyczne, standardy RDF, OWL i SPARQL. Prezentowane są też podstawy teoretyczne nowoczesnych technologii semantycznych, w szczególności rozstrzygalny fragment logiki pierwszego rzędu zwany logiką opisową (ang. Description Logics, DL). Omawia sie algorytmy wnioskowania z ontologii...
-
Możliwości logiki metody kreowania przestrzeni jako definicja architektury
PublicationPolemika przedstawiająca rozumienie architektury jako procesu projektownia jako materialno-racjonalną metodę stawiającą architekta na równi z rzemieślnikiem.Przedstawiana -omawiana ''metoda pięciu struktur jest jedną z wielu praktycznych metod projektowania.
-
SENSITIVITY OF PUBLIC PLACES IN GDAŃSK OSOWA DISTRICT
PublicationThis paper summarises the results of the research carried out at the University of Ljubljana, Faculty of Architecture, Slovenia, during the PhD visiting period of the first author from the Gdansk University of Technology, Poland, in the framework of the PhD course "Sensitive urban places", leaded by the second author. Focusing to the specific problems of the Gdansk Osowa district in Poland, this research develops the idea of sensitivity...
-
Identyfikacja osób na podstawie cech twarzyz zastosowaniem logiki rozmytej
PublicationIstnieje wiele metod identyfikacji twarzyna podstawie zdjęcia, które pomimo swoich licznych zaletcharakteryzują się tym, że prawidłowa identyfikacja zależy odpodobnego w stosunku do zdjęcia znajdującego się w baziedanych oświetlenia, pozy czy miny identyfikowanej osoby.W artykule przedstawiono sposób na usuniecie ograniczeńistniejącego programu identyfikacyjnego Mug-Match Phantomas.Scharakteryzowano również założenia do metodypozwalającej...
-
Wykorzystanie algorytmu ewolucyjnego i logiki rozmytej do kierowania statkiem
PublicationRozwój technik komputerowych w ostatnich latach, wpłynął na zmiany w sposobie prowadzenia nawigacji na współczesnym statku floty handlowej. Dysponując doświadczeniami związanymi z zatonięciem promu ''Estonia'', pod pokładem którego życie utraciły 852 osoby (95 ciał odnaleziono, 757 uznano za zaginione) oraz innych jednostek morskich, opracowano Konwencję STCW-95 nakładającą na oficerów nawigacyjnych i personel pokładowy, obowiązek...
-
Zaangażowanie konsumenta w usługach w ujęciu logiki dominacji usługowej
PublicationW odniesieniu do opracowanego modelu koncepcyjnego integrującego teorie zaangażowania klienta (ang. CE) i logiki dominacji usług (ang. S-D logic) zrealizowano badanie ilościowe wśród konsumentów usług. Wyniki badania pozwoliły na weryfikację założeń teoretycznych i potwierdzenie słuszności zakładanych powiązań między zmiennymi modelu. Wykorzystując konfirmacyjną analizę czynnikową (ang. CFA), potwierdzono strukturę czynnikową badanej...
-
Osowa. Planistyczno-urbanistyczne opracowanie mikrostrategii przestrzenno-społecznej.
Publicationplanowania partycypacyjnego stosującego nową, uniwersalną metodę pracy -mentoring urbanistyczny, oraz nowe narzędzie planistyczne - mikrostrategię. Zastosowanie dla konkretnego obszaru - dzielnica Osowa - stanowi wsparcie dialogu społecznego na rzecz koordynacji i aktywizacji wysiłków społecznych i publicznych na rzecz poprawy jakości przestrzeni publicznej.
-
Możliwości zastosowania elementów logiki rozmytej do oceny ryzyka środowiskowego statków
PublicationW referacie przedstawiono możliwości adaptacji miękkich metod analizy systemowej do oceny ryzyka środowiskowego statków; zarówno na etapie ustalania danych niezawodnościowych, wyznaczania prawdopodobieństw zdarzeń niebezpiecznych dla środowiska oraz oceny skutków uwolnienia zanieczyszczeń ze statków.
-
Prognozowanie upadłości firm przy wykorzystaniu kursu dolara oraz logiki rozmytej
PublicationArtykuł ten dotyczy prognozowania upadłości spółek giełdowych w Polsce. Skupiono się w nim na rozważaniach nad możliwością wykorzystania, w procesie prognozowania upadłości, nie tylko wskaźników finansowych w modelu logiki rozmytej, ale również wybranych zmiennych makroekonomicznych Polski mających wpływ na sytuację finansową firm. W badaniach autor wykorzystał dane dotyczące 132 spółek akcyjnych notowanych na Warszawskiej Giełdzie...
-
Employing fuzzy logic to processing of loudness scaling test results
PublicationW procesie dopasowania współczesnych aparató słuchowych wymagana jest znajomość charakterystyki dynamiki słyszenia. Charaketrystyka dynamiki słyszenia wyznaczana jest na podstawie wyników testu skalowania głośności. Problem w tym, że wyniki testu skalowania głośności wyrażone są w skali kategorii oceny wrażenia głośności, natomiast aparaty słuchowe wymagają parametrów określonych na skali numerycznej. Logika rozmyta jest jedną...
-
Applying fuzzy logic to decisional DNA digital TV
PublicationWprowadzono wspomaganie oparte na logice rozmytej do modelu telewizji wykorzystujacej decyzyjny DNA.
-
Logical Investigations
Journals -
Nietypowa podziemna konstrukcja oporowa w technologii DSM jako zabezpieczenie głębokiej wymiany gruntu
PublicationW artykule przedstawiono nietypowe rozwiązanie podparcia i zabezpieczenia głębokiej wymiany gruntu z zastosowaniem przestrzennej konstrukcji oporowej w technologii DSM, ze względu na ograniczenie miejsca oraz zapewnienie stateczności nasypu drogowego. Opisano również realizację rozwiązania oraz prowadzony monitoring geotechniczny.
-
Nietypowa podziemna konstrukcja oporowa w technologii DSM jako zabezpieczenie głębokiej wymiany gruntu
PublicationW artykule przedstawiono nietypowe rozwiązanie podparcia i zabezpieczenia głębokiej wymiany gruntu z zastosowaniem przestrzennej konstrukcji oporowej w technologii DSM, ze względu na ograniczenie miejsca oraz zapewnienie stateczności nasypu drogowego. Opisano również realizację rozwiązania oraz prowadzony monitoring geotechniczny.
-
Zastosowanie logiki rozmytej do wyboru wariantu obróbki w procesie korekcji wymiaru
PublicationCelem było stworzenie systemu wspomagającego sterowanie pracą elastycznego gniazda obróbkowego, opartego na modelu algorytmicznym i wykorzystującego zasady logiki rozmytej. Przeprowadzono badania wstępne z zakresu zużycia ostrza w procesie obróbki wiórowej oraz doboru parametrów procsu obróbki nagniataniem. Przedstawiono stanowisko badawcze i zastosowane oprogramowanie. Został zaproponowany model-schemat opisujący funkcjonowanie...
-
Podejmowanie decyzji eksploatacyjnych dotyczących siłowni okrętowych w oparciu o logikę rozmytą
PublicationW referacie przedstawiono propozycję zastosowania logiki rozmyte, jako narzędzia przydatnego do podejmowania decyzji eksploatacyjnych. Przedmiotem zainteresowania jest tutaj podjęcie decyzji o dokonaniu obsługi profilaktycznej urządzenia lub systemu siłownianego przed wyjściem statku w morze lub przesunięciu obsługi na termin późniejszy. Propozycja zastosowania logiki rozmytej odnosi się do takich urządzeń i systemów, dla których...
-
Występowanie bakterii siarkowych a jakość wód podziemnych ujęcia Osowa
PublicationAbstrakt. Microorganisms that live in groundwater should be considered not only from the sanitary-hygienic point of view but also in terms of adverse changes in groundwater chemistry in the aquifer layer and its negative influence on the installed devices. For these reasons, it is important to correct approach to the problem of bacterial contamination of groundwater. The paper presents selected results of physicochemical and bacteriological...
-
Implementacja reguł animacji w logice rozmytej
PublicationZaprojektowano system komputerowy wspomagający tworzenie animacji. System wykorzystuje reguły animacji wywodzące się z animacji tradycyjnej. Reguły opisują sposób uzyskiwania animacji postaci nacechowanych emocjonalnie. Na potrzeby badań zostały one sformułowane w logice rozmytej i zaimplementowane w języku programowania Python. Wykorzystując system wygenerowano animacje testowe, które poddano ocenie subiektywnej, w celu określenia...
-
Fuzzy logic and production planning.
PublicationReferat prezentuje efektywność logiki rozmytej w projektowaniu procesów produkcyjnych. Przedstawiono algorytm i przesłanki zastosowania logiki rozmytej opartej o informacje eksperckie.
-
Fuzzy logic in financial management
PublicationW rozdziale tym przedstawiono rozważania na temat możliwości prognozowania sytuacji finansowej gospodarstw domowych przy zastosowaniu logiki rozmytej. Autor zaproponował model składający się ze zmiennych wejściowych opartych na informacjach demograficznych i finansowych konsumentów - na przykład: wiek, wykształcenie, liczba dzieci, wynagrodzenie, stopień zabezpieczenia finansowego.
-
Diagnostyka uszkodzeń analogowych we wbudowanych systemach elektronicznych z wykorzystaniem interpretera logiki rozmytej
PublicationPrzedstawiono nowe podejście samo-testowania toru analogowego w systemie wbudowanym sterowanym mikrokontrolerem. Podejście to bazuje na metodzie detekcji i lokalizacji pojedynczych uszkodzeń parametrycznych i katastroficznych elementów pasywnych w układach analogowych. W etapie pomiarowym badany tor analogowy pobudzany jest okresowym przebiegiem prostokątnym generowanym przez mikrokontroler, a jego odpowiedź jest próbkowana przez...
-
Wykorzystanie logiki rozmytej do diagnostyki uszkodzeń części analogowych w elektronicznych systemach wbudowanych
PublicationW pracy przedstawiono nowe podejście zastosowania modelowania rozmytego do diagnostyki uszkodzeń części analogowej elektronicznych systemów wbudowanych mieszanych sygnałowo przy wykorzystaniu środków programowych i sprzętowych mikrokontrolera sterującego systemem. Zaprezentowano sposób tworzenia słownika uszkodzeń, najważniejsze parametry rozmytych modeli detekcji i lokalizacji uszkodzeń oraz opis działania programowego procesora...
-
System logiki rozmytej wspomagający tworzenie animacji komputerowych w oparciu o język Python
PublicationW celu tworzenia animacji komputerowych opartych o reguły wywodzące się z animacji tradycyjnej zaimplementowano system logiki rozmytej w języku Python, wykorzystujący słownikowy typ danych (tablice asocjacyjne). Zaprojektowane reguły łączą etykiety słowne, oznaczające zmienne lingwistyczne z etykietami nazw funkcji przynależności wykorzystującymi wartości lingwistyczne. W referacie przedstawiono fazy projektowania systemu, określania...
-
Assessment of the impact of a phosphatic fertilizer plant on the adjecent environment using fuzzy logic
PublicationZbadano wpływ zakładów nawozów fosforowych na otaczające środowisko. W próbkach trawy i gleby oraz produktów i produktu ubocznego oznaczono wybrane pierwiastki ziem rzadkich, metale ciężkie i metaloidy. Zbadano rozkład stężeń pierwiastków oznaczonych w próbkach gleby i trawy wzdłuż południowego i wschodniego kierunku, porównując ją ze stężeniami oznaczonymi w glebie i trawie z terenu zakładów oraz w substratach i produktach. Wyniki...
-
A Semantic Algebra for Modularized Description Logics Knowledge Bases
PublicationPublikacja wprowadza pojęcia modularyzacji ontologii opartej na tzw. modułach semantycznych (s-modułach) oraz algebry s-modułów. W pracy zawarto szereg twierdzeń opisujących właściwości algebry, jej związku z klasą algebr cylindrycznych oraz przedyskutowano możliwości zastosowania prezentowanych idei.