Aerospace systems are connected with the operational environment and other systems in general. The focus in aerospace product development is consequently shifting from a singular system perspective to a System-of-Systems (SoS) perspective. This incre...
Large language models (LLMs) have shown remarkable progress in general reasoning and understanding, but their ability to perform formal logical reasoning remains under-explored. In this paper, we introduce DLReasonSuite, a novel benchmark designed to...
Fused deposition modelling (FDM) is well-known as an inexpensive and the most commonly used additive manufacturing process. In FDM, build orientation is one of the critical factors that affect the quality of the printed part. However, the activity of...
Laser powder bed fusion (LPBF) provides a rapid and cost-effective solution for fabricating metallic parts with near full density and high precision, strength, and stiffness directly from metallic powders. In LPBF, process variables are widely recogn...
Sensor networks are estimated to drive the formation of the future Internet, with stream reasoning responsible for analysing sensor data. Stream reasoning is defined as real time logical reasoning on large, noisy, heterogeneous data streams, aiming t...
Manufacturing companies across multiple industries face an increasingly dynamic and unpredictable environment. This development can be seen on both the market and supply side. To respond to these challenges, manufacturing companies must implement sma...
Ontologies are logical theories that are used in computer science for describing different items such as web services, agents in multi-agent systems, or domain knowledge. Many ontologies exist, expressing various domains of knowledge with different a...
Formal thought disorder (FTD) is a clinical mental condition that is typically diagnosable by the speech productions of patients. However, this has been a vexing condition for the clinical community, as it is not at all easy to determine what “...
Recent work has shown that the f-index of inclusion can serve as a foundation for modeling Generalized Modus Ponens. In this paper, we develop a novel fuzzy inference system based on this inference rule. To establish its soundness, we connect it to a...
Based on a formalization of open formulas as statements in context, the paper presents a freshly new and abstract view of logics and specification formalisms. Generalizing concepts like sets of generators in Group Theory, underlying graph of a sketch...
Many scientific fields show great interest in the extraction and processing of spatiotemporal data, such as medicine with an emphasis on epidemiology and neurology, geology, social sciences, meteorology, and a great interest is also observed in the s...
Although current languages used in ontology-based data access (OBDA) systems allow for mapping source data to instances of concepts and relations in the ontology, several application domains need more flexible tools for inferring knowledge from data,...
Fuzzy description logics, the formalism behind fuzzy ontologies, are an important mathematical method with applications in many artificial intelligence scenarios. This paper proposes the first specific algorithms to solve two reasoning tasks with res...
Nowadays, more and more sciences are involved in strengthening the work of law enforcement authorities. Scientific documentation is evidence highly respected by the courts in administering justice. As the involvement of science in solving crimes incr...
Functional electrical stimulation (FES) device has been widely used by spinal cord injury (SCI) patients in their rehab exercises to restore motor function to their paralysed muscles. The major challenge of muscle contraction induced by FES is early...
This paper presents a novel ontology-driven digital twin framework specifically designed for aviation maintenance and operations that addresses these challenges through semantic reasoning and explainable decision support. The proposed framework integ...
Quickly designing digital circuits that are both correct and efficient poses significant challenges. Electronics, especially those incorporating sequential logic circuits, are complex to design and test. While Electronic Design Automation (EDA) tools...
Education is a complex and multidisciplinary field. Effective personalization in education is grounded in both educational theory and hybrid AI practice. Personalization is typically driven by explicit, structured knowledge; however, the effective au...
Logic-based knowledge representation is one of the main building blocks of (logic-based) artificial intelligence. While most successful knowledge representation languages are based on classical logic, realistic intelligent applications need to handle...
The aim of the study was to build a fuzzy model of lower limb peak torque in an isokinetic mode. The study involved 93 male participants (28 male deaf soccer players, 19 hearing soccer players and 46 deaf untraining male). A fuzzy computational model...
IoT has seen remarkable growth, particularly in healthcare, leading to the rise of IoMT. IoMT integrates medical devices for real-time data analysis and transmission but faces challenges in data security and interoperability. This research identifies...
We study the coarse classification of partial orderings using chain conditions in the context of descriptive combinatorics. We show that (unlike the Borel counterpart of many other combinatorial notions), we have a strict hierarchy of different chain...
In this paper we study Graphol, a fully graphical language inspired by standard formalisms for conceptual modeling, similar to the UML class diagram and the ER model, but equipped with formal semantics. We formally prove that Graphol is equivalent to...
Due to transistor shrinking, intermittent faults are a major concern in current digital systems. This work presents an adaptive fault tolerance mechanism based on error correction codes (ECC), able to modify its behavior when the error conditions cha...
In the Internet of Things (IoT), multiple sensors and devices are generating heterogeneous streams of data. To perform meaningful analysis over multiple of these streams, stream processing needs to support expressive reasoning capabilities to infer i...
Energy storage systems will play a major role in the decarbonization of future sustainable electric power systems, allowing a high penetration of distributed renewable energy sources and contributing to the distribution network stability and reliabil...
Battery Energy Storage Systems (BESS) are starting to play an important role in today’s power distribution networks. They provide a manifold of services for fulfilling demands and requests from diverse stakeholders, such as distribution system operat...
This paper addresses the theoretical issues in k-valued logic, which are crucial for developing solutions in various fields of science and technology. One of the fundamental issues is a complete description of the closed classes of functions of three...
Propositional product logic belongs to the basic fuzzy logics with continuous t-norms using the product t-norm (defined as the ordinary product of real numbers) on the unit interval
Data validation in cancer registration is a critical operation but is resource-intensive and has traditionally depended on proprietary software. Ontology-based AI is a novel approach utilising machine reasoning based on axioms formally described in d...
1 December 2007
Digital information goods constitute a growing class of economic goods. During decision making for a purchase a buyer searches for information about digital information goods, such as information about the content, price and trading information, usag...
This paper presents an approach to GWS (GeospatialWeb Service) discovery through the semantic annotation of WPS (Web Processing Service) service descriptions. The rationale behind this work is that search engines that use appropriate semantic-based s...
Ontology learning from unstructured text has become a critical task for knowledge-driven applications in Big Data and Artificial Intelligence. While significant advances have been made in the automatic extraction of concepts and relations using neura...
Over the past few decades, the field of fuzzy logic has evolved significantly, leading to the development of diverse techniques and applications. Fuzzy logic has been successfully combined with other artificial intelligence techniques such as artific...
When a fault occurs in a power system, fault section estimation is the primary premise for troubleshooting and power recovery, and an effective fault diagnosis system will play a big role in decision making. However, the topology information is not w...
A fuzzy logic-based color histogram analysis technique is presented for discriminating benign skin lesions from malignant melanomas in dermoscopy images. The approach extends previous research for utilizing a fuzzy set for skin lesion color for a spe...
The present paper is devoted to the actual problem of photonic crystal (PhC) logic gate design. The development of components for photonic digital computing systems will provide opportunities for high-efficient information processing. The use of 2D p...
Communication is one of the most notable processes in a multi-agent system. For this reason, considerable attention is paid to it—from abstract levels presenting theoretical models describing the basic principles to an implementation level with...
This article discusses edge detectors implemented in programmable logic controllers. The behaviors of different vendors’ solutions are presented with pros and cons. The trigger functions defined in the IEC 61131-3 standard were analyzed for imp...
This paper elaborates on the interpretation of time and entanglement, offering insights into the possible ontological nature of information in the emergence of spacetime, towards a quantum description of gravity. We first investigate different perspe...
Constitutional courts throughout the world are highly selective in forming their agenda. Scholars who have studied the setting of agenda have not reached agreement on the role of legal clerks in this process. This article focuses on the role of the S...
An indoor logical network qualitatively represents abstract relationships between indoor spaces, and it can be used for path computation. In this paper, we concentrate on the logical network that does not have notions for metrics. Instead, it relies...
The newly emerging branch of research of Computer Science received encouragement from the successors of the Warsaw mathematical school: Kuratowski, Mazur, Mostowski, Grzegorczyk, and Rasiowa. Rasiowa realized very early that the spectrum of computer...
The analysis of temporal series—in particular, analysis of multisensor data—is a complex problem. It depends on the application domain, the way the data have to be used, and sensors available, among other factors. Various models, algorithms, and tech...
Contemporary Natural Philosophy is understood here as a project of the pursuit of the integrated description of reality distinguished by the precisely formulated criteria of objectivity, and by the assumption that the statements of this description c...
The paper contains a description of the building model structures and fuzzy control strategy. The aim of work was to describe fuzzy logic applied to the temperature control approach. The Simulink model of a widely popular building automation was used...
Metric temporal logic (MTL) is a popular real-time extension of linear temporal logic (LTL). This paper presents a new simple SAT-based bounded model-checking (SAT-BMC) method for MTL interpreted over discrete infinite timed models generated by discr...
This manuscript proves specific theorems for transforming Boolean expressions of logical formulas when moving from one basis to another, simplifying the solution of complex equations, especially for cryptographic applications. The paper develops meth...
Clustering is a very common means of analysis of the data present in large datasets, with the aims of understanding and summarizing the data and discovering similarities, among other goals. However, despite the present success of the use of subsymbol...
Introduction: Implantable defibrillator devices (ICDs) can be used for remote monitoring of different variables, including some related to Heart Failure (HF). Two different algorithms (TriageHF and HeartLogic) arise by combining some of these variabl...
of 8