Using conceptual graphs for clinical guidelines representation and knowledge visualization

The intrinsic complexity of the medical domain requires the building of some tools to assist the clinician and improve the patient’s health care. Clinical practice guidelines and protocols (CGPs) are documents with the aim of guiding decisions and criteria in specific areas of healthcare and they have been represented using several languages, but these are difficult to understand without a formal background. This paper uses conceptual graph formalism to represent CGPs. The originality here is the use of a graph-based approach in which reasoning is based on graph-theory operations to support sound logical reasoning in a visual manner. It allows users to have a maximal understanding and control over each step of the knowledge reasoning process in the CGPs exploitation. The application example concentrates on a protocol for the management of adult patients with hyperosmolar hyperglycemic state in the Intensive Care Unit

Supporting adaptiveness of cyber-physical processes through action-based formalisms

Cyber Physical Processes (CPPs) refer to a new generation of business processes enacted in many application environments (e.g., emergency management, smart manufacturing, etc.), in which the presence of Internet-of-Things devices and embedded ICT systems (e.g., smartphones, sensors, actuators) strongly influences the coordination of the real-world entities (e.g., humans, robots, etc.) inhabitating such environments. A Process Management System (PMS) employed for executing CPPs is required to automatically adapt its running processes to anomalous situations and exogenous events by minimising any human intervention. In this paper, we tackle this issue by introducing an approach and an adaptive Cognitive PMS, called SmartPM, which combines process execution monitoring, unanticipated exception detection and automated resolution strategies leveraging on three well-established action-based formalisms developed for reasoning about actions in Artificial Intelligence (AI), including the situation calculus, IndiGolog and automated planning. Interestingly, the use of SmartPM does not require any expertise of the internal working of the AI tools involved in the system

Supporting user-oriented analysis for multi-view domain-specific visual languages

This is the post-print version of the final paper published in Information and Software Technology. The published article is available from the link below. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. Copyright @ 2008 Elsevier B.V.The integration of usable and flexible analysis support in modelling environments is a key success factor in Model-Driven Development. In this paradigm, models are the core asset from which code is automatically generated, and thus ensuring model correctness is a fundamental quality control activity. For this purpose, a common approach is to transform the system models into formal semantic domains for verification. However, if the analysis results are not shown in a proper way to the end-user (e.g. in terms of the original language) they may become useless. In this paper we present a novel DSVL called BaVeL that facilitates the flexible annotation of verification results obtained in semantic domains to different formats, including the context of the original language. BaVeL is used in combination with a consistency framework, providing support for all steps in a verification process: acquisition of additional input data, transformation of the system models into semantic domains, verification, and flexible annotation of analysis results. The approach has been validated analytically by the cognitive dimensions framework, and empirically by its implementation and application to several DSVLs. Here we present a case study of a notation in the area of Digital Libraries, where the analysis is performed by transformations into Petri nets and a process algebra.Spanish Ministry of Education and Science and MODUWEB

Design and governance of multichannel sales systems: Financial performance consequences in business-to-business markets

Multichannel sales systems in business-to-business markets vary substantially in their designs and thereby either attenuate or aggravate agency conflicts between manufacturers and sales partners. Drawing on multiple agency theory, the authors introduce direct and indirect channel usage as focal design dimensions of multichannel sales systems and investigate each channel’s performance effects using a matched manufacturer–sales partner data set. Whereas direct channel usage predominantly lowers agency conflicts in terms of information asymmetry and sales partner moral hazard, indirect channel usage amplifies moral hazard concerns. How those sales partner effects translate into manufacturer performance outcomes critically depends on governance mechanisms, confirming predictions from governance value analysis: formalization enhances performance outcomes for manufacturers in the case of indirect channel usage but diminishes performance in the case of direct channel usage. The authors observe converse effects for centralization and information exchange: centralization and information exchange enhance outcomes of direct channel usage but diminish outcomes of indirect channel usage. The focal managerial implication is that managers must align the design of their multichannel sales systems with effective governance mechanisms

Proceedings of the 11th European Agent Systems Summer School Student Session

