Framework for knowledge management

This thesis studies the underlying processes of Knowledge Management (KM) and proposes a generic framework for knowledge management that is appli- cable to real-life case studies. We define KM as gathering, refining, organising and disseminating knowl- edge in an organisation, modelled as a multi-agent system. We identify the processes that support KM in such a system. We then for- malise the processes using the syntax and semantics of epistemic logic and translate multi-agent dialogues into a protocol language, which is verifiable by model checking in SPIN. We investigate two real life case studies, knowl- edge sharing and knowledge gap and verify the underlying processes. We finally check for correctness properties of the knowledge processes, including absence of deadlock and termination

The theory of incentives applied to the transport sector

Building upon Iossa and Martimort (2008), we study the main incentive issues and the form of optimal contracts for Public Private Partnerships (PPPs) in transports. We present a basic model of procurement in a multitask environment in which a risk-averse firm chooses unobservable efforts in infrastructure and service quality. We begin by analyzing the effect on incentives and risk transfer of bundling building and operation into a single contract. We consider the factors that affect the optimal allocation of demand risk and their implications for the choice of contract length. We discuss the dynamics of PPP contracts and how the risk of regulatory opportunism affects contract design and incentives

Computing only minimal answers in disjunctive deductive databases

A method is presented for computing minimal answers in disjunctive deductive databases under the disjunctive stable model semantics. Such answers are constructed by repeatedly extending partial answers. Our method is complete (in that every minimal answer can be computed) and does not admit redundancy (in the sense that every partial answer generated can be extended to a minimal answer), whence no non-minimal answer is generated. For stratified databases, the method does not (necessarily) require the computation of models of the database in their entirety. Compilation is proposed as a tool by which problems relating to computational efficiency and the non-existence of disjunctive stable models can be overcome. The extension of our method to other semantics is also considered.Comment: 48 page

Communicative success in spatial dialogue: The impact of functional features and dialogue strategies

This paper addresses the impact of dialogue strategies and functional features of spatial arrangements on communicative success. To examine the sharing of cognition between two minds in order to achieve a joint goal, we collected a corpus of 24 extended German-language dialogues in a referential communication task that involved furnishing a dolls’ house. Results show how successful communication, as evidenced by correct placement of furniture items, is affected by a) functionality of the furniture arrangement, b) previous task experience, and c) dialogue features such as description length and orientation information. To enhance research in this area, our 'Dolldialogue' corpus is now available as a free resource on www.dolldialogue.spac

FM contract relationships: from mobilisation to sustainable partnership

Purpose / theory Outsourcing is a fundamental business model for the Facilities Management (FM) industry. To enable sustained mutual success the parties involved must seek to understand the unique, socially constructed, and often highly complex situational realities of the organisational ecologies they are engaged in. The FM industry can unlock improved performance and strategic credibility through an appreciation of the need for different conversations. Design / methodology / approach Findings from two recent cases are considered. Data from two different client-contractor relationship situations was collected utilising a critical ethnographic research methodology; a phenomenological paradigm that acknowledges knowledge as socially constructed through language. A variant on Scott-Morgan‟s unwritten-rules coding method was used to analyse the data and justify the prevalent themes and issues presented. Findings Findings include the role of perceptions and assertions in the construction of social realities, change management implications, and how these impact on the traditional view of the client/contractor relationship. Ethnographic findings are typically context specific, therefore generalisations must be carefully considered. The key findings are however substantiated by existing FM outsourcing literature. Originality / value Highlights the practical importance of seeking to understand socially embedded realities for improved FM contract performance. Considers the human resource element of change via FM outsourcing. Takes a social constructivist approach to organisational sense-making. Uses examples from focused, critical ethnographies to explore existing FM contracting dynamics. Qualitative investigations into related organisational circumstances are encouraged to further develop an evidence base

A Model-Driven CASE tool for developing and verifying regulated open MAS

[EN] This paper describes a CASE tool for developing complex systems in which heterogeneous and autonomous agents may need to coexist in a complex social and legal framework. Model-Driven Technologies are used to integrate the design of systems of this kind with the verification of the models and with the generation of executable code from these models. The verification module is based on model-checking techniques to check the coherence of a modeled legal context at design time is presented and it is exemplified with a case studyThis work is partially supported by the TIN2008-04446, TIN2009-13839-C03-01, PROMETEO 2008/051 projects, CONSOLIDER INGENIO 2010 under grant CSD2007-00022 and FPU grant AP2007-01276 awarded to Emilia Garcia.Garcia Marques, ME.; Giret Boggino, AS.; Botti, V. (2013). A Model-Driven CASE tool for developing and verifying regulated open MAS. Science of Computer Programming. 78(6):695-704. https://doi.org/10.1016/j.scico.2011.10.009S69570478

Towards a declarative approach to constructing dialogue games.

In this paper we sketch a new approach to the development of dialogue games that builds upon the knowledge gained from several decades of dialogue game research across a variety of communities and which leverages the capabilities of the Dialogue Game Description Language as a means to describe the constituent parts of dialogue games. Our ultimate aim is to produce a method for rapidly describing and implementing games that conform to the designer's needs by declaring what is required and then automatically constructing the game from components, called 'fragments', that are distilled from existing dialogue games