You are here


  1. P. Blackburn; Chiara Ghidini; Roy Turner; and Fausto Giunchiglia (eds.),
    Modeling and Using Context - 4th International and Interdisciplinary Conference CONTEXT 2003,
  2. Benjamin Johannes Hirsch; Michael Fisher; Chiara Ghidini,
    Programming Group Computations,
    In this paper, we consider the problem of effectively programming groups of agents. These groups should capture structuring mechanisms common in multi-agent systems, such as teams, cooperative groups, and organisations. Not only should individual agents be dynamic and evolving, but the groups in which the agents occur must be open, flexible and capable of similar evolution and restructuring. We enable the description and implementation of such groups by providing and extension to our previous work on programming languages for agen-based systems based on executable temporal and modal logics. With such formalism as a basis, we consider the grouping aspects within multi-agent systems. In particular, we describe how the implementation of grouping primitives has been carried out and analyse a variety of simple mechanisms for organising agents within such groups. Finally, we consider how this work can provide a (formal) basis for a "pattern-based" approach to multi-agent systems,
  3. Chiara Ghidini; Fausto Giunchiglia,
    A semantics for abstraction,
    The goal of this paper is to propose a model-theoretic formalization of abstraction, where abstraction is modeled as two representations, the ground and the abstract representation, modeling the same phenomenon at different levels of detali. Using the framework of Local Models Semantics, the gorund and abstract representations are modeled as two sets of (local) first order models, while the relations holding between them are captured by an appropriate "compatibility relation". The tuning of the compatibility relation allows for the defintion of the many different kinds of abstraction,
  4. Michael Fisher; Chiara Ghidini; Benjamin Johannes Hirsch,
    Organising Logic-Based Agents,
    Formal Approaches to Agent-Based Systems. Revised,
    , pp. 15 -
  5. Massimo Benerecetti; Paolo Bouquet; Chiara Ghidini,
    Dimensioni di dipendenza contestuale e teoria del ragionamento,
    La svolta contestuale,
    , pp. 195 -
  6. Michael Fisher; Chiara Ghidini,
    Agents with Bounded Temporal Resources,
    Foundations and Applications of Multi-Agent Systems. UKMAS workshops 1996-2000. Selected papers,
    , pp. 594 -
  7. Michael, Fisher; Ghidini, Chiara,
    The ABC of Rational Agent Modelling,
    Proceedings of the first international joint conference on Autonomous agents and multiagent systems,
    Bologna, Italy,
    , pp. 849-
    , (First international joint conference on autonomous agents and multiagent systems (AAMAS02),
    Bologna, Italy,
  8. Chiara Ghidini; Fausto Giunchiglia,
    Local Models Semantics, or Contextual Reasoning = Locality + Compatibility,
    vol. 127,
    n. 2,
    , pp. 221 -
  9. Massimo, Benerecetti; Bouquet, Paolo; Ghidini, Chiara,
    Proceedings of Modeling and Using Context, Third International and Interdisciplinary Conference, CONTEXT, 2001,
    , pp. 59-
    , (Third International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'01),
    Dundee, UK,
    July 27-30, 2001)
  10. Chiara Ghidini; Fausto Giunchiglia,
    Logiche Multi-Contestuali, ovvero Ragionamento Contestuale=Località+Compatibilità,
    In questo articolo descriviamo la "logica multi-contestuale" e mostriamo come usarla per modellare il ragionamento contestuale. Questa logica formalizza, in modo preciso, le due fondamentali intuizioni su cui si basa il ragionamento contestuale: (i) il ragionamento è, in genere, "locale", e utilizza solo parte di quello che è potenzialmente disponibile (ad esempio, solo una parte della conoscenza o dei meccanismi inferenziali). Questo è quello che noi chiamiamo "contesto" (del ragionamento). Tuttavia, (ii) c'è compatibilità tra il ragionamento eseguito in diversi contesti. la definizione delle logiche multi-contestuali viene data seguendo uno schema tradizionale: per prima cosa vengono introdotti il linguaggio e la semantica, detta "Semantica a Modelli Locali". Poi viene fornita l'assiomatizzazione, che utilizza un sistema formale detto "Sistemi Multi-Contesto". Per rendere la presentazione più chiara e comprensibile, ma anche per mostrare come le logiche multi-contestuali possono essere applicate, utilizziamo un esempio classico di ragionamento contestuale: il "ragionamento prospettico",