
Proceedings Paper
Implementation of inherence calculus in the PowerLoom environmentFormat | Member Price | Non-Member Price |
---|---|---|
$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
Published in SPIE Proceedings Vol. 8454:
Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2012
Ryszard S. Romaniuk, Editor(s)
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)
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
