Implementation of inherence calculus in the PowerLoom environment

Marcin F. Wachulski; Jan J. Mulawka; Edward Nieznański

doi:10.1117/12.2000055

15 October 2012 Implementation of inherence calculus in the PowerLoom environment

Marcin F. Wachulski, Jan J. Mulawka, Edward Nieznański

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.

Citation Download Citation

Marcin F. Wachulski, Jan J. Mulawka, and 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); https://doi.org/10.1117/12.2000055

ACCESS THE FULL ARTICLE

INSTITUTIONAL
Select your institution to access the SPIE Digital Library.

SELECT YOUR INSTITUTION

PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.

PERSONAL SIGN IN

No SPIE Account? Create one

PURCHASE THIS CONTENT

SUBSCRIBE TO DIGITAL LIBRARY

50 downloads per 1-year subscription

Members: $195

Non-members: $335 ADD TO CART

25 downloads per 1 - year subscription

Members: $145

Non-members: $250 ADD TO CART

PURCHASE SINGLE ARTICLE

Includes PDF, HTML & Video, when available