15 October 2012 Implementation of inherence calculus in the PowerLoom environment
Author Affiliations +
Proceedings Volume 8454, Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2012; 845425 (2012) https://doi.org/10.1117/12.2000055
Event: Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2012, 2012, Wilga, Poland
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.
© (2012) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only.
Marcin F. Wachulski, Marcin F. Wachulski, Jan J. Mulawka, Jan J. Mulawka, Edward Nieznański, Edward Nieznański, } "Implementation of inherence calculus in the PowerLoom environment", Proc. SPIE 8454, Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2012, 845425 (15 October 2012); doi: 10.1117/12.2000055; https://doi.org/10.1117/12.2000055
PROCEEDINGS
7 PAGES


SHARE
RELATED CONTENT

Inconsistency and its automated proving
Proceedings of SPIE (October 14 2012)
On a concept of computer game implementation based on a...
Proceedings of SPIE (August 06 2017)
Logical account of a terminological tool
Proceedings of SPIE (February 28 1991)
Case-based reasoning approach for heuristic search
Proceedings of SPIE (February 28 1991)
Authenticity and privacy of a team of mini UAVs by...
Proceedings of SPIE (April 16 2006)
Hypothetico-deductive diagnoses
Proceedings of SPIE (February 29 1992)

Back to Top