Incremental Reasoning on Strongly Distributed Multi-Agent Systems

Ravve E. V. , Volkovich Z., Weber G.

17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Timisoara, Romanya, 21 - 24 Eylül 2015, ss.415-422 identifier identifier

  • Doi Numarası: 10.1109/synasc.2015.68
  • Basıldığı Şehir: Timisoara
  • Basıldığı Ülke: Romanya
  • Sayfa Sayıları: ss.415-422


We introduce the notion of strongly distributed multi-agent systems and present a uniform approach to incremental problem solving on them. The approach is based on the systematic use of two logical reduction techniques: Feferman-Vaught reductions and syntactically defined translation schemes. The multi-agent systems are presented as logical structures A. The problems are represented as boolean or quantitative formulae on them. We propose a uniform template for methods, which allow for a certain cost evaluation of formulae of logic L over A from values of formulae over its components and values of formulae over the index structure I. We show that our approach works for very many of extensions of First Order Logic.