Artificial Intelligence: Theories, Models and Applications
Lecture Notes in Computer Science, 2008, Volume 5138/2008, 359-364, DOI: 10.1007/978-3-540-87881-0_33

Introducing Parallel Computations to a PTTP-Based First-Order Reasoning Process in the Oz Language

Adam Meissner

View Related Documents

Abstract

We present a method of adding parallel computations to a reasoning process based on the Prolog Technology Theorem Proving approach. For this purpose, the input set of first-order logic formulas is translated into a logically equivalent program in the Oz language.

Keywords  parallel reasoning - first-order logic - PTTP - the Oz language

Fulltext Preview

Image of the first page of the fulltext document