RoleModel is a novel story generator organized around explicit formal models of character roles. RoleModel expands the expressiveness of stories generated from arbitrary partial domain specification by using a formal ...
详细信息
The language Ε for reasoning about actions and change can be translated into an argumentation framework. In this paper, we extend this translation of the basic language and showhowit can, together with methods from a...
详细信息
The experiences and feelings in a first phase of transition from undergraduate to graduate courses may lead to some kind of anxiety, depression, malaise or loneliness that are not easily overwhelmed, no doubt the educ...
详细信息
ISBN:
(数字)9783030623623
ISBN:
(纸本)9783030623616;9783030623623
The experiences and feelings in a first phase of transition from undergraduate to graduate courses may lead to some kind of anxiety, depression, malaise or loneliness that are not easily overwhelmed, no doubt the educational character of each one comes into play, since the involvement of each student in academic practice depends on his/her openness to the world. In this study it will be analyzed and evaluated the relationships between academic experiences and the correspondent anxiety levels. Indeed, it is important not only a diagnose and evaluation of the students' needs for pedagogical and educational reorientation, but also an identification of what knowledge and attitudes subsist at different stages of their academic experience. The system envisaged stands for a Hybrid Artificial Intelligence Agency that integrates the phases of data gathering, processing and results' analysis. It intends to uncover the students' states of Adaptation, Anxiety and Anxiety Trait in terms of an evaluation of their entropic states, according to the 2nd Law of Thermodynamics, i.e., that energy cannot be created or destroyed;the total quantity of energy in the universe stays the same. The logic procedures are based on a logic programming approach to Knowledge Representation and Reasoning complemented with an Artificial Neural Network approach to computing.
With the increasing complexity of information systems, it is becoming increasingly unclear as to how information system behaviors relate to stated requirements. Although requirements documents and Business Activity Mo...
详细信息
With the increasing complexity of information systems, it is becoming increasingly unclear as to how information system behaviors relate to stated requirements. Although requirements documents and Business Activity Monitoring can provide static and dynamic evidence for requirements compliance, neither provides a formal, realtime presentation of requirements satisfaction. The REQMON research project is constructing and validating methods and tools for requirements specification and real-time monitoring. The challenge is to simplify monitoring system construction while ensuring the fidelity and expressiveness of its feedback. To address this challenge, our integrative approach leverages a formal monitoring abstraction layer, dynamically configurable distributed monitors, and commercial software to define a theory for specifying, developing, and analyzing requirements monitoring systems. This article presents an implementation of rule-based monitors, which are derived from system requirements. Such an implementation can simplify the specification of temporal requirements monitors and can be efficient, as our analysis shows.
Goal Recognition Design involves identifying the best ways to modify an underlying environment that agents operate in, typically by making a subset of feasible actions infeasible, so that agents are forced to reveal t...
详细信息
Active logic is a conceptual system, the principles of which are satisfied by the formalism of reasoning, enabling them to correlate the results with the timing and which are tolerant to inconsistencies. However, tole...
详细信息
Our objective is to extend the standard results of preservation and reflection of properties by bisimulations to the coalgebraic setting, as well as to study under what conditions these results hold for simulations. T...
详细信息
A transformation rule for the class of normal programs is proposed. When applied to the non-trivial class of existential-free programs, the transformation leads to an observationally equivalent correspondent with mini...
详细信息
A transformation rule for the class of normal programs is proposed. When applied to the non-trivial class of existential-free programs, the transformation leads to an observationally equivalent correspondent with minimal negation. It is observed that the program obtained by applying this transformation, returns more information for non-ground goals, in general, compared to the original program, when SLDNF-resolution is used.
This paper presents a real-time complex event detection concept for resource-limited multimedia sensor networks. A comprehensive solution based on Answer Set programming (ASP) is developed. We show that ASP is an appr...
详细信息
Over the last years, Answer Set programming has significantly extended its range of applicability, and moved beyond solving static problems to dynamic ones, even in online environments. However, its nonmonotonic natur...
详细信息
暂无评论