Search
Filters
total: 94
filtered: 81
-
Catalog
Chosen catalog filters
Search results for: KNOWLEDGE REASONING
-
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...
-
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....
-
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,...
-
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...
-
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...
-
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...
-
The Knowledge Cartography – A New Approach to Reasoning over Description Logics Ontologies
Publication -
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...
-
Toward Human Chromosome Knowledge Engine
PublicationHuman chromosomes carry genetic information about our life. Chromosome classification is crucial for karyotype analysis. Existing chromosome classification methods do not take into account reasoning, such as: analyzing the relationship between variables, modeling uncertainty, and performing causal reasoning. In this paper, we introduce a knowledge engine for reasoning-based human chromosome classification that stores knowledge...
-
Intelligent Knowledge-Base Model for IT Support Organization Evolution
PublicationThe goal of the paper is building the knowledge-based model for predicting the state of the IT support organization. These organizations, critical for development of various business sectors, are facing the problem of their transformation. It is the result of the fundamental change in the role of the IT organizations in the current economy. The complexity of the processes, the difficulty adjusting the operations and limited ability...
-
Adding Intelligence to Cars Using the Neural Knowledge DNA
PublicationIn this paper we propose a Neural Knowledge DNA based framework that is capable of learning from the car’s daily operation. The Neural Knowledge DNA is a novel knowledge representation and reasoning approach designed to support discovering, storing, reusing, improving, and sharing knowledge among machines and computing devices. We examine our framework for drivers' classification based on their driving behaviour. The experimental...
-
Application of Semantic Knowledge Management System in Selected Areas of Polish Public Administration
PublicationThis paper describes an application of semantic technologies and knowledge management systems in chosen areas of Polish public administration. Short analyses of crisis management and EU policy coordination processes are presented. An architecture of a knowledge management system with interfaces using controlled natural language is proposed. A lot of examples are shown that prove a usefulness of semantic knowledge management and...
-
Extending Expressiveness of Knowledge Description with Contextual Approach
PublicationIn the paper we show how imposing the contextual structure of a knowledge base can lead to extending its expressiveness without changing the underlying language. We show this using the example of Description Logics, which constitutes a base for a range of dialects for expressing knowledge in ontologies (including state-of-the-art OWL). While the contextual frameworks have been used in knowledge bases, they have been perceived as...
-
Smart Knowledge Engineering for Cognitive Systems: A Brief Overview
PublicationCognition in computer sciences refers to the ability of a system to learn at scale, reason with purpose, and naturally interact with humans and other smart systems, such as humans do. To enhance intelligence, as well as to introduce cognitive functions into machines, recent studies have brought humans into the loop, turning the system into a human–AI hybrid. To effectively integrate and manipulate hybrid knowledge, suitable technologies...
-
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...
-
Contextual Knowledge to Enhance Workplace Hazard Recognition and Interpretation in a Cognitive Vision Platform
PublicationThe combination of vision and sensor data together with the resulting necessity for formal representations builds a central component of an autonomous Cyber Physical System for detection and tracking of laborers in workplaces environments. This system must be adaptable and perceive the environment as automatically as possible, performing in a variety of plants and scenes without the necessity of recoding the application for each...
-
Knowledge engineer – more than only technical position. The concept of knowledge engineering education at the Faculty of Management and Economics
PublicationOrganizational learning means an effective knowledge management. Management is nothing more than the constant decision-making. Therefore organizational learning must be seen through the prism of decisions taken at all levels. Unfortunately decisions are never taken within comfortable conditions. Decision maker suffers from a lack of any support. There is often a problem with human resources having right skills, sometimes they do...
-
S-Modules - An Approach to Capture Semantics fo Modularized DL Knowledge Bases
PublicationModularity of ontologies has been recently recognized as a key requirement for collaborative ontology engineering and distributed ontology reuse. Partitioning of an ontology into modules naturally gives rise to development of module processing methods. In this paper we describe an algebra of ontology modules developed during our work on a Knowledge Base Management System called RKaSeA. The idea differs from other algebras in the...
-
Extended Reflexive Ontologies for the Generation of Clinical Recommendations
PublicationDecision recommendations are a set of alternative options for clinical decisions (e.g., diagnosis, prognosis, treatment selection, follow-up, and prevention) that are provided to decision makers by knowledge-based Clinical Decision Support Systems (k-CDSS) as aids. We propose to follow a ‘‘reasoning over domain’’ approach for the generation of decision recommendations by gathering and inferring conclusions from production rules....
-
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...
-
Hazard Control in Industrial Environments: A Knowledge-Vision-Based Approach
PublicationThis paper proposes the integration of image processing techniques (such as image segmentation, feature extraction and selection) and a knowledge representation approach in a framework for the development of an automatic system able to identify, in real time, unsafe activities in industrial environments. In this framework, the visual information (feature extraction) acquired from video-camera images and other context based gathered...
-
Decisional DNA based framework for representing Virtual Engineering Objects
PublicationIn this paper, we propose a frame-work to represent the Virtual Engineering Objects (VEO) utilizing Set of Knowledge Experience Structure (SOEKS) and Decisional DNA. A VEO will enable the discovery of new knowledge in a manufacturing unit and the generation of new rules that drive reasoning. The proposed VEO framework will not only be knowledge based representation but it will also have its associated experience embedded within...
-
Video Classification Technology in a Knowledge-Vision-Integration Platform for Personal Protective Equipment Detection: An Evaluation
PublicationThis work is part of an effort for the development of a Knowledge-Vision Integration Platform for Hazard Control (KVIP-HC) in industrial workplaces, adaptable to a wide range of industrial environments. This paper focuses on hazards resulted from the non-use of personal protective equipment (PPE), and examines a few supervised learning techniques to compose the proposed system for the purpose of recognition of three protective...
-
An Analysis of Contextual Aspects of Conceptualization: A Case Study and Prospects
PublicationIn this chapter we present a new approach to development of modularized knowledge bases. We argue that modularization should start from the very beginning of modeling, i.e. from the conceptualization stage. To make this feasible, we propose to exploit a context-oriented, semantic approach to modularization. This approach is based on the Structural Interpretation Model (SIM) presented earlier elsewhere. In the first part of thischapter...
-
Application possibilities of LBN for civil engineering issues
PublicationBayesian Networks (BN) are efficient to represent knowledge and for the reasoning in uncertainty. However the classic BN requires manual definition of the network structure by an expert, who also defines the values entered into the conditional probability tables. In practice, it can be time-consuming, hence the article proposes the use of Learning Bayesian Networks (LBN). The aim of the study is not only to present LBN, which can...
-
Mining Knowledge of Respiratory Rate Quantification and Abnormal Pattern Prediction
PublicationThe described application of granular computing is motivated because cardiovascular disease (CVD) remains a major killer globally. There is increasing evidence that abnormal respiratory patterns might contribute to the development and progression of CVD. Consequently, a method that would support a physician in respiratory pattern evaluation should be developed. Group decision-making, tri-way reasoning, and rough set–based analysis...
-
Metody wnioskowania kontekstowego z danych zapisanych w zewnętrznych źródłach
PublicationW poprzednich pracach autorów został przedstawiony system wnioskowania z danych zapisanych w zewnętrznych źródłach - KL (Knowledge Layer). Metody SED (Semantic Enrichment of Data) i RED (Reasoning over External Data) zastosowane w tym systemie umożliwiają wzbogacenie danych o semantykę oraz wnioskowanie z tych danych analogicznie jak z ontologicznego opisu świata. Dane zapisane w źródłach zewnętrznych są wzbogacone o terminologię...
-
Supervised model predictive control of wastewater treatment plant
PublicationAn optimizing control of a wastewater treatment plant (WWTP), allowing for cost savings over long time period and fulfilling effluent discharge limits at the same time, requires application of advanced control techniques. Model Predictive Control (MPC) is a very suitable control technology for a synthesis of such a truly multivariable controller that can handle constraints and accommodate model-based knowledge combined with hard...
-
Ontology-Aided Software Engineering
PublicationThis thesis is located between the fields of research on Artificial Intelligence (AI), Knowledge Representation and Reasoning (KRR), Computer-Aided Software Engineering (CASE) and Model Driven Engineering (MDE). The modern offspring of KRR - Description Logic (DL) [Baad03] is considered here as a formalization of the software engineering Methods & Tools. The bridge between the world of formal specification (governed by the mathematics)...
-
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...
-
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...
-
Contextual ontology for tonality assessment
Publicationclassification tasks. The discussion focuses on two important research hypotheses: (1) whether it is possible to construct such an ontology from a corpus of textual document, and (2) whether it is possible and beneficial to use inferencing from this ontology to support the process of sentiment classification. To support the first hypothesis we present a method of extraction of hierarchy of contexts from a set of textual documents...
-
Quasi-controlled Experimentations on the Impact of AOP on Software Comprehensibility
PublicationAspect-oriented programming (AOP) emerged as a paradigm to modularize the concerns that lead to interwoven code if implemented using traditional programming techniques. Unfortunately, the new constructs introduced by aspect-oriented (AO) languages result in both: (1) obstacles in modular reasoning, and (2) high coupling between aspects and the augmented modules. There have been numerous attempts to tackle these issues, but none...
-
Comparative Study of Machining Technology Selection to Manufacture Large-Size Components of Offshore Constructions
PublicationThe focus of this paper is on process planning for large parts manufacture in systems of definite process capabilities, involving the use of multi-axis machining centres. The analysis of machining heavy mechanical components used in off-shore constructions has been carried out. Setup concepts applied and operation sequences determined in related process plans underwent studies. The paper presents in particular a reasoning approach...
-
Fuzzy Multi-Regional Fractional PID controller for Pressurized Water nuclear Reactor
PublicationThe paper presents the methodology for the synthesis of a Fuzzy Multi-Regional Fractional Order PID controller (FMR-FOPID) used to control the average thermal power of a PWR nuclear reactor in the load following mode. The controller utilizes a set of FOPID controllers and the fuzzy logic Takagi-Sugeno reasoning system. The proposed methodology is based on two optimization parts. The first part is devoted to finding the optimal...
-
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.
-
Geometrical versus analytical approach in problem solving- an exploatory study
PublicationAbstract. In this study we analyse the geometrical visualization as a part of the process of solution. In total 263 students in the first year of study at three different universities in three different countries (Poland, Slovakia and Spain) were asked to solve four mathematical problems. The analysis of the results of all students showed that geometrical visualization for problems where there is a possibility to choose different ways...
-
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.
-
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...
-
A video monitoring system using ontology-driven identification of threats
PublicationIn this paper, we present a video monitoring systemthat leverages image recognition and ontological reasoningabout threats. In the solution, an image processing subsystemuses video recording of a monitored area and recognizesknown concepts in scenes. Then, a reasoning subsystem uses anontological description of security conditions and informationfrom image recognition to check if a violation of a conditionhas occurred. If a threat...
-
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...
-
Technical evaluation of marine auxiliary diesel engine on the basis of parameters synchronous generator
PublicationThe article presents a method for evaluating the technical condition of selected structural elements of the reciprocating internal combustion engine driving a synchronous generator. Th results of measurements of the electric generator parameters are the diagnostic information source. On this basis it is possible to determine the instantaneous angular speed marine engine crankshaft which, in turn, is the basis for reasoning about...
-
Validation of dynamic electrochemical impedance spectrograms using autocorrelation function
PublicationValidation of impedance data is essential for checking the reliability of experimental data. Kramers – Kronig transformation is used to verify data obtained from classical Electrochemical Impedance Spectroscopy (EIS) measurements. Data obtained from Dynamic Electrochemical Impedance Spectroscopy (DEIS) could be validated in the same way, but in this case, there is no information about internal consistency between every single spectrum...
-
Technology adoption review for ageing well: analysis of technical solutions
PublicationWhile several technological solutions are available for older adults to improve their wellbeing and quality of life, little is known about the gaps between the needs, provided solutions, and their adoption from a more pragmatic perspective. This paper reports on reviewing existing technological solutions for older adults, which span the work life, life in the community, and wellbeing at home. We analyzed 50 different solutions...
-
Architecture of ecumenical spaces in public buildings in the 21st century: Links among the architecture of multi-faith spaces, their names, and the functions they serve in Polish airports
PublicationThis study explores the architecture and arrangement of prayer spaces in public buildings. It examines whether Polish airports have prayers spaces and whether a correlation exists between the name (e.g., “multi-faith space,” “place of prayer,” and “place of focus”) and design. The study is supported by analyses of ecumenical spaces, which have recently been brought into service andwhere a visible symbiosis exists between their...
-
The Crisis of Marketing Communication in the Era of Social Media
PublicationThe articles examines the widely discussed in literature the problem of marketing communication crisis resulting from the changes of the environment. These changes generate both new problems and also new solutions, e.g. social media. The practicioners are pursuing both effective and efficient solutions, in relation to the difficulties encountered while achieving market objectives via traditional methods and channels. In accordance...
-
Zastosowanie metodologii wnioskowania z bazy przypadków w tworzeniu atrakcyjnych witryn biznesowych
PublicationPrzedstawiono podstawowe założenia metodologii wnioskowania z bazy przypadków (ang. Case Based Reasoning). Zaakcentowano możliwości jej wykorzystania w sytuacjach, gdy zawodzą metody o charakterzetypowo analitycznym. Zaproponowano zastosowanie CBR dla uatrakcyjnie-nia biznesowych witryn internetowych w sektorze handlowo-usługowym, a w szczególności dla obsługi niekompletnie sprecyzowanych wymagań stawianych przez klientów. Podano...
-
Implementation of International Standards of Fiscal and Monetary Transparency - Case of Poland
PublicationResearch background: Financial managers, investors, lenders, counterparties and citizens should have useful, reliable, timely, complete, comparable, readable information on fiscal and monetary policy. The actions taken and instruments used by fiscal and monetary authorities have an important impact on economic conditions. Purpose of the article: The aim of the article is to assess Poland's compliance with international standards...
-
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...
-
Healthy financial system of local government on the example of Poland
Publicationhealthy local government financial system lays the foundation for the ability of local government units (LGUs) to carry out public tasks at the current qualitative and quantitative level and to meet their obligations in the short and long term. A healthy financial system of local government is a system that is adequate, stable, unified, consistent, transparent, diversified, counter-cyclical, guarantees the financial independence...