Search
Filters
total: 9975
displaying 1000 best results Help
Search results for: RULE BASED REASONING
-
Automated Reasoning Based User Interface
PublicationMotivation: The ability to directly trace how requirements are implemented in a software system is crucial in domains that require a high level of trust (e.g. medicine, law, crisis management). This paper describes an approach that allows a high level of traceability to be achieved with model-driven engineering supported by automated reasoning. The paper gives an introduction to the novel, automated user interface synthesis in...
-
International Journal of Reasoning-based Intelligent Systems
Journals -
Evaluation of Readiness of IT Organizations to Agile Transformation Based on Case-Based Reasoning
PublicationNowadays many of IT organization decides to change the way of delivering from classic, waterfall approach to agile. This transition is called “agile transformation” (AT). The problem of this process is that part of companies started AT without any analysis. This causes that many of transitions fails and organizations must return to old methods of delivering. Cost of return is significant and number of projects with violated project...
-
Smart Cities System Design Method Based on Case Based Reasoning
PublicationThe objective of this paper is to present the results of research carried out to develop a design method for Smart Cities systems. The method is based on the analysis of design cases of Smart Cities systems in cities, the selection of the city appropriate to the requirements for implementation and application. The Case Based Reasoning method was used to develop the proposed design methodology, along with mechanisms of the conversion...
-
Discovering Rule-Based Learning Systems for the Purpose of Music Analysis
PublicationMusic analysis and processing aims at understanding information retrieved from music (Music Information Retrieval). For the purpose of music data mining, machine learning (ML) methods or statistical approach are employed. Their primary task is recognition of musical instrument sounds, music genre or emotion contained in music, identification of audio, assessment of audio content, etc. In terms of computational approach, music databases...
-
Smart Karyotyping Image Selection Based on Commonsense Knowledge Reasoning
PublicationKaryotyping requires chromosome instances to be segmented and classified from the metaphase images. One of the difficulties in chromosome segmentation is that the chromosomes are randomly positioned in the image, and there is a great chance for chromosomes to be touched or overlap with others. It is always much easier for operators and automatic programs to tackle images without overlapping chromosomes than ones with largely overlapped...
-
Generative Process Planning with Reasoning based on Geometrical Product Specification
PublicationThe focus of this paper is on computer aided process planning for parts manufacture in systems of definite process capabilities, involving the use of multi-axis machining centers for parts shaping and grinding machines for finishing. It presents in particular a decision making scheme for setup determination as a part of generative process planning. The planning procedurę consists of two stages. The first stage is associated with...
-
Generative Process Planning with Reasoning Based on Geometrical Product Specification
Publication -
On application of the Case-Based Reasoning methods in ship automation design
PublicationW artykule przedstawiono metodę wnioskowania na podstawie przypadków oraz dwa przykłady jej zastosowania w projektowaniu statków. Pierwszy przykład dotyczy systemu projektowania koncepcyjnego statku. Drugi przykład odnosi się do projektowania układów automatyki okrętowej. Omówiono szczegółowo problemy doboru funkcji podobieństwa w metodzie wnioskowania na podstawie przypadków.
-
Using Rule-Based System for Monitoring Marine Navigation Data Processing
PublicationProcessing marine navigational data requires sophisticated software solutions. Typically, specialized tools called processors are analyzing raw data from different sensors. It becomes important to create the monitoring software that is able to validate and verify processing components integrated into the final system. Drools®business rule management platform provides a core business rules engine, web authoring and rules management...
-
Rule-Based Model for Selecting Integration Technologies for Smart Cities Systems
PublicationThe aim of this article is to present the stages of development for an information technology integration model for the design of systems for smart cities. The Introduction explains the need for integration technologies and presents a model for selecting integration technologies and the conditions for its use in designing smart cities systems. Then two verification stages of the presented model are discussed. In the first stage,...
-
Fuzzy rule-based dynamic gesture recognition employing camera & multimedia projector
PublicationIn the paper the system based on camera and multimedia projector enabling a user to control computer applications by dynamic hand gestures is presented. The main objective is to present the gesture recognition methodology which bases on representing hand movement trajectory by motion vectors analyzed using fuzzy rule-based inference. The approach was engineered in the system developed with J2SE and C++ / OpenCV technology. OpenCV...
-
Metoda projektowania systemów Smart Cities bazowana na Case Based Reasoning
PublicationCelem artykułu jest prezentacja wyników badań nad opracowaniem metody projektowania systemów Smart Cities. Metoda ta bazuje na analizie przypadków projektowania systemów Smart Cities w miastach, wybór odpowiedniego do wymagań zdecydowanego na wdrożenie ośrodka i jego zastosowanie. Do budowy proponowanej metody projektowania wykorzystano metodę Case Based Reasoning oraz mechanizmy konwersji procesów i ról projektowych do procesów...
-
Application of case based reasoning to hybrid expert system for electronic filter design
PublicationPrzedstawiono koncepcję i przykład praktycznej realizacji obiektowo zorientowanego hybrydowego systemu ekspertowego wykorzystującego rozumowanie sytuacyjne. System wykorzystuje algorytmy najbliższego sąsiada i sztuczne sieci neuronowe. System został przetestowany jako klasyfikator decyzyjny w projektowaniu filtrów elektronicznych. W budowie systemu został wykorzystany obiektowy system CLIPS, rozszerzony o wiele dodatkowych funkcji...
-
Monitoring Parkinson's disease patients employing biometric sensors and rule-based data processing
PublicationArtykuł prezentuje automatyczny system wykrywania pogorszenia zdrowia pacjentów z chorobą Parkinsona opracowany w ramach projektu PERFORM.The paper presents how rule-based processing can be applied to automatically evaluate the motor state of Parkinson's Disease patients. Automatic monitoring of patients by using biometric sensors can provide assessment of the Parkinson's Disease symptoms. All data on PD patients' state are compared...
-
The forecasts-based instrument rule and decision making. How closely interlinked? The case of Sweden
PublicationResearch background: The Central Bank of Sweden declared in years 1999–2006 the implementation of the Svensson’s concept of inflation forecast targeting (IFT). It means that the repo rate decision-making process depends on the inflation forecasts. The concept evolved from the strict IFT with the decision-making algorithm called ‘the rule of thumb’ to the flexible IFT. Purpose of the article: The aim of...
-
Ontology-Driven Rule-Based Model for an Extension of Information Technology Infrastructure Library Processes
PublicationThe aim of this study is to present the stages for building a development model to create information technology (IT) systems for IT service providers. In order to ensure the consistency of the model, a novel solution is proposed where the stages of the model's construction are controlled using ontologies dedicated to the ITIL standard. In this article, a description of models used to assess the provider organization, with particular...
-
Chromane helicity rule – scope and challenges based on an ECD study of various trolox derivatives
Publication -
The Rule-Based Model of Negentropy for Increasing the Energy Efficiency of the City’s Digital Transformation Processes into a Smart City
PublicationThe aim of the article is to build a rule-based model (RMFDN) for increasing the energy efficiency of Smart Cities’ digital transformation processes. The problem that arises during the implementation of digital transformation processes concerns the measures that should be assigned to estimate the duration of the digital transformation. Previous studies of digital transformation have been based on the analysis of design processes...
-
Hybrid design approach in education using a progressive rule-based digital design development. Sopot College experiences.
PublicationBudynek sam w sobie może być uznany za hybrydę inżynierii i Beaux-Arts. Obecnie istnieje wiele narzędzi, które mogą pomóc architektom w opracowaniu i optymalizowu ich innowacyjnych koncepcje. Artykuł opisuje projekt hybrydowego podejścia opartego na połączeniu tradycyjnej architekturze i Komputerowego projektowania na podstawie programu studiów w Sopocie College, Wydział Architektury. Artykuł bada dziedzinie współpracy i interakcji...
-
International Conference on Case-Based Reasoning
Conferences -
Rozmyty system wnioskowania do oszacowania maksymalnego naprężenia kontaktowego na powierzchni panewki endoprotezy stawu biodrowego w zależności od kąta Wiberga i masy ciała pacjenta = Fuzzy reasoning system for maximal contact stress estimation on acetabular surface in hip endoprosthesis based on Wiberg angle and weight of patient
PublicationPrzedstawiono możliwość wykorzystania systemu rozmytego, który wykorzystując rozumowanie przybliżone określa maksymalne naprężenie kontaktowe na powierzchni przenoszenia obciążeń panewki endoprotezy stawu biodrowego, biorąc pod uwagę kąt Wiberga oraz masę ciała pacjenta.
-
Krzysztof Goczyła prof. dr hab. inż.
PeopleKrzysztof Goczyła, full professor of Gdańsk University of Technology, computer scientist, a specialist in software engineering, knowledge engineering and databases. He graduated from the Faculty of Electronics Technical University of Gdansk in 1976 with a degree in electronic engineering, specializing in automation. Since then he has been working at Gdańsk University of Technology. In 1982 he obtained a doctorate in computer science...
-
Ontologie vs. reguły — porównanie metod reprezentacji wiedzy na przykładzie dziedziny zarządzania usługami informatycznymi
PublicationTekst stanowi krótki przegląd wybranych konstrukcji służących reprezentacji wiedzy w postaci ontologii opartych na logice opisowej i porównanie ich z odpowiednikami opartymi na zapisie regułowym. Z powodu ograniczonej liczby stron pokazano tylko elementy związane z reprezentacją konceptów, bez uwzględniania ról. Do zapisu ontologii wykorzystano formalizmy języka OWL, zaś reguły wyrażono w Prologu. Dla lepszego zilustrowania tych...
-
Porównawcza analiza kondycji finansowej polskich uczelni publicznych i niepublicznych
PublicationCelem artykułu jest dokonanie oceny oraz porównanie kondycji finansowej krajowych uczelni publicznych i niepublicznych. Wywód składa się z analizy literatury przedmiotu, dotyczącej warunków i sposobu funkcjonowania polskich uczelni publicznych i prywatnych. W części empirycznej artykułu użyta została analiza wskaźnikowa, stanowiąca jedną z najpopularniejszych metod analizy finansowej. Badaniu zostały poddane łącznie 23 wskaźniki...
-
Contextual approach to reasoning with rules
PublicationIn the paper we present a method of reasoning with Horn rules within a contextual framework. We show that by proper use of a structure of contexts we can obtain partial OWA compliance with no necessity of extending the syntax of underlying Description Logics.
-
Wybrane elementy logistycznej obsługi klienta
PublicationMarketing relacji zakłada wynegocjowaną obietnicę obsługi, która na rynku transportu miej-skiego oznacza pewność zrealizowania usługi przewozowej dla określonego pasażera, w danej relacji, danym środkiem transportu, po określonej cenie, w oczekiwanych warunkach przewozu i w założonym przez organizatora transportu zbiorowego czasie. Uniwersalność zasad obsługi klienta powoduje, że Zarząd Komunikacji Miejskiej w Gdyni od początku...
-
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...
-
Cognitum Ontorion: Knowledge Representation and Reasoning System
Publication“If knowledge can create problems, it is not through ignorance that we can solve them.” (Isaac Asimov). Nevertheless, at any point of human activity, knowledge (besides practice) is a key factor in understanding and solving any given problem. Nowadays, computer systems have the ability to support their users in an efficient and reliable way. In this paper we present and describe the functionality of the Cognitum Ontorion system....
-
Application of algorithms for reasoning from imperfect knowledge in it evaluation environment
PublicationThe paper describes concept of building multi-agent system dedicated for information technology evaluation or selection for IT enterprises management (IT_MAS). Authors present the model of Knowledge Processing Environment, which is one of main components of the solution. Either facts or rules will be based on IT specialists' experience. However, knowledge which is being acquisited from IT domain is mostly imperfect - uncertain...
-
Stream Reasoning to Improve Decision-Making in Cognitive Systems
PublicationABSTRACT Cognitive Vision Systems have gained a lot of interest from industry and academia recently, due to their potential to revolutionize human life as they are designed to work under complex scenes, adapting to a range of unforeseen situations, changing accordingly to new scenarios and exhibiting prospective behavior. The combination of these properties aims to mimic the human capabilities and create more intelligent and efficient...
-
Optimalization of TiO2 nanotube geometry using fuzzy reasoning approach
PublicationThe geometry of TiO2 nanotube layer on titanium, obtained by electrochemical anodization, has been determined by using fuzzy reasoning approach. A proposed method showed the possibility of nanotube array architecture optimization by choosing an appropriate anodization condition. A fuzzy logic controller (FLC) was utilized using Matlab Software.
-
System oceny efektywności użytkowania aparatów słuchowych
PublicationCelem rozprawy jest opracowanie metody oceny efektywności protezowania słuchu przy użyciu aparatów słuchowych, która pozwoli w łatwy sposób poddawać ocenie korzyść z użytkowania protez słuchowych w najbardziej typowych sytuacjach akustycznych. Przedstawiono genezę podjętych badań i na tej podstawie zaproponowano cele i tezy rozprawy doktorskiej. W pracy w pierwszej kolejności zawarto przegląd dotyczący rodzajów ubytku słuchu i...
-
KNOWLEDGE-BASED SYSTEMS
Journals -
Optimization of Self-Organized TiO2 Nanotube Geometry on Ti and Ti Alloys Using Fuzzy Logic Reasoning
PublicationThe geometry of self-organized TiO2 nanotubes, obtained by electrochemicalanodization, has been determined by using fuzzy reasoning approach. The efficiency of TiO2nanotubular layer in biomedical applications depends on geometry and available surface area ofnanotubes, which can be determined by their diameter and length. The structure of nanotubesdepends on processing parameters of electrochemical anodization, like applied potential,anodization...
-
Thinking & Reasoning
Journals -
Wyróżniki modelu biznesu przedsiębiorstwa inteligentnego
PublicationBurzliwa zmiana środowiska biznesowego wpływa na ludzi tak, że generują oczekiwania na wyroby i usługi zaspokajające ich dotychczasowe i nowe potrzeby w coraz większym stopniu. W ten sposób przed menedżerami powstają wciąż nowe, bardziej skomplikowane i wysublimowane wymagania. W takich uwarunkowaniach prowadzenia biznesu sukces osiąga to przedsiębiorstwo, które jest inteligentne. W takiej perspektywie celem badań było wyłonienie...
-
Reasoning about trust in IT infrastructures
PublicationW artykule zaprezentowano metodę pozwalającą na ilościowe określenie poziomu zaufania do systemu TI.
-
Cognitum Ontorion: Knowledge Representation and Reasoning System
PublicationAt any point of human activity, knowledge and expertise are a key factors in understanding and solving any given problem. In present days, computer systems have the ability to support their users in an efficient and reliable way in gathering and processing knowledge. In this chapter we show how to use Cognitum Ontorion system in this areas. In first section, we identify emerging issues focused on how to represent and inference...
-
Hague Journal on the Rule of Law
Journals -
Ochrona Przeciwkorozyjna Instalacji Przemysłowych i Risk Based Inspection (RBI)
e-Learning CoursesRisk Based Inspection
-
Comments on various extensions of the Riemann–Liouville fractional derivatives : About the Leibniz and chain rule properties
PublicationStarting from the Riemann–Liouville derivative, many authors have built their own notion of fractional derivative in order to avoid some classical difficulties like a non zero derivative for a constant function or a rather complicated analogue of the Leibniz relation. Discussing in full generality the existence of such operator over continuous functions, we derive some obstruction Lemma which can be used to prove the triviality...
-
The concept of rule model of the internet mortgage market
Publication..
-
Journal of Formalized Reasoning
Journals -
Logic, Argumentation and Reasoning
Journals -
JOURNAL OF AUTOMATED REASONING
Journals -
Grzegorz Boczkaj dr hab. inż.
People -
Concrete-domain reasoning techniques in knowledge cartography
PublicationWiele zjawisk w świecie rzeczywistym opisujemy korzystając z liczb i symboli. 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 przetwarzanie baz wiedzy zwierających dużą liczbę osobników. Niniejszy artykuł przedstawia rozszerzenie podejścia kartograficznego pozwalające na wnioskowanie z wartości symbolicznych,...
-
Reliability Based zoptimization 2023/24
e-Learning Courses -
Ontologically Aided Rule Model for the Implementation of ITIL Processes
PublicationThe implementation of ITIL processes in IT organizations can be seen as a set of interdependent projects. The sequence of the ITIL implementation relies on such parameters as scope, depth, the capability of processes and the maturity of the organization. These factors can form common patterns of ITIL implementation that might be expressed as rules. Also-to semantically reinforce such a model in its predictiveness and replicativeness-the...