Convergent Infinite Computation and Applications

[1] Abiteboul S,Vardi M Y, Vianu V. Computing with infinitary logic[J]. Theoretical Computer Science,1995,149(1):101~128. [2]Vardi M Y,Wolper P.Reasoning about infinite computations[J]. Information and Computation,1994,115(1):1~37. [3]李 未.一个开放的逻辑系统[J].中国科学(A辑),1992,10:1103~1113. [4]Blum L,Shub M,Smale S. On a theory of computation and complexity over the real numbers:NP-completeness,recursive function and universal machines,bull(New Series)[J]. Amer Math Soc,1989,21(1):1~46. [5]Chadzelek T,Hotz G.Analytic machines[J].Theoretical Computer Science,1999,219:151~167. [6]Nienhuys-Cheng S H. Distance between herbrand interpretations:a measurefor approximations to a target concept. In:Proceedings of the 7th International Workshop on Inductive Programming, 1997.LNAI1297. [7]Li W. A logical framework for inductive inference and its rationality. In:Fu N, ed.Advanced Topics in Artificial Intelligence, 1999.LNAI1747. [8]Dahr M. Deductive databases:theory and applications[M].USA:International Thomson Computer Press,1997. [9]Li W,Ma S,Sui Y,et al. A logical framework for convergent infinite computations. http://xxx.lanl.gov/abs/cs.lo/0105020. [10] Li W,Ma S. A framework for analytic-intelligent agents. In:Proceedings of the International Conference on Artificial Intelligence. Las Vegas:CSREA Press,2000.691~697.