Modelos BDI (ou seja, modelos Beliefs-Desires-Intentions models) de agentes têm sido utilizados já há algum tempo. O objetivo destes modelos é permitir a caracterização de agentes utilizando noções antropomórficas, tais como estados mentais e ações. Usualmente, estas noções e suas propriedades são formalmente definidas utilizandos formalismos lógicos que permitem aos teóricos analisar, especificar e verificar agentes racionais. No entanto, apesar de diversos sistemas já terem sido desenvolvidos baseados nestes modelos, é geralmente aceito que existe uma distância significativa entre esta lógicas BDI poderosas e sistemas reais. Este trabalho defende que a principal razão para a existência desta distância é que os formalismos lógicos utilizados para definir os modelos de agentes não possuem uma semântica operacional que os suporte. Por “semântica operacional” entende-se tanto procedimentos de prova que sejam corretos e completos em relação à semântica da lógica, bem como mecanismos que realizem os diferentes tipos de raciocínio necessários para se modelar agentes. Há, pelo menos, duas abordagens que podem ser utilizadas para superar esta limitação dos modelos BDI. Uma é estender as lógicas BDI existentes com a semântica operacional apropriada de maneira que as teorias de agentes se tornem computacionais. Isto pode ser alcançado através da definição daqueles procedimentos de prova para as lógicas usadas na definição dos estados mentais. A outra abordagem é definir os modelos BDI utilizando formalismos lógicos apropriados que sejam, ao mesmo tempo, suficientemente poderosos para representar estados mentais e que possuam procedimentos operacionais que permitam a utilizaçao da lógica como um formalismo para representação do conhecimento, ao se construir os agentes. Esta é a abordagem seguida neste trabalho. Assim, o propósito deste trabalho é apresentar um modelo BDI que, além de ser um modelo formal de agente, seja também adequado para ser utilizado para implementar agentes. Ao invés de definir um novo formalismo lógico, ou de estender um formalismo existente com uma semântica operacional, define-se as noções de crenças, desejos e intenções utilizando um formalismo lógico que seja, ao mesmo tempo, formalmente bem-definido e computacional. O formalismo escolhido é a Programação em Lógica Estendida com Negação Explícita (ELP) com a semântica dada pelaWFSX (Well-Founded Semantics with Explicit Negation - Semântica Bem-Fundada com Negação Explícita). ELP com a WFSX (referida apenas por ELP daqui para frente) estende programas em lógica ditos normais com uma segunda negação, a negação explícita1. Esta extensão permite que informação negativa seja explicitamente representada (como uma crença que uma propriedade P não se verifica, que uma intenção I não deva se verificar) e aumenta a expressividade da linguagem. No entanto, quando se introduz informação negativa, pode ser necessário ter que se lidar com programas contraditórios. A ELP, além de fornecer os procedimentos de prova necessários para as teorias expressas na sua linguagem, também fornece um mecanismo para determinar como alterar minimamente o programa em lógica de forma a remover as possíveis contradições. O modelo aqui proposto se beneficia destas características fornecidas pelo formalismo lógico. Como é usual neste tipo de contexto, este trabalho foca na definição formal dos estados mentais em como o agente se comporta, dados tais estados mentais. Mas, constrastando com as abordagens até hoje utilizadas, o modelo apresentanto não é apenas uma especificação de agente, mas pode tanto ser executado de forma a verificar o comportamento de um agente real, como ser utilizado como mecanismo de raciocínio pelo agente durante sua execução. Para construir este modelo, parte-se da análise tradicional realizada na psicologia de senso comum, onde além de crenças e desejos, intenções também é considerada como um estado mental fundamental. Assim, inicialmente define-se estes três estados mentais e as relações estáticas entre eles, notadamente restrições sobre a consistência entre estes estados mentais. Em seguida, parte-se para a definição de aspectos dinâmicos dos estados mentais, especificamente como um agente escolhe estas intenções, e quando e como ele revisa estas intenções. Em resumo, o modelo resultante possui duas características fundamentais:(1) ele pode ser usado como um ambiente para a especificação de agentes, onde é possível definir formalmente agentes utilizando estados mentais, definir formalmente propriedades para os agentes e verificar se estas propriedades são satifeitas pelos agentes; e (2) também como ambientes para implementar agentes.

