VWS Talk 4: Distributed First Order Logics  
     The VWS Project      How a VWS Works      How to Join a
VWS      How to Give a
VWS      Relevant
Information      The VWS
Programme      People
Virtual Worldwide Seminar Project

Distributed First Order Logics

Luciano Serafini1
Monday, March 8, 1999


(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.




1 Luciano Serafini
ITC-IRST Trento Italy

Top of this page

 Contact: Virtual Seminar Coordinators
Last modified: Wed Feb 24 13:44:43 1999