Scalability Study of Peer-to-Peer Consequence FindingReport as inadecuate

Scalability Study of Peer-to-Peer Consequence Finding - Download this document for free, or read online. Document in PDF available to download.

1 LRI - Laboratoire de Recherche en Informatique 2 LSR - IMAG - Laboratoire Logiciels Systèmes Réseaux

Abstract : In peer-to-peer inference systems, each peer can reason locally but also solicit some of its acquaintances, sharing part of its vocabulary.
This paper studies both theoretically and experimentally the problem of computing proper prime implicates for propositional peer-to-peer systems, the global theory union of all peer theories of which is not known as opposed to partition-based reasoning.

Author: Philippe Adjiman - Philippe Chatalic - François Goasdoué - Marie-Christine Rousset - Laurent Simon -



Related documents