Real-Time Decision-Making Systems: Approaches to Construction [PDF]
Problems of the Regional Energetics, 2022 The purpose of this work is the development of mathematical tools for formalizing decision-making problems in open expert real-time control systems. The goal was achieved by defining and formally describing all the elements of a formal system.
Zakharchenko I. +6 more
doaj +1 more source
Description logics for representing Bibliographic Data
Cybrarians Journal, 2016 Description Logics have recently attracted considerable attention, both in representing the concepts of an application domain and in reasoning about them.
Tarik El Malki
doaj +1 more source
Using the Mathematical Apparatus of Cellular Automata to Solve the Problem of Monitoring Critical Infrastructure Objects by Unmanned Aerial Vehicles [PDF]
Problems of the Regional Energetics, 2022 The purpose of this work is the development of mathematical tools for formalizing decision-making problems in open expert real-time control systems. The goal was achieved by defining and formally describing all the elements of a formal system.
Chistov V. +6 more
doaj +1 more source
Locality and Applications to Subsumption Testing in EL and Some of its Extensions [PDF]
Scientific Annals of Computer Science, 2013 In this paper we show that subsumption problems in the description logics {{mathcal|EL}} and EL+ can be expressed as uniform word problems in classes of semilattices with monotone operators.
V. Sofronie-Stokkermans
doaj +1 more source
Reasoning with Inconsistent Possibilistic Ontologies by Applying Argument Accrual
Journal of Computer Science and Technology, 2017 We present an approach for performing instance checking in possibilistic description logic programming ontologies by accruing arguments that support the membership of individuals to concepts.
Sergio Alejandro Gómez
doaj +1 more source
Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases [PDF]
Logical Methods in Computer ScienceThe necessity to manage inconsistency in Description Logics Knowledge Bases (KBs) has come to the fore with the increasing importance gained by the Semantic Web, where information comes from different sources that constantly change their content and may ...
Riccardo Zese +2 more
doaj +1 more source
Defining Cognitive Logics by Non-Classical Tableau Rules
Studies in Logic, Grammar and Rhetoric, 2016 In the paper we propose a new approach to formalization of cognitive logics. By cognitive logics we understand supraclassical, but non-trivial consequence operations, defined in a propositional language.
Jarmużek Tomasz
doaj +1 more source
An Optimization Strategy for Debugging Incoherent Terminologies in Dynamic Environments
IEEE Access, 2017 Ontologies in real-world applications are typically dynamic entities that are frequently modified when new knowledge needs to be added or when existing knowledge is no longer considered valid. Logical errors inevitably occur when ontologies are modified.
Yu Zhang, Dantong Ouyang, Yuxin Ye
doaj +1 more source
On the Expressive Power of Sub-Propositional Fragments of Modal Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 Modal logic is a paradigm for several useful and applicable formal systems in computer science. It generally retains the low complexity of classical propositional logic, but notable exceptions exist in the domains of description, temporal, and spatial ...
Davide Bresolin +2 more
doaj +1 more source
Rapid Prototyping of Multi-Functional Battery Energy Storage System Applications
Applied Sciences, 2018 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 operators,
Claudia Zanabria +3 more
doaj +1 more source