SUMMARY
Pavlenko V. N., Tkachenko Y. M. Temporal logic model of performance in high school = ???????????-?????????? ?????? ???????????? ?????????? ? ????. Journal of Education, Health and Sport. 2015;5(7):258-270. ISSN 2391-8306. DOI 10.5281/zenodo.19970http://ojs.ukw.edu.pl/index.php/johs/article/view/2015%3B5%287%29%3A258-270https://pbn.nauka.gov.pl/works/584328http://dx.doi.org/10.5281/zenodo.19970Formerly Journal of Health Sciences. ISSN 1429-9623 / 2300-665X. Archives 2011 – 2014 http://journal.rsw.edu.pl/index.php/JHS/issue/archive Deklaracja.Specyfika i zawartosc merytoryczna czasopisma nie ulega zmianie.Zgodnie z informacja MNiSW z dnia 2 czerwca 2014 r., ze w roku 2014 nie bedzie przeprowadzana ocena czasopism naukowych; czasopismo o zmienionym tytule otrzymuje tyle samo punktów co na wykazie czasopism naukowych z dnia 31 grudnia 2014 r.The journal has had 5 points in Ministry of Science and Higher Education of Poland parametric evaluation. Part B item 1089. (31.12.2014).© The Author (s) 2015;This article is published with open access at Licensee Open Journal Systems of Kazimierz Wielki University in Bydgoszcz, Poland and Radom University in Radom, PolandOpen Access. This article is distributed under the terms of the Creative Commons Attribution Noncommercial License which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited. This is an open access article licensed under the terms of the Creative Commons Attribution Non Commercial License (http://creativecommons.org/licenses/by-nc/3.0/) which permits unrestricted, non commercial use, distribution and reproduction in any medium, provided the work is properly cited.This is an open access article licensed under the terms of the Creative Commons Attribution Non Commercial License (http://creativecommons.org/licenses/by-nc/3.0/) which permits unrestricted, non commercialuse, distribution and reproduction in any medium, provided the work is properly cited.The authors declare that there is no conflict of interests regarding the publication of this paper.Received: 15.06.2015. Revised 05.07.2015. Accepted: 12.07.2015. TEMPORAL LOGIC MODEL OF PERFORMANCE IN HIGH SCHOOL???????????-?????????? ?????? ???????????? ?????????? ? ???? V. N. Pavlenko, Y. M. Tkachenko?. ?. ????????, ?. ?. ???????? National Aerospace University «Kharkiv Aviation Institute», Ukraine???????????? ??????????????? ??????????? ??. ?. ?. ?????????? «???», ??????? V.N. Pavlenko,NationalAerospaceUniversity«Kharkiv Aviation Institute», Ukraine Chkalova str. 17,Kharkiv,Ukraine, 61070E-mail: pavlenko_vitaliy@mail.ru Y.M. Tkachenko,NationalAerospaceUniversity«Kharkiv Aviation Institute», Ukraine Chkalova str. 17,Kharkiv,Ukraine, 61070E-mail: juli.tkachenko@mail.ru Abstract: The one of the stages of the approach to the organization of computer decision support to determine the trajectory of training of students in universities, namely the synthesis of model student. For the synthesis of the student model used mathematical apparatus of temporal logic. The form of a software implementation, the student model is representation in the form of an intelligent agent. Further stages of developing a new approach based on the development of the model of the student group as a community of intelligent agents, and on the notion of the learning process of students in the form of multi-agent system. A multi-agent system will be used to support decision-making by different levels (deans, vice-rector for scientific and pedagogical work) in the event of disputes in the learning process of individual students and student groups. Keywords: student, student group, the trajectory of education, educational process, process model, multi-agent systems, intelligent agents, temporal logic. ?????????: ??????? ???? ?? ?????? ?????????? ??????? ? ??????????? ???????????? ????????? ???????? ??????? ?? ??????????? ?????????? ???????? ????????? ? ?????, ? ?????? ?????? ?????? ??????????. ??? ??????? ?????? ?????????? ??????????? ?????????????? ??????? ???????????? ??????. ?????? ??????????? ?????????? ?????? ?????????? ???????? ??? ????????????? ? ???? ????????????????? ??????. ?????????? ????? ???????????????? ??????? ???????? ?? ?????????? ?????? ???????????? ?????? ??? ?????????? ???????????????? ???????, ? ?? ????????????? ???????? ???????? ????????? ? ????? ?????????????? ???????. ?????????????? ??????? ????? ?????????????? ??? ????????? ???????? ??????? ?????????????? ?????? ??????? (????????, ???????????? ?? ??????-?????????????? ??????) ??? ????????????? ??????? ???????? ? ???????? ???????? ??? ????????? ?????????, ??? ? ???????????? ?????. ???????? ?????: ???????, ???????????? ??????, ?????????? ????????, ??????????????? ???????, ?????????? ??????, ?????????????? ???????, ???????????????? ??????, ???????????? ??????.