Os Sistemas de Apoio à Decisão (DSS) estão ganhando popularidade na medicina moderna. O objetivo principal de tais sistemas de computador é ajudar as pessoas que tomam decisões em condições difíceis para uma análise completa e objetiva da atividade objetiva.
Os DSSs médicos nos artigos são chamados de CDSS, acrescentando a palavra "clínico" e obtendo o Sistema de Apoio à Decisão Clínica - Sistema de apoio à decisão clínica. Esses sistemas visam, em primeiro lugar, auxiliar na indicação de procedimentos e medicamentos no tratamento e reabilitação de pacientes.
Em processos médicos, uma quantidade bastante grande de ação é estritamente limitada pelo protocolo clínico. Entenda
A imagem mostra um fragmento do protocolo clínico do documento oficial do Ministério da Saúde da Federação Russa "Diretrizes clínicas: esclerose múltipla" com o interessante nome de "Algoritmo para o manejo de um paciente com exacerbação de EM".
Se alguém entende intuitivamente o que precisa ser feito no caso em que há um efeito após o uso da plasmaférese, então ele definitivamente sabe algo sobre esta vida e não apenas. Ou seja, o principal problema com esses protocolos é que quase todas as flechas têm uma pergunta “e se não for assim?”. Devido a esse problema, não é possível usar protocolos clínicos em sua forma bruta sem a participação direta de um especialista altamente qualificado.
É claro que é possível aumentar a eficiência dos processos médicos se, por uma questão de interpretação dos processos estritamente regulamentados, você não precisar puxar o médico todas as vezes e, por exemplo, transferir a dispensação de medicamentos para trabalhadores médicos juniores que serão auxiliados pelo SAD. Só por precaução, vou explicar: em muitos processos clínicos, até a escolha dos medicamentos depende estritamente dos resultados numéricos dos exames, e o médico não pode simplesmente tomar e prescrever outra coisa, simplesmente porque quer.
Agora, conhecendo a escala do problema, vamos voltar aos modelos de autômatos. Este artigo tem como objetivo mostrar por que o uso de modelos de autômatos no desenvolvimento de SAD é não apenas justificado, mas também intuitivamente lógico.
Vamos começar com o mais simples: o autômato tem muitos estados e muitas transições, e o paciente também tem um estado. Na frase anterior, as palavras "estado" nada mais são do que homônimos. Além disso, uma pessoa não pode estar viva e morta ao mesmo tempo, o que significa que, como no caso de um autômato, uma pessoa tem exatamente um estado de cada vez. Por que não tentar compará-los?
Como vamos usar o modelo de autômato no SAD, e até mesmo para a implementação do protocolo clínico, faz sentido usar Autômatos Finitos Determinísticos. Vamos dar uma olhada nas propriedades desse modelo e ter certeza de que são muito semelhantes às propriedades exigidas do sistema exigido.
Como se viu, é impossível simplesmente pesquisar no Google "propriedades de um autômato finito determinístico", uma vez que ninguém as formula explicitamente - talvez porque essas propriedades sejam óbvias demais, talvez não sejam interessantes para ninguém. No entanto, destacamos dois que são bastante úteis para o tópico em discussão:
- As condições para as transições de cada estado são fisicamente ortogonais.
- As funções de disjunção lógica que descrevem tais transições são identicamente iguais a um.
Vamos ver o que isso nos dá. No caso da primeira condição, o paciente, por exemplo, não pode estar simultaneamente em diferentes estágios de exacerbação. Ou é impossível, por exemplo, dar remédio ao paciente e não dar ao mesmo tempo. A segunda propriedade garante que todo o leque de ações propostas no estado atual cobre integralmente o conjunto de todas as opções, o que ajudará a evitar a situação descrita anteriormente de "após a aplicação da plasmaférese há efeito", ou seja, independente da seqüência de entrada da máquina / trabalho com o paciente, nós sempre saberemos o próximo estado.
Bem, a última vantagem óbvia de usar o modelo do autômato é, obviamente, uma grande variedade de ferramentas de verificação, que, por sua vez, quando usadas corretamente, dão uma garantia de que se o modelo do autômato for composto corretamente, então após a integração no sistema ele sempre funcionará corretamente.
Concluindo, gostaria de destacar que, apesar dos pré-requisitos descritos, a integração de um modelo de autômato não é um processo tão simples como gostaríamos. Por exemplo, casos incomuns do curso da doença nem sempre são descritos no protocolo clínico e requerem atividade mental por parte de um especialista, mas todas as coisas “estúpidas” podem ser deixadas para o DSS com a consciência limpa!