Este trabalho apresenta o desenvolvimento de um sistema inteligente para análise da técnica de pedalada aplicada por ciclistas. Para isso, desenvolveu-se um par de pedais de encaixe instrumentados, a partir dos quais é possível medir a componente de força normal aplicada nas partes frontal e posterior dos pedais. O modelo virtual da célula de carga experimental foi desenvolvido através da digitalização dos pedais de encaixe comerciais, utilizando-se um sistema comercial de escaneamento 3D com precisão declarada de 0,1mm. Cada pedal foi instrumentado com oito extensômetros de resistência elétrica (HBM 1-LY-13-1.5/350). Posteriormente os carregamentos máximos em cada eixo de medida de força foram estabelecidos utilizando-se uma plataforma de aquisição comercial específica para medida de deformação mecânica. Considerando-se os valores determinados, desenvolveu-se o circuito de condicionamento e realizaram-se os ensaios de deformação estática, obtendo-se as funções de transferência de saída de tensão elétrica em função do carregamento mecânico. O erro de linearidade máximo, considerando todos os canais, ficou abaixo de 0,75% e a máxima incerteza expandida (k=2) por canal, obtida através da aplicação do método clássico, foi de 1,55%. Em sequência, integrouse o sistema de pedais desenvolvido a dois outros sistemas, são eles: um par pedivelas experimentais instrumentados, capazes de medir as três componentes da força aplicada aos pedais e transmitidas aos pedivelas com um erro de linearidade abaixo de 0,6% e uma incerteza combinada inferior a 3,22%, e um sistema de cinemetria comercial, cuja precisão declarada pelo fabricante é de 1mm. Para possibilitar uma comparação quantitativa entre treinos ou ciclistas, implementou-se um sistema inteligente, baseado em redes Neuro-Fuzzy (ANFIS). A partir dos valores da potência média, do desvio padrão da potência e da assimetria bilateral média, obtidos ao longo de ensaios realizados sob protocolo desenvolvido especificamente para este trabalho, um score que representa o nível da técnica de pedalada apresentado pelo ciclista é determinado. Com intuito de testar o sistema, desenvolveu-se um projeto de experimentos com 2 fatores controláveis (sujeito e nível de frenagem de um rolo de treinamento), e realizou-se ensaios com oito ciclistas de características fisiológicas e níveis de preparos distintos. Através da análise estatística, constatou-se que das 23 variáveis de resposta consideradas ao longo do experimento, 23 são influenciadas significativamente pelo fator controlado sujeito e oito são influenciadas significativamente pelo fator controlado nível de frenagem magnética. / This report describes the development of an intelligent pedaling technique analysis system. To accomplish that, a pair of road bicycle pedals (SHIMANO R540) were instrumented to measure the forces that are applied to the front and back regions of the pedals. The virtual models of the pedals were developed based on a 3D scanned mesh developed with aid of a commercial 3D scanning system with a precision of 0.1mm. Each pedal was instrumented with eight electrical resistance strain-gages (HBM 1-LY-13-1.5/350). After that, the range of the mechanical deformation of each measurement channel was determined with aid of an industrial deformation acquisition system. The conditioning circuit was developed based on the mechanical deformation ranges previously determined and the static calibration experiment was performed to determine the voltage output transfer functions. The maximum linearity error determined per channel was 0,75% and the maximum expanded uncertainty (k=2), determined applying the classical methodology, was 1,55%. After that, the instrumented pedals developed were integrated with two complementary systems, which are: a pair of instrumented crank arm load cells which measure the components of the force applied to the bicycle pedal with a linearity error under 0.6% and an uncertainty of 3,22% and an Optitrack motion track system with a declared accuracy of 1mm. An intelligent pedaling technique analysis system was implemented through an Adaptive Neuro Fuzzy Inference System (ANFIS) to determine the cyclist pedaling technique score based on three inputs: the average power applied to bicycle pedal, the average power standard deviation and the bilateral asymmetry index, all of them collected under an experimental protocol specifically designed for this application. To evaluate the behavior of the system developed a randomized block experiment design with two controlled factors was performed indoor with aid of an ergometer roll; 160 sprints were conducted with eight subjects of different training levels. From the data collected an ANOVA test was performed, which confirmed that all the 23 response variables vary significantly in function of the subject’s controlled factor and eight of them vary significantly in function of the magnetic braking level.

