|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
| | ||
| Search | ||
| ||
2011 IEEE 23rd International Conference on Tools with Artificial Intelligence
Partition-Based Consequence Finding
Boca Raton, Florida USA
November 07-November 09
ISBN: 978-0-7695-4596-7
| ASCII Text | x | ||
| Gauvain Bourgne, Katsumi Inoue, "Partition-Based Consequence Finding," 2012 IEEE 24th International Conference on Tools with Artificial Intelligence, pp. 641-648, 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011. | |||
| BibTex | x | ||
| @article{ 10.1109/ICTAI.2011.102, author = {Gauvain Bourgne and Katsumi Inoue}, title = {Partition-Based Consequence Finding}, journal ={2012 IEEE 24th International Conference on Tools with Artificial Intelligence}, volume = {0}, year = {2011}, issn = {1082-3409}, pages = {641-648}, doi = {http://doi.ieeecomputersociety.org/10.1109/ICTAI.2011.102}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - 2012 IEEE 24th International Conference on Tools with Artificial Intelligence TI - Partition-Based Consequence Finding SN - 1082-3409 SP641 EP648 A1 - Gauvain Bourgne, A1 - Katsumi Inoue, PY - 2011 KW - Consequence Finding KW - Problem Decomposition KW - Distributed Artificial Intelligence VL - 0 JA - 2012 IEEE 24th International Conference on Tools with Artificial Intelligence ER - | |||
There is a growing interest in building large knowledge bases. Dealing with a huge amount of knowledge, two problems can be encountered in real domains. The first case is that knowledge is originally centralized so that one can access the whole knowledge but the size of the knowledge base is too huge to be handled. The second case is that knowledge is distributed in several sources so that it is hard or impossible to immediately access the whole or part of knowledge. We focus here on the case in which a single reasoner might not be able to cope with the entire database, and tries to partitioned the data to improve its scalability, which is likely to happen if the knowledge is partitioned into overlapping but cohesive components. We thus consider distributed reasoning with such structures, each partition collaborating with the other to produce a coherent output. We thus propose a generalization of partition-based theorem proving to partition-based consequence finding (sharing a specification of ``interesting'' consequences), with a sequential and a parallel version. As termination cannot always be ensured in first order, we also investigate bounded searches. Finally we provide an experimental analysis comparing our two variants with the centralized case using some automated process to decompose the theory, and show that for most problems, partitioning the data can indeed increase the efficiency, though proper choice of the decomposition (and especially of the starting point of the algorithm) can be difficult.
Index Terms:
Consequence Finding, Problem Decomposition, Distributed Artificial Intelligence
Citation:
Gauvain Bourgne, Katsumi Inoue, "Partition-Based Consequence Finding," ictai, pp.641-648, 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011
Usage of this product signifies your acceptance of the Terms of Use.
