Knowledge Representation with Multiple Logical Theories and Time

We present a knowledge representation framework where a collection of logic programs can be combined together by means of meta-level program composition operations. Each object-level program is composed of a collection of extended clauses, equipped with a time interval representing the time period in which they hold. The interaction between program composition operations and time yields a powerful knowledge representation language in which many applications can be naturally developed. The language is given a meta-level semantics which also provides an executable specification. Moreover, we define an abstract semantics by extending the immediate consequence operator from a single logic program to compositions of logic programs and taking into account time intervals. The operational, meta-level semantics is proven sound and complete with respect to the abstract bottom-up semantics. The approach is further extended in order to cope with the problem of reasoning over joined intervals of time. Three applications in the field of business regulations are shown

Enhanced disengagement of auditory attention and phonological skills in action video gamers

Video games play a major role in the everyday life of children, teenagers, and adults. Several studies show that action video games (AVGs) improve visual attentional efficiency. AVGs also appear to improve reading speed and phonological skills in children with developmental dyslexia. These results have been linked to the intrinsic characteristics of AVGs, in which fast disengagement of multisensory attention allows for efficient extraction of relevant dynamic information, a skill that is crucially also involved in phonological and reading skills. We tested the hypothesis that AVG players demonstrate faster auditory attention disengagement in an auditory spatial cuing task, as well as better phonological and reading performance than non-players. We found that AVG players were faster in spatial localization of auditory targets and showed enhanced attentional disengagement as indexed by a smaller cuing effect. AVG players also showed better phonological decoding and working memory skills. Moreover, the beneficial effects of AVGs, as measured by faster attentional disengagement, were linked to better phonological and reading skills in adult AVG players. We suggest that a more efficient attentional disengagement - controlled by the posterior parietal cortex - induces enhanced multisensory processing in AVG players

Flexibility From Distributed Multienergy Systems

Multienergy systems (MES), in which multiple energy vectors are integrated and optimally operated, are key assets in low-carbon energy systems. Multienergy interactions of distributed energy resources via different energy networks generate the so-called distributed MES (DMES). While it is now well recognized that DMES can provide power system flexibility by shifting across different energy vectors, it is essential to have a systematic discussion on the main features of such flexibility. This article presents a comprehensive overview of DMES modeling and characterization of flexibility applications. The concept of ``multienergy node'' is introduced to extend the power node model, used for electrical flexibility, in the multienergy case. A general definition of DMES flexibility is given, and a general mathematical and graphical modeling framework, based on multidimensional maps, is formulated to describe the operational characteristics of individual MES and aggregate DMES, including the role of multienergy networks in enabling or constraining flexibility. Several tutorial examples are finally presented with illustrative case studies on current and future DMES practical applications

Application of Technological System Based on Processes Modelling and Analysis: A Case Study in Italian Aquaculture Company

In recent years, cause of several scandals and incidents in agrifood context, consumer awareness about food product increased. That evolution of the consumer triggers new demand about transparency/accountability by the market. Food industry can face the emerging issues considering traceability principles. A traceability system could support the food companies to maneuver in the complex network of the supply chain and, simultaneously, to answer to the new consumer and market needs. In this work a theoretical approach based on business process modelling was proposed and tested in a real case study. Through an interview and using BPMN technique, the cherry cultivation process of a food companies was modelled. Each activities and actors involved in cultivation was identified in order to detect data stored in different source and format. These data could be strategical if elaborated and transmitted to different stakeholder of the supply chain