Logika - mokslas, tiriantis mąstymo, samprotavimo dėsnius ir jo formas. Logikos pagalba mes galime nagrinėti teiginius ir įrodymus bei išsiaiškinti, teisingi jie ar ne. Logika yra naudojama daugelyje gyvenimo sričių: filosofijoje, matematikoje, kompiuterinėse programose, ir t.t. Plačiai yra paplitusi klasikinė logika. Šios logikos formulėmis galima nagrinėti uždavinius, kurių objektų būsena yra statinė, tačiau taip pat yra uždavinių, kurių būsena yra dinaminė, t.y. reikšmės ne visada vienodos, jos kinta. Todėl jų negalima išspręsti klasikinėmis logikos formulėmis. Reikalinga kita logika, kuri atsižvelgtų, kaip keičiasi objektų reikšmės kintant laikui, kadangi uždavinio vertė gali visiškai skirtis jei jį nagrinėsime kitu laiko momentu. Tiesinės baigtinės laiko logikos taisyklės gali nagrinėti ir tokius uždavinius, kuriuose reikia atsižvelgti į reikšmių kaitą atitinkamais laiko momentais. Pagrindinis šios logikos skirtumas: tikslesnis uždavinio detalizavimas, papildomos uždavinio nagrinėjimo (sprendimo) priemonės, t.y. naudosime naujus operatorius - laiko. Svarbu atsižvelgti ir į tai, kad uždaviniuose informacija gali būti nepilna. Sprendžiant reikia apibrėžti visus galimus variantus, t.y. esant tam tikrom sąlygom būtina atlikti atitinkamus veiksmus. Tiesinė baigtinė logika neapsiriboja vien tik praeitimi, taip pat yra atsižvelgiama ir į ateitį: nuo to laiko kai žingsnis po žingsnio einame nuo pradinės formos iki tikslo. Šios logikos struktūra yra baigtinė į abi puses, t.y. ir... [toliau žr. visą tekstą] / The aim of the present paper was to go deeper into the logics of time. By the formula of the classical logic it is possible to analyze only those problems where the condition of the objects is static. However, there are such problems where the condition of the objects is dynamic, i.e., the meanings are not always the same, they change. That is why it is not possible to solve them by the formula of classical logic. By referring to the articles (look [CM97], [MSC97]) calculation rules for the finite linear temporal logic as well as predicates’ logic above the finite temporal logic (PLBLL) were formulated. Concrete possible problem cases were defined by those rules. Therefore, it is no longer difficult to analyze the problems wanted with the help of those rules. Moreover, the formulated rules make it possible to analyze such problems where it is necessary to pay attention to the change of meanings at appropriate time moments. The main difference of this logic is: a more exact detailed analysis of the problem, additional tools of a problem analysis, i.e. new time operators are used. The work of the Turing machine was analyzed (look [Nor04]) over finite temporal structure. Necessary predicates were formulated, with the help of which transit formula were described. Also, this work aims at verifying the effective possibility of using Linear Time logic as a planning language. The main advantage of such a rich and expressive language is the possibility of encoding problem specific... [to full text]