Dissertação (mestrado) - Universidade Federal do Rio Grande do Sul, Curso de Pos-Graduação em Ciencia da Computação / Made available in DSpace on 2012-10-16T03:59:21Z (GMT). No. of bitstreams: 0

Dissertação (Mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. / Made available in DSpace on 2012-10-17T00:16:34Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-08T22:33:32Z : No. of bitstreams: 1 139296.pdf: 2957877 bytes, checksum: ffdfb1e9d50ac359e31ae3ac394f15a5 (MD5)

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2010 / Made available in DSpace on 2012-10-25T06:45:35Z (GMT). No. of bitstreams: 1 280204.pdf: 1281362 bytes, checksum: a7b27f2b4d871c23c6973d2e84458332 (MD5) / Os principais sistemas relacionados à Lógica Clássica são apresentados. Outrossim, faz-se uma elucidação da Logica Proposicional Clássica, da Lógica Quantificacional Clássica, da Lógica Equacional Clássica, da Lógica Descritiva Clássica e da Lógica das Descrições Indefinidas, a fim de possibilitar uma visão inteligível e holística das mesmas. Para cada uma destas lógicas são fornecidas uma linguagem, uma semântica de valorações e um cálculo de sequentes. Buscamos dar um tratamento geral aos diversos aspectos semânticos e sintáticos, seguindo a perspectiva universal para a construção de ferramentas úteis ao estudo e ao desenvolvimento de lógicas. Dentre estes aspectos está uma abordagem do método dos tablôs por confutação que abstrai as características essenciais desse método em uma generalização cujas instâncias podem ser aplicadas a uma grande variedade de lógicas. Neste trabalho, tal abordagem é aplicada na construção de um sistema de tablôs para a Lógica Proposicional Clássica e para a Lógica Quantificacional Clássica. Também é dado um conceito geral de semântica, o qual corresponde a uma ampla classe de lógicas, e através do mesmo é definido satisfabilidade e relação de consequência. Similarmente, expomos condições gerais de correção e completude dos cálculos de sequentes com respeito às semânticas das lógicas dadas. Outras contribuições são um tratamento minucioso de algumas questões sintáticas relevantes das diversas linguagens formais, tais como um estudo acurado da instanciação e da substituição, sua aplicação para um estudo dos esquemas e das regras concernentes à equivalência e à implicação, apresentação das listas de teoremas, e algumas provas dos considerados mais importantes aos níveis da lógica clássica proposicional, quantificacional, equacional, descritiva clássica, e das descrições indefinidas.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro de Ciências Jurídicas, Programa de Pós-Graduação em Direito, Florianópolis, 2008. / Made available in DSpace on 2012-10-24T05:26:34Z (GMT). No. of bitstreams: 1 267240.pdf: 4201601 bytes, checksum: efef026b8a5051606359995f225c0f53 (MD5) / O estágio em que se encontra debate filosófico-jurídico da atualidade ainda se mantém na polêmica entre o positivismo jurídico (postura voluntarista) e os anti-positivismos (posturas racionalistas), em que o positivismo jurídico realça o papel descritivo da atividade do jurista, que ao encarar o Direito como sistema deve tratar de reconhecer o Direito validamente contido no interior de dito sistema e enfrentar seus problemas de redundância, de lacunas, de contradições, de vagueza, de ambigüidade de suas normas e assim por diante; ao passo que as teorias anti-positivistas com maior destaque na atualidade destacam o caráter argumentativo do Direito e esperam fornecer critérios para a otimização na tomada de decisões jurídicas, critérios esses que podem conter inclusive valorações morais. A presente tese não toma partido em favor de uma ou outra posição nessa polêmica, e não o faz porque a aplicação da lógica ao Direito, objeto central da discussão, prescinde de comprometimento com qualquer que seja a teoria do Direito analisada, haja vista que a lógica é de tal modo abstrata que pode estar a serviço de todas elas, como ferramenta de auxílio para o tratamento racional dos problemas que surgirem no interior dessas teorias. Preocupa-se, isto sim, com um aspecto singular da atividade jurídica, que é a utilização da técnica do precedente como regra de razão que exclui ou, ao menos, ajuda a atenuar a discricionariedade na interpretação e aplicação do Direito, técnica essa que pode ser aperfeiçoada com a aplicação de sistemas especialistas legais a partir da proposta e criação de modelos informáticos baseados em lógicas paraconsistentes, independentemente da teoria do Direito que se adote. Diante da crise por que passa a razão desde o início do século XX e as conseqüências dessa crise sobre a filosofia da ciência, constata-se que essa crise foi bastante frutífera para a teoria do conhecimento, sendo que desse contexto se extrai o marco metodológico da tese, em especial a adoção da idéia de verdade pragmática e o acolhimento do método axiomático para lidar com os problemas jurídicos. Sob esse enfoque, trilha-se o caminho percorrido pela história da filosofia do Direito tendo-se como baliza o problema da justiça a fim de que os problemas jurídicos a que se propõe oferecer guias para solução sejam explicitados. Descreve-se, então, o posicionamento teórico das correntes do pensamento jurídico que, ao tratarem da relação entre Direito e moral, apresentaram diversas propostas, desde a forma assumida pelo positivismo jurídico contemporâneo, que admite a discricionariedade e insiste na separação entre Direito e moral; passando pelos formuladores de teorias da argumentação que pretendem fornecer critérios objetivos de verificabilidade de correção de decisões; e chegando mesmo à proposta de que sempre deverá ser possível, em todos os casos, a tomada de uma decisão justa. A partir daí se introduz a idéia de universalização das decisões como um bom critério formal e objetivo de justiça; e dentro dele se lança a idéia de auto-precedente, isto é, a doutrina ou os critérios adotados pelo próprio juiz ou tribunal para a resolução de casos anteriores, em que o respeito ao precedente supõe, nessa concepção, uma exigência de autocongruência, procedimento esse que, em princípio, dirige-se ao passado como fidelidade a casos anteriores, mas que se remete também # e principalmente # ao futuro, neste caso como consciência de que um bom critério de resolução será o que deverá ser aplicado também para resolver casos posteriores, ou seja, o critério que se possa pretender que se transforme em precedente. Para a realização da tarefa acima mencionada, propõe-se a utilização da lógica formal como ferramenta. Para tanto, inicialmente se apresentam aspectos históricos da disciplina da lógica, em especial a criação das lógicas paraconsistentes por Newton da Costa; após o que se parte para a demonstração da possibilidade de aplicação da lógica formal ao Direito; e, por fim, indica-se a aplicação de cálculos lógicos paraconsistentes na construção de sistemas especialistas legais que sirvam como instrumento de controle de racionalidade de auxílio ao intérprete na tomada de suas decisões jurídicas.

Este trabalho apresenta o desenvolvimento de um sistema inteligente para análise da técnica de pedalada aplicada por ciclistas. Para isso, desenvolveu-se um par de pedais de encaixe instrumentados, a partir dos quais é possível medir a componente de força normal aplicada nas partes frontal e posterior dos pedais. O modelo virtual da célula de carga experimental foi desenvolvido através da digitalização dos pedais de encaixe comerciais, utilizando-se um sistema comercial de escaneamento 3D com precisão declarada de 0,1mm. Cada pedal foi instrumentado com oito extensômetros de resistência elétrica (HBM 1-LY-13-1.5/350). Posteriormente os carregamentos máximos em cada eixo de medida de força foram estabelecidos utilizando-se uma plataforma de aquisição comercial específica para medida de deformação mecânica. Considerando-se os valores determinados, desenvolveu-se o circuito de condicionamento e realizaram-se os ensaios de deformação estática, obtendo-se as funções de transferência de saída de tensão elétrica em função do carregamento mecânico. O erro de linearidade máximo, considerando todos os canais, ficou abaixo de 0,75% e a máxima incerteza expandida (k=2) por canal, obtida através da aplicação do método clássico, foi de 1,55%. Em sequência, integrouse o sistema de pedais desenvolvido a dois outros sistemas, são eles: um par pedivelas experimentais instrumentados, capazes de medir as três componentes da força aplicada aos pedais e transmitidas aos pedivelas com um erro de linearidade abaixo de 0,6% e uma incerteza combinada inferior a 3,22%, e um sistema de cinemetria comercial, cuja precisão declarada pelo fabricante é de 1mm. Para possibilitar uma comparação quantitativa entre treinos ou ciclistas, implementou-se um sistema inteligente, baseado em redes Neuro-Fuzzy (ANFIS). A partir dos valores da potência média, do desvio padrão da potência e da assimetria bilateral média, obtidos ao longo de ensaios realizados sob protocolo desenvolvido especificamente para este trabalho, um score que representa o nível da técnica de pedalada apresentado pelo ciclista é determinado. Com intuito de testar o sistema, desenvolveu-se um projeto de experimentos com 2 fatores controláveis (sujeito e nível de frenagem de um rolo de treinamento), e realizou-se ensaios com oito ciclistas de características fisiológicas e níveis de preparos distintos. Através da análise estatística, constatou-se que das 23 variáveis de resposta consideradas ao longo do experimento, 23 são influenciadas significativamente pelo fator controlado sujeito e oito são influenciadas significativamente pelo fator controlado nível de frenagem magnética. / This report describes the development of an intelligent pedaling technique analysis system. To accomplish that, a pair of road bicycle pedals (SHIMANO R540) were instrumented to measure the forces that are applied to the front and back regions of the pedals. The virtual models of the pedals were developed based on a 3D scanned mesh developed with aid of a commercial 3D scanning system with a precision of 0.1mm. Each pedal was instrumented with eight electrical resistance strain-gages (HBM 1-LY-13-1.5/350). After that, the range of the mechanical deformation of each measurement channel was determined with aid of an industrial deformation acquisition system. The conditioning circuit was developed based on the mechanical deformation ranges previously determined and the static calibration experiment was performed to determine the voltage output transfer functions. The maximum linearity error determined per channel was 0,75% and the maximum expanded uncertainty (k=2), determined applying the classical methodology, was 1,55%. After that, the instrumented pedals developed were integrated with two complementary systems, which are: a pair of instrumented crank arm load cells which measure the components of the force applied to the bicycle pedal with a linearity error under 0.6% and an uncertainty of 3,22% and an Optitrack motion track system with a declared accuracy of 1mm. An intelligent pedaling technique analysis system was implemented through an Adaptive Neuro Fuzzy Inference System (ANFIS) to determine the cyclist pedaling technique score based on three inputs: the average power applied to bicycle pedal, the average power standard deviation and the bilateral asymmetry index, all of them collected under an experimental protocol specifically designed for this application. To evaluate the behavior of the system developed a randomized block experiment design with two controlled factors was performed indoor with aid of an ergometer roll; 160 sprints were conducted with eight subjects of different training levels. From the data collected an ANOVA test was performed, which confirmed that all the 23 response variables vary significantly in function of the subject’s controlled factor and eight of them vary significantly in function of the magnetic braking level.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia de Produção. / Made available in DSpace on 2013-07-16T00:57:09Z (GMT). No. of bitstreams: 1 221845.pdf: 1585720 bytes, checksum: 7680ff347801e80590ef57bccb0e13ff (MD5) / Este trabalho retoma aspectos da Lógica Booleana, das teorias da Comunicação e da Psicologia Cognitiva para estabelecer uma base para a analise e projeto de interfaces de usuário nos produtos de base digital. Após revisão bibliográfica dos trabalhos recentes, são propostos três experimentos, abordando, respectivamente, a conversão lógica / linguagem natural, os desempenhos comparados das interfaces de menu simultâneo e de menu seqüencial, e os desempenhos das interfaces com elementos rotulados com fotografias coloridas, desenhos pictóricos em preto e branco, desenhos icônicos e textos alfabéticos. Conclui-se apresentando as correlações das variáveis sexo, idade e tipo da função lógica com as formas de predicação, rotulagem de estados e apelo a argumentos físicos, no experimento lógica / linguagem. Também são comparados os desempenhos de tempo de resposta e incidência de erros de operação das duas formas de menus e dos quatro tipos de rótulo. O primeiro experimento foi realizado usando-se questionário impresso, para os outros dois foi desenvolvido ambiente computacional que simulava as interfaces e gerenciava a coleta dos dados.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Filosofia e Ciências Humanas, Programa de Pós-graduação em Filosofia, Florianópolis, 2013. / Made available in DSpace on 2013-12-05T23:39:16Z (GMT). No. of bitstreams: 1 318386.pdf: 2460505 bytes, checksum: d0c235f17a669f2a088802f998039d9f (MD5) Previous issue date: 2013 / Esta dissertação pretende defender a existência de uma complementaridade doutrinária e estrutural entre as argumentações desenvolvidas nos tratados aristotélicos da Metafísica G4 e Segundos Analíticos I, 22, as quais visam defender, respectivamente, o Princípio de Não-Contradição e a tese da existência de princípios indemonstráveis para as ciências. Para tanto será necessário mostrar, em uma primeira etapa, a existência de múltiplos propósitos para a argumentação desenvolvida em G4. Tal procedimento visa confrontar a opinião tradicional que encontra neste capítulo apenas o intuito de demonstrar a validade do Princípio de Não-Contradição. Por meio de uma detalhada análise do texto será apresentado uma série de indícios que sugerem, fortemente, a existência de um propósito adicional para a argumentação aristotélica, a saber: que é impossível demonstrar todas as coisas. A presença desse tema, de fundamental importância para a doutrina aristotélica da ciência, permitirá uma incursão no tratado dos Segundos Analíticos I, 22, onde Aristóteles desenvolve uma argumentação em defesa da existência de princípios indemonstráveis para demonstrações científicas. Em uma segunda etapa do trabalho, por meio de uma detalhada análise da argumentação ali desenvolvida será destacada uma série de elementos de cunho teórico e estrutural que fornecerão um solo comum para a comparação com G4. Por fim, na etapa final, será empreendida a leitura da argumentação de G4 à luz da argumentação de Segundos Analíticos I, 22, em que será sustentada a dependência argumentativa entre os conteúdos de ambos os tratados.<br> / Abstract : This dissertation wants to defend the existence of a doctrinal and structural complementarity between the argumentations developed in Metaphysics 4 and Posterior Analytics I, 22, which aims defend, respectively, the Principle Principle of Non-Contradiction and the tesisof the existence of indemonstrable principles to the sciences. For this will be necessary to show, in a first stage, the existence of multiplepurposes for the argumentation developed in 4. This procedure aims confront the tradicional opinion that finds in this chapter only the intention of prove the Principle of Non-Contradiction's validity. By a text detailed analysis will be presented a series of indications that suggest, strongly, the existence of a adicional purpose for the aristotelian argumentation, namely: that is impossible to prove everything. The presence of this thematics, of fundamental importance to the aristotelian doctrine of science, will permit a incursion in the Posterior Analitycs I,22, where Aristotle develop a argumentation to defend a existence of indemonstrable principles to the sciences's proofs. In a second stage of this work, by a detailed analysis of the argumentation developed in there, will be detached a series of theoretical and structural elements that will provide a comum ground for the comparation with 4. Lastly, in the final stage, will be undertaken a reading of the argumentation of 4 in the light of the argumentation of Posterior Analytics I, 22, where will be sustained the argumentative dependence among the content of both treatises.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-19T22:01:39Z (GMT). No. of bitstreams: 0 / A computação, um dos mais variados e complexos processos produzidos e relacionados à atividade humana é um fenômeno global, irreversível e essencial. Esse processo pode trazer muitos resultados significativos em vários segmentos das atividades humanas. Os resultados podem ser satisfatórios a partir de novas tecnologias e tornam os recursos otimizados e significativos dentro de suas atividades. Este trabalho aborda uma utilização prática para avaliar aprendizagem da lógica via Inteligência Artificial, seus efeitos e sua importância em nossa vida cotidiana. Os estudos sobre processos de aprendizagem, abordados tradicionalmente sob o prisma apenas das condições internas da mente humana, passam a ter uma ótica diferenciada quando se utilizam da tecnologia para "tentar" simular o que realmente ocorre durante o processo de assimilação de novos conhecimentos, considerando todas, ou quase todas, as variantes envolvidas. Serão descritas ferramentas utilizadas em Inteligência Artificial e uma metodologia própria que utiliza software específico desenvolvido e alguns relatos de experiências com resultados que certamente ainda não serão considerados suficientes para uma conclusão definitiva, mas serão, significativamente, validados pela metodologia de avaliação de aprendizagem apresentada, o que pode representar indicadores fortes para futuras aplicações.