Application of temporal LNC logic in artificial intelligence

Marek Adamek , Jan Mulawka

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.
Author Marek Adamek ISE
Marek Adamek,,
- The Institute of Electronic Systems
, Jan Mulawka ISE
Jan Mulawka,,
- The Institute of Electronic Systems
Pages1003147-1-1003147-8
Publication size in sheets0.5
Book Romaniuk Ryszard (eds.): Proc. SPIE. 10031, Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2016, vol. 10031, 2016, SPIE , ISBN 9781510604858, [781510604865 (electronic) ], 1170 p., DOI:10.1117/12.2257157
DOIDOI:10.1117/12.2247947
URL http://dx.doi.org/10.1117/12.2247947
Languageen angielski
File
1003147_adamek.pdf (file archived - login or check accessibility on faculty) 1003147_adamek.pdf 416.93 KB
Score (nominal)15
ScoreMinisterial score = 15.0, 27-03-2017, BookChapterMatConf
Ministerial score (2013-2016) = 15.0, 27-03-2017, BookChapterMatConf
Citation count*0
Cite
Share Share



* presented citation count is obtained through Internet information analysis and it is close to the number calculated by the Publish or Perish system.
Back