You are here


  1. C. Ghidini; L. Serafini,
    Distributed First Order Logic - revised semantics,
    In this paper we define a logic, called Distributed First Order Logic (DFOL), for the formalization of distributed knowledge representation systems (DKRSs). In a DKRS knowledge is distributed in a set of heterogeneous subsystems. Each subsystem represents, in its own language, partial knowledge about a subset of the whole domain, and is able to exchange knowledge with the other subsystems via query answering. DFOL formalizes the partial knowledge of each subsystem by means of a first order theory (or context) on a given domain, and represents the communication between subsystems by means of relations between formulas in the languages of the different subsystems and relations between objects in their domains. In this paper we present the syntax and semantics of DFOL,
  2. M. Fisher; C. Ghidini; B. J. Hirsch,
    Organising Computation Through Dynamic Grouping,
    Objects, Agents and Features. Structuring mechanis,
    , pp. 117 -
  3. C. Ghidini; F. Giunchiglia,
    A semantics for abstraction,
    16th European conference on Artificial Intelligence (ECAI-04),
    IOS Press,
    , pp. 343-
    , (16th European conference on Artificial Intelligence (ECAI-04),
    Valencia, Spain,
    22/08/2004 - 27/08/2004)
  4. M. Fisher; C. Ghidini; B. J. Hirsch,
    Programming Groups of Rational Agents,
    Computational Logic in Multi-Agent Systems 4th International Workshop (CLIMA IV),
    , pp. 16-
    , (Computational Logic in Multi-Agent Systems 4th International Workshop (CLIMA IV),
    Fort Lauderdale, FL, USA,
    06/01/2004 - 07/01/2004)
  5. T Finin; C. Ghidini; Porta Tom La; C. Petrioli (eds.),
    First Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services (MobiQuitous`04),
    Washington, DC,
    IEEE Computer Society,
  6. B. J. Hirsch; M. Fisher; C. Ghidini; P. Busetta,
    Organising Software in Active Environments,
    In this paper, we investigate the use of logic-based multi-agent systems for modelling active environments. Our case study is an intelligent support system for a so-called "active museum". We show the approach of structuring the ``agent space'', i.e. the social organisations acting within the environment, is well fitted to naturally represent not only the physical structure of the application, but also the virtual structure in which it operates. The adoption of a logic-based modelling system provides high-level programming concepts, and allows the designer to rapidly design and develop flexible software to be used in active environments,
  7. Paolo Bouquet; Chiara Ghidini; Fausto Giunchiglia; Enrico Blanzieri,
    Theories and uses of context in knowledge representation and reasoning,
    vol. 35,
    n. 3,
    , pp. 455 -
  8. P. Blackburn; Chiara Ghidini; Roy Turner; and Fausto Giunchiglia (eds.),
    Modeling and Using Context - 4th International and Interdisciplinary Conference CONTEXT 2003,
  9. 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,
  10. 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,