Share Email Print
cover

Proceedings Paper

Implementation of inherence calculus in the PowerLoom environment
Author(s): Marcin F. Wachulski; Jan J. Mulawka; Edward Nieznański
Format Member Price Non-Member Price
PDF $17.00 $21.00

Paper Abstract

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.

Paper Details

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
Show Author Affiliations
Marcin F. Wachulski, Warsaw Univ. of Technology (Poland)
Jan J. Mulawka, Warsaw Univ. of Technology (Poland)
Edward Nieznański, Lazarski Univ. (Poland)


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

© SPIE. Terms of Use
Back to Top