Application of temporal LNC logic in artificial intelligence
Marek Adamek , Jan Mulawka
AbstractThis 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.
|Publication size in sheets||0.5|
|Book||Romaniuk Ryszard (eds.): Proc. SPIE. 10031, Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2016, vol. 10031, 2016, P.O. Box 10, Bellingham, Washington 98227-0010 USA , SPIE , ISBN 9781510604858, [781510604865 (electronic) ], 1170 p., DOI:10.1117/12.2257157|
|Score|| = 15.0, 03-02-2020, BookChapterMatConfByConferenceseries|
= 15.0, 03-02-2020, BookChapterMatConfByConferenceseries
|Publication indicators||= 1; = 0|
* presented citation count is obtained through Internet information analysis and it is close to the number calculated by the Publish or Perish system.