Application of temporal LNC logic in artificial intelligence

Marek Adamek , Jan Mulawka


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 (FEIT / PE)
Marek Adamek,,
- The Institute of Electronic Systems
, Jan Mulawka (FEIT / PE)
Jan Mulawka,,
- The Institute of Electronic Systems
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, P.O. Box 10, Bellingham, Washington 98227-0010 USA , SPIE , ISBN 9781510604858, [781510604865 (electronic) ], 1170 p., DOI:10.1117/12.2257157
Languageen angielski
1003147_adamek.pdf 416.93 KB
Score (nominal)15
Score sourceconferenceIndex
ScoreMinisterial score = 15.0, 03-02-2020, BookChapterMatConfByConferenceseries
Ministerial score (2013-2016) = 15.0, 03-02-2020, BookChapterMatConfByConferenceseries
Publication indicators Scopus Citations = 1; WoS Citations = 0
Citation count*
Share Share

Get link to the record

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