The article describes an attempt to implement abstract and concrete inherence calculi in the PowerLoom technology. Issues in the field of artificial intelligence, ontology and philosophy have been addressed. The inherence calculus is a type of a formal logic system. The PowerLoom technology consists of a knowledge representation language and an inference engine. Six inherence calculi have been implemented and an appropriate testing environment has been developed. The inherence calculus has been also extended by categorical properties and a theoretical discussion of ontological Boolean algebra has been conducted. Carried out experiments showed properties of the inherence calculi and also verified capabilities of PowerLoom to construct such logic systems. It occurred that expert system operational mode of PowerLoom outperforms its abilities to work as a mathematical theorem prover.

Date Published: 15 October 2012
PDF: 7 pages
Proc. SPIE 8454, Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2012, 845425 (15 October 2012); doi: 10.1117/12.2000055

Published in SPIE Proceedings Vol. 8454:
Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2012
Ryszard S. Romaniuk, Editor(s)