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, Jan J. Mulawka, 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

Modeling intelligent agent beliefs in a card game scenario
Proceedings of SPIE (October 15 2012)
Inconsistency and its automated proving
Proceedings of SPIE (October 15 2012)
On a concept of computer game implementation based on a...
Proceedings of SPIE (August 07 2017)
Logical account of a terminological tool
Proceedings of SPIE (March 01 1991)
SIMD approach to IDA* search
Proceedings of SPIE (March 01 1992)
Authenticity and privacy of a team of mini UAVs by...
Proceedings of SPIE (April 17 2006)

Back to Top