Decision Support for Network Path Estimation via Automated Reasoning

Author(s):  
Dean Philp ◽  
Naomi Chan ◽  
Leslie F. Sikos
2018 ◽  
Vol 7 (2.28) ◽  
pp. 164 ◽  
Author(s):  
Denis Fedyanin ◽  
Yuri Vershinin

We describe distributed reflexive complex mechanisms of decision-making in a SMART city. These complex mechanisms are a cognitive self-organizing decision support system for development governance. These mechanisms utilize local information from all nearby sensors of city sensors on buildings, sensors on other cars, sensors on pedestrians and some additional information. We describe the way to a new level of safety of citizens by additional vision and automated reasoning.  It provide transparency in Augmented Reality Devices by virtually eliminating obstacles e.g. buildings. The problem is that development of a city is a process so people still have to make suggestions and now these suggestions are about awareness of other agents. Distributed reflexive complex mechanisms can assist and support their decisions in solving these problems.  


Axioms ◽  
2021 ◽  
Vol 10 (2) ◽  
pp. 91
Author(s):  
Rafał Palak ◽  
Krystian Wojtkiewicz

Automated reasoning is becoming crucial for information systems. Building one uniform decision support system has become too complicated. The natural approach is to divide the task and combine the results from different subsystems into one uniform answer. It is the basic idea behind the system approach, where one solution is a composition of multiple subsystems. In this paper, the main emphasis is on establishing the theoretical framework that combines various reasoning methods into a collective system. The system’s formal abstraction uses graph theory and provides a discussion on possible aggregation function definitions. The proposed framework is a tool for building and testing specific approaches rather than the solution itself.


2013 ◽  
Vol 46 (2) ◽  
pp. 52
Author(s):  
CHRISTOPHER NOTTE ◽  
NEIL SKOLNIK

Sign in / Sign up

Export Citation Format

Share Document