28 September 2016 Application of temporal LNC logic in artificial intelligence
Author Affiliations +
Proceedings Volume 10031, Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2016; 1003147 (2016) https://doi.org/10.1117/12.2247947
Event: Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2016, 2016, Wilga, Poland
Abstract
This paper presents the temporal logic inference engine developed in our university. It is an attempt to demonstrate implementation and practical application of temporal logic LNC developed in Cardinal Stefan Wyszynski University in Warsaw.1 The paper describes the fundamentals of LNC logic, architecture and implementation of inference engine. The practical application is shown by providing the solution for popular in Artificial Intelligence problem of Missionaries and Cannibals in terms of LNC logic. Both problem formulation and inference engine are described in details.
© (2016) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only.
Marek Adamek, Marek Adamek, Jan Mulawka, Jan Mulawka, } "Application of temporal LNC logic in artificial intelligence", Proc. SPIE 10031, Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2016, 1003147 (28 September 2016); doi: 10.1117/12.2247947; https://doi.org/10.1117/12.2247947
PROCEEDINGS
8 PAGES


SHARE
RELATED CONTENT

On a categorial aspect of knowledge representation
Proceedings of SPIE (October 15 2012)
A UML-based metamodel for software evolution process
Proceedings of SPIE (April 16 2014)
The Role of Understanding in Automated Program Synthesis
Proceedings of SPIE (April 05 1985)
Thesaurus Building With Transitive Closures For Kadre
Proceedings of SPIE (May 11 1987)
The Diagnosis Kernel
Proceedings of SPIE (January 01 1990)

Back to Top