Magic Sets for Parallel Abduction Problem Solving.
Accession number;00A0347471 |
Title;Magic Sets for Parallel Abduction Problem Solving. |
Author;OTA YOSHIHIKO(Ministry of Education, National Inst. Multimida Education, JPN) MIZUSHIMA KAZUO(Ministry of Education, National Inst. Multimida Education, JPN) KUNO EIJI(Polytechnic Univ., JPN) TERAMACHI YASUAKI(Polytechnic Univ., JPN) |
Journal Title;SIG-FAI |
Journal Code:X0830A |
ISSN: |
VOL.40th;NO.;PAGE.39-44(2000) |
Figure&Table&Reference;FIG.1, REF.14 |
Pub. Country;Japan |
Language;Japanese |
Abstract;This paper presents a new transformation method from abduction problems into model generation problems. We introduce both disjunctive supplementary magic rules and modified rules with hypotheses into generalized supplementary magic sets. In model generation of the magic sets for abduction, the disjunctive supplementary magic rules offer OR-parallelism. On distributed-memory multiprocessors, model generation theorem proves can exploit such parallelism. An experimental result shows that it is possible to obtain an 87-hold speedup by using 112 processors. (author abst.) |
No hay comentarios:
Publicar un comentario
recreative entheology, ¡we past-over critical-mass!