Resumo. Este trabalho apresenta um estudo sobre modelos ocultos de Markov onde as probabilidades consideradas são representadas por intervalos. Utilizando-se técnicas da Matemática Intervalar, foram desenvolvidos algoritmos intervalares para os problemas relacionados a esses modelos (Problema da Avaliação, Problema da Decodificação e Problema da Estimação de Parâmetros). Apresentam-se versões intervalares para os algoritmos Forward, Backward, Viterbi e Baum Welch. As implementações foram realizadas utilizando-se o toolbox Intlab para a Matemática Intervalar, no ambiente Matlab. Exemplos de aplicações são apresentados, mostrando-se a validade dos algoritmos desenvolvidos.
IntroduçãoNo desenvolvimento de aplicações numéricas em Ciência e Tecnologia surgem erros de computação, que originam-se, primordialmente, da impossibilidade de se modelar e representar grandezas contínuas em uma entidade de natureza finitária, como o computador. O sistema de ponto flutuante da máquina nãoé capaz de representar exatamente os números reais, nem os resultados de operações com esses números. Além disso, como um sistema algébrico, suas características e propriedades algébricas são muito pobres quando comparadas com as dos números reais [6].A matemática intervalar [10]é uma teoria matemática que teve por objetivo inicial responder a questão da exatidão e da eficiência que aparece na prática da computação científica. Desde então, a utilização de técnicas intervalares tem sido uma alternativa para alcançar limites garantidos para resultados de computações, através do controle rigoroso e automático da propagação dos erros dos dados e