This paper presents ongoing work in the formal definition and implementation of a normative framework in Answer Set Programming. The framework uses as basis an existing action language and enriches it with a formal de...
详细信息
This paper presents ongoing work in the formal definition and implementation of a normative framework in Answer Set Programming. The framework uses as basis an existing action language and enriches it with a formal definition of norms (implementing standard deontic operators such as obligations and permissions). Properties of a norm's lifecycle such as active, inactive, violated are specified. We argue that such properties can serve as a reasoning basis for the agent's cycle. A partial implementation of the framework is then presented. An example is used in order to illustrate the application of the principles presented.
Systemic analysis of dynamics in complex networks has allured interest from different fields. Norms are a mechanism that can be useful to govern or guide the behavior of agents in such scenarios. Such effects of norms...
详细信息
Systemic analysis of dynamics in complex networks has allured interest from different fields. Norms are a mechanism that can be useful to govern or guide the behavior of agents in such scenarios. Such effects of norms can be analyzed in different terms, such as emergence, spread, equilibrium oscillations and stability. In this paper, we present an analysis of the life-cycle of deontic norms in scale-free networks, with special focus on the long-term effects of different agents' personalities and their structural properties. Our approach combines provenance-aware monitoring traces and the analysis of the dynamics emerged in the relations between agents by means of complex network representations.
In this paper we present a flexible CBR shell for Data-Intensive Case-Based Reasoning Systems which is fully integrated in an Intelligent Data Analysis Tool entitled GESCONDA. The main subgoal of the developed tool is...
详细信息
ISBN:
(纸本)9788890357411
In this paper we present a flexible CBR shell for Data-Intensive Case-Based Reasoning Systems which is fully integrated in an Intelligent Data Analysis Tool entitled GESCONDA. The main subgoal of the developed tool is to create a CBR Shell where no fixed domain exists and where letting the expert/user creates (models) his/her own domain. From an abstract point of view, the definition of the CBR can be seen as a methodology composed by four phases and each phase offers different ways to be solved. Then, since the CBR shell is integrated in GESCONDA, it inherits all its functionalities which cover the whole knowledge discovery and data mining process and also, CBR can complement its phases with this functionality. As a result, GESCONDA becomes an intelligent decision support tool which encompasses a number of advantages including domain independence, incremental learning, platform independence and generality.
This paper describes an innovative usage of Case-Based Reasoning to reduce the high cost derived from correctly setting the textile machinery within the framework of European MODSIMTex project. Furthermore, this syste...
详细信息
Semiotics is a field on which research in Computer Science methodologies has focused, mainly concerning Syntax and Semantics. These methodologies, however, are lacking some flexibility for the continuously evolving we...
详细信息
In this paper we present a framework in which heterogeneous agents can argue over the viability of a human organ for transplantation. This collaborative decision making process among human and/or software agents is me...
详细信息
When a knowledge Discovery from Data (KDD) (Fayyad, Piatetsky-Shapiro, & Smyth, 1996) process is being applied to get knowledge, several methods could be used (Gibert, et al., 2018). A simple and fast way to obtai...
详细信息
ISBN:
(纸本)9781643685434
When a knowledge Discovery from Data (KDD) (Fayyad, Piatetsky-Shapiro, & Smyth, 1996) process is being applied to get knowledge, several methods could be used (Gibert, et al., 2018). A simple and fast way to obtain preliminary insights from data before using KDD models is by generating a basic descriptive analysis. It is one of the most popular ways to describe experimental data and should be the beginning of all data projects. Nevertheless some of the main knowledge that can be extracted in a descriptive analysis is hidden due to underlying multivariate structures which could be elicited through multivariate analysis techniques. Moreover, the domain expert is key for a proper interpretation of descriptive results. At the same time, there is a lack of automatic reporting techniques that can report and help in the interpretation of complex patterns and the use of advanced multivariate techniques. This paper shows the tool developed to generate automatic interpretation of Multiple Correspondence Analysis (MCA) and Principal Components Analysis (PCA) by using RMarkdown. This tool generates a Word document which contains the automatic interpretation of the results, built on the basis of regular expressions ellaborating over the R analytical outputs (either numerical or graphical results). The proposal is being applied with some real data, like INSESS database on social vulnerabilities of the Catalan population. In conclusion, the developed tool contributes to facilitate the factorial methods results, avoiding the misinterpretation of the results and the involuntary skipping of conclusions due to the large amount of knowledge that can be extracted from a complete factorial analysis. Also, this software enables non-expert users to read multivariate analysis results in a friendly way. Moreover, this tool saves time in the interpretation step and is a basis to support the expert to start the report with the results, even the output of the software could become the report or
This study focuses on developing an intelligent decision support system (IDSS) that helps a human operator make data-driven decisions. To put IDSS in production, it is necessary to develop two additional components: o...
详细信息
The management of Urban Wastewater Systems (UWS) is a critical and difficult process. Handling polluted water in UWS requires planning and decision making regarding sectors such as environmental, energetic, industrial...
详细信息
ISBN:
(纸本)9788890357411
The management of Urban Wastewater Systems (UWS) is a critical and difficult process. Handling polluted water in UWS requires planning and decision making regarding sectors such as environmental, energetic, industrial, etc. In order to represent all the significant concepts, a powerful and flexible formalism is needed. Nowadays, there are solid approaches based on nonmonotonic reasoning which can capture dynamic domains such UWS. In this paper, we present an implementation of a real UWS in the action language Causal Calculator (CCalc-C+) which displays all the singularities of such domain and within which complex queries can be performed. The nonmonotonic causal theory, upon which is based CCalc, allows us to represent some characteristics of UWS such as nondeterministic actions and indirect effects of actions. We will capture the situations and the transitions of the UWS domain and represent them in the form of a finite state machine. CCalc allows us to perform queries regarding;the effects of actions, action planning to reach a certain state and path finding. The resultant work can be used in actual UWS to aid at the decision making process, simplifying the reasoning about actions and allowing a close representation of the real state of UWS.
暂无评论