Catálogo de publicaciones - libros

A search engine called SearchService with text analysis functionality has been developed. It supports query sound and synonym expansion mechanisms. It also gives performance based result ranking.

The main motivation for organizations to e-collaborate is to enable knowledge sharing and learning in order to effectively address a new business opportunity by forming a Virtual Organization (VO) for solving the given task. One of the difficulties in VO creation is appropriate partner selection with mutual trust, as well as the support for the management of trust in a broader Virtual organization Breeding Environment (VBE)- a cluster of organizations willing to collaborate when a new business opportunity appears. This paper proposes an approach to modeling trust in a network of collaborating organizations, aimed at improved trust management in VBEs and improved decision support in the process of VO creation.

In this poster, we will illustrate an integrated approach to Web filtering, whose main features are flexible filtering policies taking into account both users’ characteristics and resource content, the specification of an ontology for the filtering domain, and the support for the main filtering strategies currently available. Our approach has been implemented in two prototypes, which address the needs of both home and institutional users, and which enforce filtering strategies more sophisticated and flexible than the ones currently available.

The upcoming argumentative approach to environmental planning is increasingly spreading out, challenging the traditional strong and absolute rationality of planning. Aiming at structuring the complex issues of the environmental domain, rather than simplify problems, several agents need to interact, locate and share behaviours and knowledge, meanwhile learning from each others’ attitudes and knowledge patterns. In this context, cybernetic rationality is being increasingly re-considered as a quite strong theoretical limitation to environmental planning, a background being founded on merely linear paths of elements and states which is hard to be removed. This rationality is indeed able to cope with deterministic processes, but unable to face the probabilistic and chaotic environmental phenomena, so making it extremely hard to point out elements, to schedule times, to respect consistencies. Given this starting conceptual condition, this paper discusses some theoretical and experimental issues for the development of cognitive architectures of intelligent agent communities in water resources management. This is done through the recognition of the common good nature of water resources, which in turn affects the features of social and individual cognitions involved, as well as the decisions processes. Throughout the paper, a special attention is paid to dilemmas of cognitive change and knowledge-in-actions development in multi-agent participatory environments, through references to both cognitive and organizational analysis.

We present a case study of formal verification of control logic for a robotic handling system. We have implemented a system in which properties can be specified in the source code, which is then automatically converted to Java and checked using Java Path Finder. The model checker, working under the assumption of a nondeterministic environment, is able to efficiently verify critical properties of the design.

In this paper, we describe a new nurse scheduling system based on the framework of Constraint Satisfaction Problem (CSP). In the system, we must deal with dynamic changes to scheduling problem and with constraints that have different levels of importance. We describe the dynamic scheduling problem as a Dynamic Weighted Maximal CSP (DW-MaxCSP) in which constraints can be changed dynamically. It is usually undesirable to drastically modify the previous schedule in the re-scheduling process. A new schedule should be as close to as possible to the previous one. To obtain stable solutions, we propose methodology for keeping similarity to the previous schedule by using provisional constraints that explicitly penalize changes from the previous schedule. We have confirmed the efficacy of our system experimentally.

The paper describes and reports the results of a project that has involved Project Automation S.p.A. and the Italian highway company Società Autostrade S.p.A. The main aim of the project is to deliver a monitoring and control system to support traffic operators of Italian highways in their working activities. The main functionalities of the delivered system are: automatic detection of anomalous traffic patterns, alarm filtering according to peculiarities of the monitored highway section, atomic alarm correlation, and automatic control of traffic anomalies. In particular, the paper gives a general introduction to the System for Automatic MOnitoring of Traffic (SAMOT), its aims, design approach and general architecture. Moreover, more details will be given on the Alarm Correlation Module (MCA), a knowledge–based solution based on Modal Logic approach to the atomic alarm correlation and filtering. Finally, we will show three significant installations of the SAMOT system that are currently working to support traffic operators of some of the most important and traffic congested Italian highways.

A concept of financial prediction system is considered in this paper. By integrating multidimensional data technology (data warehouse, OLAP) and case-based reasoning, we are able to predict financial trends and provide enough data for business decision making. Methodology has been successfully used and tested in the management information system of “Novi Sad Fair”.

The paper describes a digital system for the virtual aided recomposition of fragmented frescos whose approach allows knowledge and experience of restorers to cooperate with computational power and flexibility of digital tools for image analysis and retrieval. The physical laboratory for the traditional recomposition is replaced by a geographically distributed client-server architecture implementing a virtual laboratory of fragments. Image processing and analysis techniques support the whole recomposition task. A properly designed engine for image indexing and retrieval enables the retrieval of fragments similar to suitably chosen sample images.

In this paper, we mainly present a support method of our proposed e-learning system. We employ qualitative simulations because this lets the learners understand the conceptual principles in economic dynamics. First, we define some qualitative values employed on simulation graph model that consists of nodes and arcs. Then, we show the support method using our learning system based on qualitative simulation.