F. Giunchiglia and L. Serafini. Multilanguage hierarchical logics or: how we can do without modal logics. Artificial intelligence, 65(1):29--70, 1994.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....aspect. In Subsection 4.1 we give the definitions and summarize the major results about MLS. In Subsection 4.2 we apply these ideas to the goal of describing an agency from an inferential point of view. 4. 1 MultiLanguage System Multilanguage systems were devised by Giunchiglia (see [22] 23] [24] for details and applications of MLS) A MLS is a way to link reasonings in different theories by a framework in which theories are independent but connected. Definition 4.1.1: let I be a set of indexes, L i iI a family of languages and W i iI a family of sets of well formed formulae (wffs) ....

F. Giunchiglia, L. Serafini, "Multilanguage hierarchical logics, or: how we can do without modal logics", Artificial Intelligence, 65 (1994), p. 29-70

....and derived dialogues. For application of this formalism, we need to de ne interaction rules for the dialogue rules and commitments arising in the dialogues under the di erent combinations; these interaction rules may be seen as analogous to the bridge rules between logics in multi context systems [8]. Firstly, we consider combination and termination rules under each of the possible Dialogue Combinations. For Iterated, Sequenced and Parallel dialogues, these rules for each dialogue apply only to that dialogue and do not interact, so no interaction rules are necessary. For Embedded dialogues, ....

Giunchiglia, F. and L. Serani: 1994, `Multilanguage hierarchical logics (or: how we can do without modal logics)'. Articial Intelligence 65(1), 29-70.

....detail the problems involved in distributed contextaware systems. We discuss the problem of what notion of context is adequate to design distributed context aware systems, and propose a model inspired to the framework of Local Models Semantic (Giunchiglia Ghidini 1998) and MultiContext Systems (Giunchiglia Sera ni 1994); as an illustration, we describe the architecture of a multi agent system for information retrieval in distributed environments. 2 Context in distributed applications In many types of context aware applications, context can be thought of as a collection of features of the surrounding ....

....between context aware autonomous agents in a distributed application. In what follows, we outline the ideas underlying such a formal model, largely inspired to Local Models Semantics (LMS) Giunchiglia Ghidini 1998) and its proof theoretical counterpart called MultiContext Systems (MCS) (Giunchiglia Sera ni 1994). A technical presentation of LMS is outside the scope of this essay. Therefore, we only present the main intuitions through a simple example, and refer the interested reader to the technical papers in the bibliography at the end of the essay. 4 The LMS model can be described as an attempt to ....

Giunchiglia, F. & Serani, L. (1994), `Multilanguage hierarchical logics (or: how we can do without modal logics)', Articial Intelligence 65, 29-70. Also IRSTTechnical Report 9110-07, IRST, Trento, Italy.

....agent architectures is that it is somewhat ad hoc in nature. There is often little connection between the specification of the architecture and its implementation. This work aims to rectify this rather undesirable situation. The crux of the work is to see that Giunchiglia s multi context systems (Giunchiglia and Serafini, 1994) can be used as a means of linking architecture directly to implementation. When used as advocated, multi context systems can be considered as being made up of four elements. The first element is the set of contexts, each of which corresponds to some architectural unit (in the example given in ....

F. Giunchiglia and L. Serafini, 1994. "Multilanguage Hierarchical Logics (or: How we can do without modal logics)". Artificial Intelligence 65:29--70.

....of Group Decision and Negotiation GDN2000 Keynote Paper 23 These issues were discussed in [28] where we showed how to augment a standard model of argumentation to work for agents which reason using beliefs, desires and intentions. We also discussed how to make use of multi context systems [12], originally proposed as a means of providing efficient theorem provers for modal logics, to integrate argumentation into a beliefdesire intention agent architecture. This latter strand of work was further developed in [34] and this has led to an implementation in which agents negotiate using ....

F. Giunchiglia and L. Serafini (1994) "Multilanguage hierarchical logics (or: How we can do without modal logics)" Artificial Intelligence 65 29-70.

No context found.

F. Giunchiglia and L. Serafini. Multilanguage hierarchical logics or: how we can do without modal logics. Artificial Intelligence, 65(1):29--70, 1994. Also IRST-Technical Report 911007, IRST, Trento, Italy.

No context found.

F. Giunchiglia and L. Serafini, `Multilanguage hierarchical logics, or: how we can do without modal logics', Artificial Intelligence, 65(1), 29-- 70, (1994).

.... building large common sense knowledge bases (see, for example, the project called CYC [39, 34] the largest knowledge base ever built) the formalization of theoretical issues concerning reasoning about beliefs [33, 28, 6, 21, 23] the formalization of meta reasoning and propositional attitudes [32]; the formalization of reasoning with viewpoints [4] reasoning about action [8] modeling of di erent aspects of agents and multi agent systems [7, 16] modeling dialog, argumentation, and information integration in electronic commerce [47, 46, 26] the integration of heterogeneous and autonomous ....

.... Logic of Context (LoC) 13] which illustrates the divide and conquer type (in fact, we will review also Dinsmore s theory of partitioned representations, as it provides an interesting variation of a divide and conquer theory) and Local Models Semantics Multi context systems (LMS MCS) [24, 32], which illustrates the compose and conquer type. Of course, there are several other (formal) theories of context in KRR, for example structured contexts with bred semantics [22] and the type theoretic foundation for context [51] However, we decided to focus on LoC and LMS MCS for two reasons: ....

[Article contains additional citation context not shown here]

F. Giunchiglia and L. Serani. Multilanguage hierarchical logics or: how we can do without modal logics. Articial Intelligence, 65(1):29{ 70, 1994. Also IRST-Technical Report 9110-07, IRST, Trento, Italy.

....this is the most interesting theoretical result of this paper. 3 Although this is beyond the goals of this paper, it is worth noticing that this methodology is general, and can be extended to the other normal and (we think) non normal logics, following the methodology and results presented in (Giunchiglia Serafini 1994, Giunchiglia, Serafini, Giunchiglia Frixione 1993) but see also, e.g. Fitting 1983, Massacci 1994) 4 Tableau is available via anonymous FTP at ftp.mrg.dist.unige.it in pub mrg systems tableau. 5 Kris is available via anonymous FTP at ftp.dfki.uni sb.de in pub tacos KRIS. The paper ....

Giunchiglia, F. & Serafini, L. (1994), `Multilanguage hierarchical logics (or: how we can do without modal logics)', Artificial Intelligence 65, 29-- 70. Also IRST-Technical Report 9110-07, IRST, Trento, Italy.

No context found.

F. Giunchiglia and L. Serafini. Multilanguage hierarchical logics or: how we can do without modal logics. Artificial intelligence, 65(1):29--70, 1994.

No context found.

F. Giunchiglia and L. Serafini. Multilanguage hierarchical logics or: how we can do without modal logics. Artificial Intelligence, 65(1):29--70, 1994. Also IRST-Technical Report 911007, IRST, Trento, Italy.

No context found.

Giunchiglia, F. and L. Serafini: 1994, `Multilanguage hierarchical logics (or: How we can do without modal logics)'. Artificial Intelligence 65, 29--70.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC