В статье рассматриваются разработки методов интеллектуальной поддержки процесса диагностики сахарного диабета, а также определение его типа. В последние годы количество людей, страдающих данным заболеванием, неуклонно растет, а без своевременной диагностики эта патология может нанести огромный вред организму человека. Сахарный диабет 1 типа опасен тем, что в основном возникает у людей молодого возраста. Оперативное обнаружение диабета, а также определение его типа, поможет не только избежать возможных осложнений, но и в некоторых случаях предотвратить смерть пациента. Информационные технологии все чаще используются в различных сферах деятельности для разработки новых или совершенствования существующих методов обработки данных, особенно это можно заметить в сфере медицины. В настоящее время врач самостоятельно ставит диагноз, основываясь на результатах различных анализов, однако, для ускорения процесса принятия решения, можно воспользоваться методами математического моделирования, а именно: моделями диагностики диабета на основе нечеткой логики. Для наибольшего удобства данный способ распознавания заболевания впоследствии можно реализовать в информационно-программное обеспечение, которое сможет еще больше увеличить эффективность и скорость распознавания патологии
The article discusses the issues of the incidence of diabetes in the population, in particular, the definition of its type. In recent years, the number of people suffering from this disease has been steadily growing, and without timely diagnosis, this pathology can cause enormous harm to the human body. Prompt detection of diabetes, as well as determination of its type, will help not only avoid possible complications, but also in some cases prevent the death of the patient. Information technology is increasingly being used in various fields of activity to develop new or improve existing methods of data processing, especially in the field of medicine. Currently, the doctor independently makes a diagnosis based on the results of various analyzes, however, to speed up the decision-making process, you can use the methods of mathematical modeling, namely, models of diabetes diagnostics based on fuzzy logic. For the greatest convenience, this method of disease recognition can subsequently be implemented in information software, which can further increase the efficiency and speed of pathology recognition
Formula size games for modal logic and μ-calculus