You are here

Publications

  1. 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",
    2001
  2. Massimo Benerecetti; Paolo Bouquet; Chiara Ghidini,
    Contextual Reasoning Distilled,
    in «JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE»,
    vol. 12,
    n. 3,
    2000
    , pp. 279 -
    305
  3. Fausto Giunchiglia; Chiara Ghidini,
    A Local Models Semantics for Propositional Attitudes,
    Formal Aspects of Context,
    Dordrecht,
    Kluwer,
    2000
    , pp. 65 -
    83
  4. Luciano Serafini; Chiara Ghidini,
    Context Based Semantics for Information Integration,
    Formal Aspects of Context,
    Drodecht,
    Kluwer,
    2000
    , pp. 175 -
    192
  5. Chiara Ghidini; Luciano Serafini,
    Distributed First Order Logics,
    Frontiers of Combining Systems, Second International Symposium (FroCos 1998),
    n. 7,
    2000
    , pp. 121-
    139
    , (Frontiers of Combining Systems, Second International Symposium (FroCos 1998),
    1998)
  6. Luciano Serafini; Chiara Ghidini,
    Using wrapper agents to answer queries in distributed information systems,
    First International Conference on Advances in Information Systems (ADVIS`2000),
    Springer,
    vol.1909,
    2000
    , pp. 331-
    340
    , (First International Conference on Advances in Information Systems (ADVIS`2000),
    Izmir, Turkey,
    25/10/2000 - 27/10/2000)
  7. Luciano Serafini; Chiara Ghidini,
    Using Wrapper Agents to Answer Queries in Distributed Information Systems,
    4th International Conference on Multi-Agent Systems (ICMAS 2000),,
    IEEE Computer Society,
    2000
    , pp. 429-
    430
    , (4th International Conference on Multi-Agent Systems (ICMAS 2000),,
    Boston, USA,
    2000)
  8. Chiara Ghidini; Luciano Serafini,
    A Context-based Logic for Distribution Knowledge Representation and Reasoning,
    Second International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT`99),
    Springer,
    vol.1688,
    1999
    , pp. 159-
    172
    , (Second International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT`99),
    Trento, Italy,
    09/1999)
  9. Michael, Fisher; Ghidini, Chiara,
    Programming Resource-Bounded Deliberative Agents,
    Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence,
    Morgan Kaufmann Publ., Inc,
    1999
    , pp. 200-
    205
    , (Sixteenth International Joint Conference on Artificial Intelligence (IJCAI'99),
    Stockolm,
    31/7/1999 -- 6/8/1999)
  10. Ghidini, Chiara,
    Proceedings of Modeling and Using Context, Second International and Interdisciplinary Conference, CONTEXT'99,
    Springer Verlag - Heidelberg,
    vol.1688,
    1999
    , pp. 145-
    158
    , (Modelling2nd International and Interdisciplinary Conference (Context'99),
    Trento, Italy,
    1999)

Pages