This volume contains the papers presented at the Student Session of the 11th European Agent Systems Summer School (EASSS) held on 2nd of September 2009 at Educatorio della Providenza, Turin, Italy. The Student Session, organised by students, is designed to encourage student interaction and feedback from the tutors. By providing the students with a conference-like setup, both in the presentation and in the review process, students have the opportunity to prepare their own submission, go through the selection process and present their work to each other and their interests to their fellow students as well as internationally leading experts in the agent field, both from the theoretical and the practical sector. Table of Contents: Andrew Koster, Jordi Sabater Mir and Marco Schorlemmer, Towards an inductive algorithm for learning trust alignment . . . 5; Angel Rolando Medellin, Katie Atkinson and Peter McBurney, A Preliminary Proposal for Model Checking Command Dialogues. . . 12; Declan Mungovan, Enda Howley and Jim Duggan, Norm Convergence in Populations of Dynamically Interacting Agents . . . 19; Akın Günay, Argumentation on Bayesian Networks for Distributed Decision Making . . 25; Michael Burkhardt, Marco Luetzenberger and Nils Masuch, Towards Toolipse 2: Tool Support for the JIAC V Agent Framework . . . 30; Joseph El Gemayel, The Tenacity of Social Actors . . . 33; Cristian Gratie, The Impact of Routing on Traffic Congestion . . . 36; Andrei-Horia Mogos and Monica Cristina Voinescu, A Rule-Based Psychologist Agent for Improving the Performances of a Sportsman . . . 39; --Autonomer Agent,Agent,Künstliche Intelligenz

A Review of Platforms for the Development of Agent Systems

Agent-based computing is an active field of research with the goal of building autonomous software of hardware entities. This task is often facilitated by the use of dedicated, specialized frameworks. For almost thirty years, many such agent platforms have been developed. Meanwhile, some of them have been abandoned, others continue their development and new platforms are released. This paper presents a up-to-date review of the existing agent platforms and also a historical perspective of this domain. It aims to serve as a reference point for people interested in developing agent systems. This work details the main characteristics of the included agent platforms, together with links to specific projects where they have been used. It distinguishes between the active platforms and those no longer under development or with unclear status. It also classifies the agent platforms as general purpose ones, free or commercial, and specialized ones, which can be used for particular types of applications.Comment: 40 pages, 2 figures, 9 tables, 83 reference

Knowledge formalization and reuse in BIM-based mechanical, electrical and plumbing design coordination in new construction projects using data mining techniques

textIn the Architecture, Engineering and Construction (AEC) industry, inadequate collaboration between project stakeholders and disciplines often leads to conflicts and interoperability issues. Research has been conducted in knowledge formalization to bridge the knowledge gaps and information silos. Formalizing construction knowledge is challenging to formalize because most construction knowledge implicitly resides in the minds of construction experts, which is difficult to represent in a formal and explicit manner. The proposed study is built upon previous research findings, and attempts to formalize tacit knowledge in Mechanical, Electrical and Plumbing (MEP) design coordination by capturing necessary information with a model-based information capture system and reasoning about the captured data with data mining techniques. The vision of this research is that the formalized knowledge can be used to provide guidance for early design review incorporating construction considerations, facilitate structured learning from past experience, as well as train novice engineers. In summary, this research has three main contributions. First, this research presents a formalized knowledge representation schema to capture process knowledge in design coordination, which was successfully implemented in a model-based knowledge capture system developed by the author. Second, a model-based knowledge capture system was developed to store clash information in the form of categorized features and link such categorized information directly to the relevant model elements, which can also facilitate organization and management of clashes and supports searching and grouping functions. A prototype system was developed as a plugin to a widely used BIM-based design coordination application and was demonstrated with project data gathered from three new construction projects in the United States. Third, this research applied data mining techniques for knowledge discovery and reuse in MEP design coordination. Classification models were developed to provide predicted solutions for identified clashes based on historical data. The classification algorithms that produced the best results were selected, which reached precision rates of over 70%. The effectiveness of the classification models was tested in a novice experiment.Civil, Architectural, and Environmental Engineerin

Elevating design in the organization

Following evidence of its positive contribution to innovation and company performance, many firms are seeking to elevate design to a strategic level. However, little is known as to how this can be achieved. This study draws on the literatures concerned with elevating organizational functions and with organizational legitimacy, and aims to unravel and detail critical practices and potential tensions influencing the elevation of design’s status in firms. To do so, 53 in-depth interviews were undertaken with key informants, representing a range of functional specialisms, in 12 companies, including large multinational companies as well as SMEs. Findings show how six practices – top management support, leadership of the design function, generating awareness of design’s role and contribution, inter-functional coordination, evaluation of design, and formalization of product and service development processes – affect the design elevation process. In contrast with previous studies on raising the status of organizational functions, this research reveals that the same practive can play both positive and negative roles, and that there are fundamental tensions, which should be reconciled if design’s status is to be elevated. Drawing on the concept of organizational legitimacy, we also examine how design moves beyond being seen as pragmatically useful, to being identified as a relevant, alternative way of operating, to being regarded as essential for success. The article concludes by articulating contributions to design and innovation management theory and practice, and to the body of scholarly work seeking to understand how to elevate the status of a function