Filters
total: 2387
-
Catalog
- Publications 1767 available results
- Journals 43 available results
- Conferences 27 available results
- People 165 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 179 available results
displaying 1000 best results Help
Search results for: LOGIKA OPISOWA
-
Reasoning with Projection in Multimodular Description Logics Knowledge Bases
PublicationWe present an approach to reasoning with projection, i.e. reasoning in which it is possible to focus on a selected part of knowledge (by neglecting some non-interesting fragments). Projection is most useful for modular knowledge bases in which only parts of knowledge have to be exchanged or imported to other modules. In this paper we present an optimized method of reasoning over results of projection. The tests indicate that the...
-
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.
-
The cartographer algorithm for processing and querying description logics ontologies
PublicationLogika opisowa jest jednym z najbardziej popularnych formalizmów opisu wiedzy. Jej popularność jeszcze wzrosła kiedy pojawił się standard języka OWL. W artykule zaprezentowano nowy algorytm wnioskowania - algorytm kartograficzny - umożliwiający wnioskowanie niejawnie podanej wiedzy z terminologii (TBox) i opisu świata (ABox). Opisano sposób przetwarzania ontologii w terminach sygnatur binarnych i efektywny sposób odpytywania ontologii...
-
ALS Data Filtration with Fuzzy Logic
PublicationEkstrakcji DTM pozyskanego z użyciem ALS (Airborne Laser Scanning) z chmury punktów, jest złożonym zadaniem, które wymaga wielu algorytmów i procedur numerycznych. Jednym z pierwszych kroków jest filtracja danych. Istnieje wiele różnych metod filtrowania i algorytmów. W tym artykule autorzy proponują metodę filtracji w oparciu o logikę rozmytą. Prezentują podstawowe informacje dotyczące logiki rozmytej, projekt reguł rozmytych...
-
Fuzzy logic for control Peltier module
Publication -
Informal Logic
Journals -
Algebra and Logic
Journals -
Trends in Logic
Journals -
Błażej Kochański dr
PeopleBłażej Kochański is an assistant professor at the Department of Statistics and Econometrics at the Faculty of Management and Economics of Gdańsk University of Technology, banking risk expert. He worked for banks in Poland and Europe, as a risk specialist, planning and analysis manager, chief risk officer, supervisory board member and management consultant. He built numerous credit risk management models, successfully managed credit...
-
Metody opisu ontologii: Opis wiedzy niepewnej przy pomocy sieci Bayesowskich i logiki MEBN
PublicationArtykuł wprowadza czytelnika w problematykę przedstawiania wiedzy niepewnej w systemach eksperckich. Na przykładzie diagnostyki problemów komunikacyjnych w prostej sieci osiedlowej przedstawiona jest w artykule metodologia wnioskowania w sieciach bayesowskich. W jego dalszej części podano przykład prezentujący logikę MEBN jako sposób na wyrażenie w zwięzły sposób wiedzy probabilistycznej o całej klasie problemów o podobnych właściwościach...
-
Analiza przyczyn pożaru w Centrum Naprawy Felg w Gdańsk - Osowa
PublicationOpinia dotyczy przyczyn pożaru w magazynie budynku CNF w Gdańsk Osowa wskutek przeciązenia silnika wyciągu powietrza.
-
Fuzzy logic in controlling flexible manufacturing cell
PublicationIn the present work a controlling method based on fuzzy rule base is proposed. Practical approaches are developed and focused on real time problems related to flexible manufacturing cell. Techniques for design and implementation of fuzzy systems in the framework of control production and quality states are presented. Keywords: controlling, manufacturing system, fuzzy logic, turning, burnishingW artykule przedstawiono propozycję...
-
Journal of Applied Logics-IfCoLoG Journal of Logics and their Applications
Journals -
Ciepło spalania i wartość opałowa osadów ściekowych z oczyszczalni ścieków w Gdyni Dębogórzu oraz Swarzewie.
PublicationBadania laboratoryjne pozwoliły na określenie ciepła spalania oraz wartości opałowej osadów ściekowych. Określono także skład chemiczny badanych osadów i potwierdzono stosowalność wzorów empirycznych nastawionych na określanie ciepła spalania na podstawie składu chemicznego osadów.
-
Loggia Arquitectura & Restauracion
Journals -
A fuzzy logic model for forecasting exchange rates
PublicationThis article is devoted to the issue of forecasting exchange rates. The objective of the conducted research is to develop a predictive model with the use of an innovative methodology - fuzzy logic theory - and to evaluate its effectiveness in times of prosperity and during the financial crisis. The model is based on sets of rules written by the author in the form of IF-THEN, where expert knowledge is stored. This model is the result...
-
The Implementation of Fuzzy Logic in Forecasting Financial Ratios
PublicationThis paper is devoted to the issue of forecasting financial ratios. The objective of the conducted research is to develop a predictive model with the use of an innovative methodology, i.e., fuzzy logic theory, and to evaluate its effectiveness. Fuzzy logic has been widely used in machinery, robotics and industrial engineering. This paper introduces the use of fuzzy logic for the financial analysis of enterprises. While many current...
-
On Quadrotor Navigation Using Fuzzy Logic Regulators
Publication -
Wykorzystanie logiki zbiorów rozmytych w określaniu lokalizacji dodatkowych źródeł mocy biernej w systemie elektroenergetycznym
PublicationOkreślenie właściwej lokalizacji dodatkowych źródeł mocy biernej w systemie elektroenergetycznym stanowi ważne zagadnienie z punktu widzenia pracy systemu, jak i ekonomii. Dlatego też poszukuje się takich metod wspomagających analizę pracy i rozwoju systemu, które byłyby w stanie wskazywać najbardziej optymalne rozmieszczenie i parametry tych dodatkowych źródeł. W referacie skoncentrowano się na wykorzystaniu logiki rozmytej do...
-
Wykorzystanie logiki rozmytej do regulacji napięcia w systemie elektroenergetycznym z wybranymi odnawialnymi źródłami energii
PublicationW ostatnich latach w krajowym systemie elektroenergetycznym liczba i moc odnawialnych źródeł energii znacząco wzrosły. Źródła te można wykorzystać nie tylko do produkcji tzw. czystej energii elektrycznej, ale również do poprawy warunków napięciowych w tym systemie. W artykule przedstawiono koncepcję układu regulacji napięcia w systemie elektroenergetycznym z przyłączonymi w pewnym obszarze: farmą wiatrową, farmą fotowoltaiczną,...
-
Analiza nawierzchni w Dzielnicy Osowa stworzona w ramach "Quo Vadis, Osowo?"
PublicationMapa, która jest częścią mini-strategii rozwoju dzielnicy Gdańsk Osowa powstałej na podstawie warsztatów "Quo Vadis, Osowo?"
-
The Knowledge Cartography – A New Approach to Reasoning over Description Logics Ontologies
Publication -
Aproksymacja przebiegu trasy kolejowej na przykładzie krzywoliniowego odcinka połączenia Somonino-Gdańsk Osowa
PublicationW artykule zaprezentowano wyniki wyznaczenia współrzędnych przebiegu trasy kolejowej metodami aproksymacji wielomianowej i interpolacji krzywą kubiczną w oparciu o pomiary czasu rzeczywistego GPS zrealizowane z wykorzystanie polskiej aktywnej sieci geodezyjnej ASG-EUPOS. Rozważania teoretyczne poparte zostały praktycznym przykładem aplikacyjnym opartym o zrealizowane pomiary inwentaryzacyjne zmodernizowanego odcinka toru kolejowego...
-
Application of Reversible Logic in Synthesis of Traffic Control Systems
Publication -
Description logic based generator of data-centric applications
PublicationThe knowledge stored in Ontology Management Systems (OMS) that originally has the form of expressions, can be seen as a user application specification or as knowledge provided by an expert. The generator of applications discussed in this paper is defined as a program that automatically generates an application that meets a certain specification stored in OMS. It is shown that it is possible to build a user interface for data management...
-
Description Logic As A Common Software Engineering Artifacts Language
PublicationDescription logic is proposed as a powerful language able to support chosen software engineering process tasks like: requirements engineering, software architecture definition, software design and configuration management. To do this there is presented a correspondence between description logic and UML. Description logic based integrated software engineering process framework is proposed which owing to automatic knowledge inferring...
-
Description logic based generator of data-centric applications
PublicationThe knowledge stored in Ontology Management Systems (OMS) that originally has the form of expressions, can be seen as a user application specification or as knowledge provided by an expert. The generator of applications discussed in this paper is defined as a program that automatically generates an application that meets a certain specification stored in OMS. It is shown that it is possible to build a user interface for data management...
-
Fuzzy logic based sensorless control of induction motors.
PublicationW artykule przedstawiono układ sterowania bezczujnikowego silnikiem indukcyjnym wykorzystujący logikę rozmytą. W układzie wykorzystano metodę sterowania polowo zorientowanego. Prędkość kątowa estymowana jest za pomocą obserwatora i pomiarów mocy. Układ działa w szerokim zakresie prędkości. Zaprezentowano wyniki badań symulacyjnych.
-
Stabilisation and Steering of Quadrocopters Using Fuzzy Logic Regulators
Publication -
Optymalizacja poziomów napięć i rozpływów mocy biernej w systemie elektroenergetycznym z wykorzystaniem logiki rozmytej – referat konferencyjny
PublicationReferat prezentuje zagadnienia związane ze sterowaniem poziomami napięć w systemie elektroenergetycznym. Rozważana jest autorska metody optymalizacji rozpływu mocy biernej, prowadząca do poprawy warunków napięciowych w systemie elektroenergetycznym i ograniczenia strat mocy czynnej. Opracowana metoda optymalizacyjna bazuje na procedurze opartej o logikę rozmytą, wspomaganej algorytmem gradientowym. Metoda została zaimplementowana...
-
Zastosowanie regulatora o logice rozmytej do sterowania trójwymiarowym modelem suwnicy
PublicationW artykule zaprezentowano budowę układu automatycznej regulacji położenia ciężaru dla trójwymiarowego modelu suwnicy. Zaproponowany został układ bazujący na regulatorze opartym o logikę rozmytą. Obiektem sterowania jest trójwymiarowy model matematyczny suwnicy, którego parametry zostały obliczone na podstawie danych o istniejącej suwnicy przemysłowej. Poprawność doboru parametrów została zweryfikowana poprzez szereg eksperymentów....
-
Logical Interface for Soft Handover – an effective scheme of handovers in Proxy Mobile IPv6
PublicationMultimedia services are currently commonly available on mobile devices. Due to networks' convergence and migration to all-IP networks, mobility management at network layer is required. Moreover, nowadays it is popular to equip mobile devices with more than one wireless interface. Thus, soft handovers can be implemented, which means that an existing connection is removed after a new one is established. Usage of the Logical Interfaces...
-
Wnioskowanie z dziedzin konkretnych w podejściu kartograficznym
PublicationWiele zjawisk w świecie rzeczywistym opisujemy, korzystając z liczb i symboli. W logice opisowej służą do tego tzw. dziedziny konkretne, w których możemy wyróżniać zakresy wartości, posługując się predykatami wykorzystującymi predefiniowane funkcje i relacje. W ramach naszej pracy jako punkt wyjścia traktujemy podejście kartograficzne opracowane na potrzeby wnioskowania z ontologii opartych na logice opisowej i pozwalające na efektywne...
-
Bulletin of the Section of Logic
Journals -
Journal of Philosophical Logic
Journals -
Journal of Applied Logic
Journals -
Reports on Mathematical Logic
Journals -
Bulletin of Symbolic Logic
Journals -
Australasian Journal of Logic
Journals -
Journal of Logic and Analysis
Journals -
History and Philosophy of Logic
Journals -
Logic, Argumentation and Reasoning
Journals -
Journal of Mathematical Logic
Journals -
Review of Symbolic Logic
Journals -
JOURNAL OF LOGIC AND COMPUTATION
Journals -
MATHEMATICAL LOGIC QUARTERLY
Journals -
Journal of Symbolic Logic
Journals -
ARCHIVE FOR MATHEMATICAL LOGIC
Journals -
Zarządzanie wiedzą ontologiczną w środowisku semantycznego internetu
PublicationW rozdziale zaprezentowano wyniki grupy badawczej Knowledge Management Group at Gdańsk University of Technology (KMG@GUT) w zakresie nowych metod reprezentacji i przetwarzania wiedzy sformułowanej w formie ontologii. Metody te wpisują się w aktualne kierunki rozwojowe inicjatywy Semantic Web: wykorzystują do zapisu ontologii logikę opisową (a więc są zgodne ze standardem OWL-DL), biorą pod uwagę rozproszenie wiedzy pomiędzy różne...
-
Hearing aid fitting method based on fuzzy logic processing
PublicationWażnym etapem dopasowania współczesnych aparatów słuchowych jest wyznaczanie charakterystyki dynamiki słuchu. Charakterystyka ta wyznaczana jest na podstawie wyników testu skalowania głośności. Niestety wyniki te wyrażone są w skali kategorii głośności, natomiast aparaty słuchowe wymagają para-metrów numerycznych. Problem ten można rozwiązać za pomocą logiki rozmytej. W niniejszym referacie przedstawiono metodę przetwarzania rozmytego...