-
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)
-
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)
-
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)
-
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)
-
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)
-
Chiara Ghidini; Luciano Serafini,
Model Theoretic Semantics for Information Integration,
8th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA`98),
Springer,
vol.1480,
1998
, pp. 267-
280
, (8th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA`98),
Sozopol, Bulgaria,
21/09/1998 - 23/09/1998)
-
Massimo Benerecetti; Paolo Bouquet; Chiara Ghidini,
Sozopol, Bulgaria,
Springer Verlag,
vol.1480,
1998
, pp. 62-
75
, (8th International Conference on Artificial Intelligence, Methodology, Systems, and Applications (AIMSA 98),
Sozopol, Bulgaria,
1998-September, 21--23)
-
Ghidini, Chiara; Serafini, Luciano,
Proceedings of the First International Workshop on Agent Mediated Electronic Trading,
Springer Verlag,
vol.1571,
1998
, pp. 189-
206
, (First International Workshop on Agent Mediated Electronic Trading (AMET-98),
Minneapolis, USA,
1998-May, 10)
-
Giunchiglia, Fausto; Ghidini, Chiara,
Local Models Semantics, or Contextual Reasoning = Locality + Compatibility,
Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning,
Morgan Kaufmann,
1998
, pp. 282-
289
, (Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98),
Trento, Italy,
1998)
-
Chiara Ghidini,
A Semantics for Contextual Reasoning: Theory and Two Relevant Applications,
Since McCarthy`s Turing Award speech, in 1971, the notion of context has been used in Artificial Intelligence to localize reasoning, in the sense that intelligent agents reasoning depends on the situation agents are embedded in, and on their cognitive state. A typical example is McCarthy`s above theory, in which, depending on context, the `same` theory, describing a blocks world, can be represented in two different ways with a different degree of generality. The emphasis on the role of context in localizing reasoning does not mean that there is no relation between reasoning performed in different contexts. In many applications of contexts, e.g. reasoning about beliefs, reasoning about viewpoints, integration of heterogeneous information, and multiagent systems, reasoning may involve many interacting contexts. Therefore a certain form of compatibility must exist between facts described in different contexts. This thesis aims at defining a semantics for contextual reasoning, called Local Models Semantics, that formalizes the role of context in localizing reasoning and the relations (compatibilities) among different contexts. Additionally we use tis semantics to formalize two relevant applications, that is, reasoning about beliefs and the integration of heterogeneous information in a federated database. By developing the theory of Local Models Semantics we pursue two objectives. First we aim to illustrate the intuitions underlying the use of context in reasoning. In addition we define a formal semantics for contextual reasoning which formalizes these intuitions. These objectives are accomplished by giving the basic definitions of model, satisfiability, and logical consequence. By applying Local Models Semantics to reasoning about beliefs we intend to provide evidence that our semantics provides enough modularity and flexibility to formalize agents with various introspective reasoning capabilities. Finally, by applying Local Models Semantics to the integration of information coming from heterogeneous databases, we intend to show that a precise formal semantics of a federation of databases can be defined by considering each database in the federation as a context and interactions between different databases as relations between contexts,
1998
