

Distributed First Order Logics
Abstract(joint work with Chiara Ghidini)In this seminar we present our recent work on distributed first order logics (DFOL). DFOL is a logic for the formalization of distributed knowledge representation and reasoning systems (DKRS). In a DKRS knowledge is represented by a set of heterogeneous subsystems, each of which represents, in its own language, partial knowledge about a subset of the whole domain, and can exchange knowledge with the other subsystems via query answering. DFOL formalizes the partial knowledge of each subsystems with a first order theory (or context) on a given domain, and the communication between two subsystems by a relation between the formulas of their languages (query mapping) and a relation between objects of their domains (answer mapping). In the talk we describe the language and the semantics. and a sound and complete calculus (based on Multi Context Systems, an extension of natural deduction) for DFOL. Slideshttp://afrodite.itc.it:1024/~serafini/vwwsmar99/slides.htmlAttendees
^{1} Luciano Serafini ITCIRST Trento Italy serafini@irst.itc.it http://afrodite.itc.it:1024/~serafini/ 