Temporal logic model of performance in high school = Темпорально-логическая модель деятельности обучаемого в вузе

V. N. Pavlenko, Y. M. Tkachenko

Abstract


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.19970

http://ojs.ukw.edu.pl/index.php/johs/article/view/2015%3B5%287%29%3A258-270

https://pbn.nauka.gov.pl/works/584328

http://dx.doi.org/10.5281/zenodo.19970

Formerly 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 zawartość merytoryczna czasopisma nie ulega zmianie.

Zgodnie z informacją MNiSW z dnia 2 czerwca 2014 r., że w roku 2014 nie będzie 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, Poland

Open 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 commercial

use, 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, 61070

E-mail: pavlenko_vitaliy@mail.ru

 

Y.M. Tkachenko,

NationalAerospaceUniversity«Kharkiv Aviation Institute», Ukraine

Chkalova str. 17,Kharkiv,Ukraine, 61070

E-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.

 

 

Аннотация: изложен один из этапов реализации подхода к организации компьютерной поддержки принятия решений по определению траектории обучения студентов в ВУЗах, а именно синтез модели обучаемого. Для синтеза модели обучаемого использован математический аппарат темпоральной логики. Формой программной реализации модели обучаемого является его представление в виде интеллектуального агента. Дальнейшие этапы разрабатываемого подхода основаны на разработке модели студенческой группы как сообщества интеллектуальных агентов, и на представлении процесса обучения студентов в форме мультиагентной системы. Мультиагентная система будет использоваться для поддержки принятия решений руководителями разных уровней (деканами, проректорами по научно-педагогической работе) при возникновении спорных ситуаций в процессе обучения как отдельных студентов, так и студенческих групп.

 

Ключевые слова: студент, студенческая группа, траектория обучения, образовательный процесс, процессная модель, мультиагентные системы, интеллектуальные агенты, темпоральная логика.


Keywords


student, student group, the trajectory of education, educational process, process model, multi-agent systems, intelligent agents, temporal logic.

Full Text:

PDF

References


Ladkin P.B., Maddux R.D. The Algebra of Constraint Satisfaction Problems and Temporal Reasoning// Technical Report, Crestel Institute, 1988.

Van Beek P., Manchak D. W. The Design and Experimental Analysis of Algorithms for Temporal Reasoning// Journal of Artificial Intelligence Research. – 1996. – №4. – P.1-18.

Broxvall M., Jonsson P. Point Algebras for Temporal Reasoning: Algorithms and Complexity// Artificial Intelligence. – 2003. – Vol.149, №2. – P.464-469.

Allen J.F., Hayes P. Moments and Points in an Interval-based Temporal Logic// Computational Intelligence. – 1989. – Vol.5. – P.225-238.


Refbacks

  • There are currently no refbacks.




Copyright (c)



Journal of Education, Health and Sport formerly Journal of Health Sciences

Declaration on the original version.

Editors indicates that the main version of the magazine is to issue a "electronic".

The journal has had 5 points in Ministry of Science and Higher Education parametric evaluation. § 8. 2) and § 12. 1. 2) 22.02.2019.

1223 Journal of Education, Health and Sport eISSN 2391-8306 7

ISSN 2391-8306 formerly ISSN: 1429-9623 / 2300-665X

Archives 2011 - 2014

PBN 2011 - 2014

https://pbn.nauka.gov.pl/sedno-webapp/search?search&searchCategory=WORK&filter.inJournal=36616

POL-index 2011 - 2014

https://pbn.nauka.gov.pl/polindex-webapp/browse/journal/journal-32a319c5-a850-4f44-ba70-1418a6087655

BASE 2011 - 2014

https://www.base-search.net/Search/Results?lookfor=Journal+of+Health+Sciences+%28Radom%29&type=all&oaboost=1&ling=1&name=&thes=&refid=dcrespl&newsearch=1

http://elibrary.ru/contents.asp?titleid=37467

http://journal.rsw.edu.pl/index.php/JHS/issue/archive

Indexed in Bases, Bazy indeksacyjne: ERIH Plus, Worldcat, PBN/POL-Index, ICI Journals Master List, Directory of Open Access Journals (DOAJ), ZBD, Ulrich's periodicals, Google Scholar, Polska Bibliografia Lekarska

US NLM = 101679844

101679844 - NLM Catalog Result - NCBI

https://www.ncbi.nlm.nih.gov/nlmcatalog/101679844

Find a library that holds this journal: http://worldcat.org/issn/23918306

Journal Language(s): English 

PBN Poland

https://pbn.nauka.gov.pl/sedno-webapp/journals/49068

POL-index

https://pbn.nauka.gov.pl/polindex-webapp/browse/journal/journal-c39c8169-88d2-45db-9e7f-d948ce9981c4

BASE

https://www.base-search.net/Search/Results?join=AND&bool0[]=AND&lookfor0[]=2391-8306&type0[]=all&page=11&l=pl&oaboost=1&refid=dcpagepl

Redaction, Publisher and Editorial Office

Instytut Kultury Fizycznej Uniwersytet Kazimierza Wielkiego w Bydgoszczy, Institute of Physical Education Kazimierz Wielki University in Bydgoszcz, Poland 85-091 Bydgoszcz ul. Sportowa 2  www.ukw.edu.pl Copyright by Instytut Kultury Fizycznej UKW w Bydgoszczy http://ojs.ukw.edu.pl/index.php/johs  Open Access ISSN 2391-8306 formerly ISSN: 1429-9623 / 2300-665X

The journal has been approved for inclusion in ERIH PLUS.

The ERIH PLUS listing of the journal is available at https://dbh.nsd.uib.no/publiseringskanaler/erihplus/periodical/info?id=485984

SIC Science citation index (calculated on the basis of TCI and Page Rank) 0

Russian Impact factor 0.16

Indexed in Index Copernicus Journals Master List.

http://journals.indexcopernicus.com/Journal+of+Education+Health+and+Sport,p24782242,3.html

ICV 2018 = 95.95 ICV 2017 = 91.30 ICV 2016 = 84.69 ICV 2015 = 93.34 ICV 2014 = 89.51 Standardized Value: 8.27 ICV 2013: 7.32 ICV 2012: 6.41 ICV 20115.48

The InfoBase Index IBI Factor for the year 2015 is 3.56 in InfoBase Index.com.

Website: www.infobaseindex.com

Universal Impact Factor 1.78 for year 2012. (http://www.uifactor.org/AppliedJournals.aspx)

Indexed in Polish Scholarly Bibliography (PBN) (PBN Polska Bibliografia Naukowa) (https://pbn.nauka.gov.pl/journals/36616)

is a portal of the Polish Ministry of Science and Higher Education, collecting information on publications of Polish scientists and on Polish and foreign scholarly journals. Polish Scholarly Bibliograhpy is a part of POL-on - System of Information on Higher Education. It is operated by the Interdisciplinary Centre for Mathematical and Computational Modelling, University of Warsaw.

Indexed in Russian Sciences Index Российский индекс научного цитирования (РИНЦ) http://elibrary.ru/contents.asp?titleid=37467

Indexed in Arianta Polish scientific and professional electronic journals Aneta Drabek i Arkadiusz Pulikowski

(http://www1.bg.us.edu.pl/bazy/czasopisma/czasop_full.asp?id=3595)