Paper:
Language: English:

Infinite Computation in the Equivalent Transformation Model

Hiroshi Mabuchi^, Kiyoshi Akama^, Hidekatsu Koike^, and Katsunori Miura^**

^Faculty of Software and Information Science, Iwate Prefectural University, Iwate, Japan
^Information Initiative Center, Hokkaido University, Sapporo, Japan
^Faculty of Social Information, Sapporo Gakuin University, Ebetsu, Hokkaido, Japan

Received: January 27, 2006

Accepted: November 27, 2006

Keywords: infinite computation, infinite term, greatest fixpoint, equivalent transformation

Journal ref: Journal of Advanced Computational Intelligence and Intelligent Informatics, Vol.11, No.2 pp. 176-186, 2007

Abstract

There are many logic programs that do not terminate but perform useful computation in some sense. The usual theory of logic programming adopts least fixpoints to define the meaning of programs, which fails to capture the intended meaning of infinite computation. To give an appropriate sense to useful infinite computation, the theory of logic programming has adopted greatest fixpoints in place of least fixpoints. However, this solution developed in logic paradigm can not explain finite and infinite computation in a unified manner. This paper proposes a new approach to infinite computation based on the equivalent transformation paradigm, where infinite computation is regarded as repeated equivalent transformations and is given appropriate sense in the same way as the usual finite computation.

[Notice]
* "Preview" is the first 2 pages of the article. You don't need the registration.
* To read the PDF file you will then need to download and install the Adobe Reader.
Adobe Reader is free and available for download here: