Time is a concept which underlies all the contemporary civilization. Therefore, it was necessary to create mathematical tools that allow a precise way to describe the complex time dependencies. One such tool is temporal logic. Its definition, description and characteristics will be presented in this publication. Then the authors will conduct a discussion on the usefulness of this tool in context of creating storyline in computer games such as RPG genre.
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.<sup>1</sup> 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.
This paper concerns one of the fundamental issues of software engineering. We consider the concept of software metrics
based on attributes describing each line of a computer program source code. Furthermore we present a design for a
flexible, plugin based system which allows to define and use such metrics. To show the practical utility of the solution
we implemented a basic version of the system and conducted experimental verification. Some of tests results and final
conclusions are also provided.