Selected Aspects of Temporal Knowledge Engineering
Maria Mach-Król, Krzysztof Michalik
Citation: Proceedings of the 2014 Federated Conference on Computer Science and Information Systems, M. Ganzha, L. Maciaszek, M. Paprzycki (eds). ACSIS, Vol. 2, pages 1091–1096 (2014)
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.