Bottom-up Abduction by Model Generation

Inoue, Katsumi; Ohta, Yoshihiko; Hasegawa, Ryuzo; Nakashima, Makoto

Bottom-up Abduction by Model Generation

Katsumi Inoue, Yoshihiko Ohta, Ryuzo Hasegawa, Makoto Nakashima

Download BibTeX Cite

Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence. Automated Reasoning. Pages 102-107.

Abstract

We investigate two realizations of parallel abductive reasoning systems using the model generation theorem prover MGTP. The first one, called the MGTP+MGTP method, is a co-operative problem-solving architecture in which model generation and consistency checking communicate with each other. There , parallelism is exploited by checking consistencies in parallel. However, since this system consists of two different components, the possibilities for parallelization are limited. In contrast, the other method, called the Skip method, does not separate the inference engine from consistency checking, but realizes both functions in only one MGTP that is used as a generateand-test mechanism. In this method, multiple models can be kept in distributed memories, thus a great amount of parallelism can be obtained. We also attempt the upside-down metainterpretation approach for abduction, in which top-down reasoning is simulated by a bottomup reasoner.

Katsumi Inoue, Yoshihiko Ohta, Ryuzo Hasegawa, and Makoto Nakashima. 1993. Bottom-up Abduction by Model Generation. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93. IJCAI, 102–107. https://ijcai.org/proceedings/1993/15

@inproceedings{ijcai1993p15,
  title     = {Bottom-up Abduction by Model Generation},
  author    = {Inoue, Katsumi and Ohta, Yoshihiko and Hasegawa, Ryuzo and Nakashima, Makoto},
  booktitle = {Proceedings of the Thirteenth International Joint Conference on
               Artificial Intelligence, {IJCAI-93}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Ruzena Bajcsy},
  pages     = {102--107},
  year      = {1993},
  note      = {Automated Reasoning},
  url       = {https://ijcai.org/proceedings/1993/15},
}

TY  - CPAPER
TI  - Bottom-up Abduction by Model Generation
AU  - Inoue, Katsumi
AU  - Ohta, Yoshihiko
AU  - Hasegawa, Ryuzo
AU  - Nakashima, Makoto
T2  - Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1993
SP  - 102
EP  - 107
UR  - https://ijcai.org/proceedings/1993/15
ER  -