Logo PTI
Polish Information Processing Society
Logo FedCSIS

Annals of Computer Science and Information Systems, Volume 2

Proceedings of the 2014 Federated Conference on Computer Science and Information Systems

Selected Aspects of Temporal Knowledge Engineering

,

DOI: http://dx.doi.org/10.15439/2014F290

Citation: Proceedings of the 2014 Federated Conference on Computer Science and Information Systems, M. Ganzha, L. Maciaszek, M. Paprzycki (eds). ACSIS, Vol. 2, pages 10911096 ()

Full text

Abstract. The paper presents some problems of logical coherence while reasoning temporally. It shows the importance of these problems in some application domains for temporal intelligent systems, e.g. in legal domain. It then presents Logos reasoning tool and its inference techniques, it also shows how Logos can handle temporal rules now, and it points out what should still be done in order to make the system resistant to temporal reasoning logical problems.