109 resultados para propriedades do suporte cru


Relevância:

20.00% 20.00%

Publicador:

Resumo:

O objetivo deste trabalho é desenvolver um mecanismo para suporte à percepção de eventos no passado. Percepção pode ser conceituada como o conhecimento sobre as atividades do grupo, passadas, presentes e futuras, sobre o próprio grupo e seu status geral. Sem este conhecimento, o trabalho cooperativo coordenado e estruturado torna-se quase impossível. O suporte à percepção pode ser dividido em seis questões (o que, quando, como, onde, quem e quanto), analisadas sob ponto de vista de sistemas assíncronos e síncronos. A questão “quando” analisa o momento em que ocorre uma atividade, o que gera um evento, podendo ser no “passado”, “passado contínuo”, “presente” ou “futuro”. Uma atividade no “passado” é aquela que foi concluída em um momento passado e cujo registro interessa às outras atividades. Apesar de sua importância, o suporte à percepção de eventos no passado é ainda muito limitado nas ferramentas de groupware hoje disponíveis. Como conseqüência, situações como a ausência de um membro do grupo por um certo período de tempo não são tratadas. Como estas situações de ausência são bastante comuns, durante o trabalho em grupo, o seu tratamento é fundamental em um groupware. Desta forma, a ausência de membros do grupo exige a contextualização não apenas daqueles que continuam no trabalho, mas, principalmente, daqueles que retornam ao ambiente cooperativo. Neste trabalho, é apresentado um mecanismo flexível para o suporte à percepção de eventos no passado destinado a cobrir a referida contextualização. Este mecanismo foi construído na forma de um framework, projetado para ser flexível a ponto de poder ser incluído em qualquer ferramenta de groupware, desde que seu autor o queira. Este framework, chamado de BW (Big Watcher), foi organizado em quatro pacotes: três independentes, que trocam informações, descritas no quarto pacote, através somente de classes de fachada. Estas informações são essencialmente eventos, os quais representam as atividades realizadas e já concluídas por algum membro desempenhando um papel dentro do grupo. Estas atividades são registradas pelo groupware junto ao framework, de modo que este groupware possa, através do framework, contextualizar seus membros. Além disso, o groupware também pode especializar várias classes dentro do framework BW, como a descrição dos papéis e a própria descrição dos eventos. Assim, este framework pode ser integrado a qualquer ferramenta de groupware em ambiente assíncrono que necessite de um mecanismo para o suporte à percepção de eventos no passado, para evitar que situações de ausência prejudiquem o andamento dos trabalhos. Finalmente, foi implementado e testado o framwork BW sobre o groupware CUTE/COPSE para validar as idéias desta dissertação.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Misturas de Polietileno de Baixa Densidade (PEBD) com diferentes tipos e proporções de Polietilenos Lineares de Baixa Densidade (PELBD) foram preparadas em extrusora de rosca simples ou dupla a fim de verificar a influência destes últimos nas propriedades das misturas e a eficiência das extrusoras na preparação das mesmas. Para tanto foram utilizados polietilenos lineares comerciais, com estruturas moleculares diversas devido ao tipo de comonômeros de 1-octeno (C8), 1-hexeno (C6) ou 1-buteno (C4) e diferentes processos de polimerização. Polietilenos lineares de baixa densidade e polietileno de baixa densidade puros foram avaliados a fim de relacionar suas propriedades com suas estruturas. As misturas de PEBD com PELBD foram avaliadas através de reometria capilar e rotacional, calorimetria diferencial de varredura (DSC), plastometria e análise dinâmico-mecânica (DMA). As misturas de PEBD com PELBD com comonômero 1-buteno e 1-octeno, preparadas em extrusora de rosca simples ou dupla, não apresentaram diferenças no perfil das curvas de viscosidade, observando-se, entretanto, diferenças no perfil das mesmas para as misturas de PEBD com o PELBD com comonômero 1-hexeno. Verificou-se que os valores de índice de fluidez não variaram linearmente com a adição do PELBD na mistura Verificou-se que a adição de PELBD no PEBD modifica significativamente a viscosidade aparente da mistura na faixa de taxa de cisalhamento avaliada. Os polietilenos lineares de baixa densidade apresentaram deformação majoritariamente viscosa quando submetidos a condições cisalhantes e o módulo de perda G” foi superior ao módulo de armazenamento G’. Verificou-se que com o aumento da massa molar do PELBD e do teor deste na mistura ocorreu um aumento do módulo de perda G”. O aumento de cerca de 2% no teor de comonômero não modifica o comportamento viscoelástico do PELBD puro. Pela avaliação dos termogramas das misturas, observou-se que o aumento da concentração de PELBD, causa uma variação no comportamento térmico das mesmas com o conseqüente alargamento da faixa de fusão. O aumento na massa molar dos PELBD de 67.200 g/mol a 153.500 g/mol não influencia significativamente o comportamento térmicos dos mesmos.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Neste trabalho foi avaliada a resistência à corrosão dos revestimentos compósitos de níquel, obtidos a partir de um banho de níquel químico (electroless) e um banho de níquel eletrolítico tipo Watts (com e sem tensoativo), caracterizando-os comparativamente em relação ao revestimento de níquel sem partículas. Os métodos utilizados para avaliação da resistência a corrosão foram: ensaio acelerado em névoa salina, voltametria cíclica, curva de polarização potenciodinâmica (em NaCl 0,6N) e dissolução anódica à corrente constante. Os revestimentos também foram avaliados com relação à resistência ao desgaste, rugosidade, e morfologia da camada. As partículas foram caracterizadas por difração de raio- X , dispersão granulométrica e potencial zeta. Nas condições estudadas os resultados mostraram que o revestimento compósito Ni-P-Al2O3 (Al2O3 - tamanho de grão ≅ 0,1 a 1,8µm) apresentou melhor resistência à corrosão que o revestimento de níquel químico sem incorporação de partículas (Ni-P) que por sua vez, apresentou resistência a corrosão superior ao compósito Ni-P-SiC no. 23 (SiC no. 23 - tamanho de grão ≅0,8 a 19,9µm). Já o eletrodepósito de níquel sem incorporação de partículas apresentou melhor resistência à corrosão que os revestimentos compósitos. Entre estes o compósito Ni-Al2O3 apresentou resistência a corrosão superior ao compósito Ni-SiC no. 23 A adição do tensoativo lauril sulfato de sódio reduz a quantidade de partículas incorporadas no eletrodepósito, sendo este efeito mais acentuado para o SiC com maior granulometria. Para diferentes granulometrias de carbeto de silício (SiC no. 2 - tamanho de grão ≅0,3 a 6,2µm e SiC no. 23 - tamanho de grão ≅0,8 a 19,9µm), o revestimento compósito obtido com o SiC que possui menor granulometria, apresentou maior resistência à corrosão e maior resistência ao desgaste, indicando desta forma que o tamanho da partícula incorporada no depósito de níquel exerce grande influência sobre a resistência à corrosão do revestimento, bem como sobre a resistência ao desgaste.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

O presente trabalho apresenta um estudo sistemático para a obtenção de um filme polimérico a partir da eletrooxidação do furfural (2-furanoaldeído). O filme foi crescido sobre a superfície do eletrodo de platina (Pt) e sobre carbono vítreo reticulado (CVR). Três técnicas eletroquímicas foram usadas: cronopotenciometria com correntes de 10 mA, voltametria cíclica por ciclagens sucessivas no intervalo de potencial de 2,0 V à 2,70 V (Ag/AgCl) e a cronoamperometria, no potencial de 2,65 V (Ag/AgCl). Diferentes eletrólitos foram testados em solução aquosa sobre Pt. O sal biftalato de potássio foi o eletrólito suporte mais adequado para formação do filme sobre ambos eletrodos, Pt e CVR. Os resultados obtidos confirmam a formação de um filme branco sobre a superfície dos eletrodos, entretanto, com alguma solubilização no próprio meio. Esta solubilidade do filme em meio aquoso permitiu atribuir-lhe características de polieletrólito. Evidências desta característica se confirmam pelas propriedades físico-químicas das soluções do filme testadas resultando no aumento da acidez e no aumento da condutividade do meio, quando se comparam as soluções de biftalato ácido de potássio com as do filme polimérico Os resultados revelam a formação de um filme poroso e espesso sobre a superfície dos eletrodos, com características que dependem do método eletroquímico empregado, bem como do tempo de polarização. A visualização do filme foi registrada por fotografias digitais e caracterizada por microscopia eletrônica de varredura. O crescimento do filme pelo método cronopotenciométrico forneceu os melhores resultados em termos de aderência e volume. Uma observação importante refere-se ao caráter condutor do filme formado, uma vez que medidas eletroquímicas dos eletrodos modificados não acusaram um decaimento significativo das correntes. Além das medidas eletroquímicas, a condutividade do polímero, determinada pelo método das quatro pontas, resultou num valor de 100 µS cm-1 para o obtido potenciostaticamente e de 150 µS cm-1 para o obtido galvanostaticamente. A caracterização do filme envolveu as medidas térmicas de calorimetria diferencial de varredura (DSC) e a análise termogravimétrica (TGA). As medidas espectroscópicas como o ultravioleta, infravermelho, Raman, ressonância magnética nuclear de H1 e de C13 diretamente com o filme formado ou através de suas soluções em solventes adequados, confirmaram a participação de ambos os anéis ftálico e furânico na estrutura do filme.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Neste trabalho encontra-se descrita a síntese do polímero híbrido organo inorgânico, cloreto de 3-n-propil-1-azônia-4-azabiciclo [2.2.2] octano silsesquioxano (dabcosilsesquioxano), através do método sol-gel. O polímero foi obtido por reação entre o precursor orgânico cloreto de 3-n-propiltrimetoxisilano-1-azônia-4-azabiciclo[2.2.2]octano (dabcosil), obtido em nosso laboratório, e o precursor inorgânico tetraetilortosilicato (TEOS) usando relações molares TEOS/dabcosil de 0 até 49, em meio ácido (pH entre 3 e 4). A caracterização destes materiais, realizada por espectroscopia no infravermelho e por análise termogravimétrica, comprovou que são materiais híbridos e que eles apresentam uma estabilidade térmica até 300ºC. Os polímeros com alto grau de conteúdo orgânico mostraram-se solúveis em água e foram facilmente depositados sobre matrizes de sílica, alumina e sílica modificada com um filme de óxido de alumínio (Al/SiO2). Estudos da lixiviação dos polímeros em água, nestas matrizes, mostraram que os mesmos tem melhor aderência na matriz de Al/SiO2. O polímero dabcosilsesquioxano com relação molar TEOS/dabcosil 0,33 impregnado na matriz Al/SiO2 foi usado como adsorvente para CuCl2, ZnCl2 e CdCl2 em solução etanólica, sendo que a capacidade de adsorção dos cloretos metálicos seguiu a ordem CdCl2 > ZnCl2 > CuCl2. A seletividade para a adsorção dos íons metálicos, em situação competitiva, também foi estudada. Os melhores resultados foram encontrados para o cádmio. Os materiais híbridos com menor grau de incorporação orgânica, mostraram-se insolúveis em água. A morfologia destes polímeros foi estudada através da microscopia eletrônica de varredura e de isotermas de adsorção e dessorção de nitrogênio, sendo então obtidas a área superficial específica, a distribuição de tamanho de poros e uma estimativa do tamanho médio de partículas. Um estudo exploratório da potencialidade destes materiais como adsorventes de cátions cádmio em solução aquosa mostrou resultados muito positivos.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

O crescimento de lmes nos ferromagnéticos sobre uma superfícies vicinal induz uma anisotropia uniaxial que atua juntamente com a anisotropia magnetocrislanina. Neste estudo, lmes nos de Co foram depositados sobre Si(111) para investigar o papel dessa anisotropia nas propriedades magnéticas do lme. Os substratos foram preparados quimicamente via uma solução de NH4F e caracterizados via microscopia de força atômica. Os lmes, depositados via desbaste iônico, foram caracterizados estruturalmente via difratometria de raio-x e microscopia de tunelamento. As propriedades magnéticas foram determinadas via magnetometria a efeito Kerr magnetoóptico, onde observou-se a presen ça de uma anisotropia uniaxial dominante. Um modelo fenomelógico de reversão da magnetização via rotação coerente foi aplicado para ajustar as curvas de histerese, e as constantes de anisotropia uniaxial para cada espessura foram determinadas.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

O desenvolvimento tecnológico do setor construção civil no Brasil não tem sido acompanhado de ações sistemáticas de formação/qualificação profissional de seus trabalhadores em níveis compatíveis com os novos padrões técnico/industriais. Aportes provenientes de várias áreas do conhecimento podem contribuir para a reversão dessa situação. De caráter interdisciplinar, envolvendo arquitetura, construção civil, educação e informática, este trabalho investiga como os recursos informáticos e telemáticos podem contribuir para a qualificação de trabalhadores da indústria da construção civil. Abordando um tema específico – leitura e interpretação de plantas arquitetônicas –, investiga as possibilidades que essas novas tecnologias podem oferecer para ações de qualificação de trabalhadores, bem como verifica as condições em que esses se apropriam dos recursos que serão predominantes nos processos de trabalho no milênio que se inicia. Adotando um referencial construtivista, foi projetado e aplicado um experimento, consistindo de um site na Internet e de um programa de desenho, em que os participantes não apenas tomam contato passivamente com diversos conteúdos relativos à sua atuação profissional, mas contribuem com seus conhecimentos tanto na definição dos temas e tópicos a serem abordados quanto na produção de conhecimentos relativos aos temas propostos, fazendoos participantes ativos e não meros leitores. Recursos como animações, imagens sobrepostas, textos, etc. são empregados para apresentar os princípios fundamentais da representação prévia do espaço construído As participações dos usuários são registradas por meio de formulários, cujos textos produzidos são disponibilizados posteriormente aos demais participantes. Os resultados obtidos dão conta da viabilidade de iniciativas dessa natureza em ações que façam uso da rede mundial de computadores para a qualificação de trabalhadores, contribuindo para a superação de desequilíbrios na distribuição dos recursos de formação.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Neste trabalho inicialmente foi sintetizado o precursor organoalcoxisilano 3- anilinapropiltrimetoxisilano, APTMS, a partir da reação entre a anilina e o 3- cloropropiltrimetoxisilano, CPTMS, usando hidreto de sódio, NaH, como ativador de base. O precursor inorgânico tetraetilortosilicato, TEOS, foi polimerizado na presença do precursor orgânico, e catalisador. Durante a etapa de polimerização dos precursores alcóxidos, foram investigadas as influências da temperatura, do tipo e concentração do catalisador e da concentração de precursor orgânico adicionado nas propriedades finais dos híbridos anilinapropilsilica resultantes. Os materiais híbridos foram caracterizados através das técnicas: espectroscopia no infravermelho (FT-IR), técnica de espalhamento de Raios-x a baixos ângulos (SAXS), microscopia eletrônica de varredura (SEM), isotermas de adsorção e dessorção de nitrogênio, análise elementar, espectroscopia de aniquilação de pósitrons (PALS), análise termogravimétrica (TGA), espectroscopia de elétrons dispersos (EDS). A potencialidade de aplicação dos híbridos obtidos como materiais adsorventes na extração dos cátions Cu(II), Zn(II), Cd(II) e Co(II), em solução, foi investigada usando-se isotermas de adsorção pelo método batelada. Através das técnicas de caracterização foi possível observar que as propriedades morfológicas dos materiais como área superficial, distribuição do tamanho de poros, forma e tamanho das partículas, além da estabilidade e grau de incorporação orgânica podem ser controladas em maior ou menor grau, dependendo da variável usada durante a polimerização dos precursores alcóxidos. O material apresentou propriedades promissoras como adsorvente seletivo para o cobre.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Neste trabalho foram estudadas as propriedades magnéticas e estruturais de filmes ultrafinos de Fe, Co e Ni produzidos por eletrodeposição sobre substratos de Au(111). Os estágios iniciais de crescimento dos filmes foram estudados por técnicas de caracterização “in-situ”. Uma nova técnica de caracterização do estado magnético de filmes ultrafinos eletrodepositados (EC-AGFM) foi utilizada, mostrando-se uma poderosa ferramenta para o estudo das propriedades magnéticas dos filmes. Outras técnicas, como STM “in-situ”, PMOKE “in-situ”, EXAFS, XRD, RBS foram utilizadas. A análise dos dados revelaram resultados diferentes para os filmes de Fe e Co/Au(111), em comparação aos filmes de Ni/Au(111). Enquanto a anisotropia magnética perpendicular (PMA) foi observada para os filmes de Fe e Co/Au(111), não foi observada para os filmes de Ni/Au(111). Os resultados são interpretados em termos das contribuições para a anisotropia magnética dos filmes. No caso do níquel, a degradação de suas propriedades magnéticas são atribuídas à incorporação de hidrogênio durante a deposição. Os resultados das análises magnética e estrutural são correlacionados a fim de compreender o comportamento das propriedades observadas. Os resultados são comparados aos obtidos por técnicas em vácuo.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A quantidade de automóveis em circulação está em permanente crescimento, causando reflexos sobre a prestação de serviço de estacionamento de veículos. Nos grandes centros urbanos, problemas associados a dificuldades no estacionamento de veículos já atinge dimensões crônicas. Como conseqüência é crescente o mercado de empresas prestadoras de serviços de estacionamento. O aumento dos níveis de competitividade desta modalidade de empresa tem ocasionado maior demanda na melhoria da qualidade e produtividade na prestação do serviço. Para enfrentar este desafio, empresas operadoras de estacionamentos têm feito uso intenso de modernas tecnologias e equipamentos eletrônicos. Essas tecnologias têm alterado a forma de execução dos trabalhos e gestão empresarial. O Planejamento Estratégico vem sendo utilizado pelas organizações como mecanismo capaz de desenvolver caminhos e definir estratégias de ação para manter a competitividade da empresa. Neste aspecto, a tecnologia tem dado importante suporte para enfrentar estes desafios. O trabalho fornece informações para apoiar à tomada de decisão quanto ao uso de ferramentas para operação de empresas de estacionamento, através da revisão e discussão das disponibilidades de tecnologia. Os resultados do trabalho estão sendo utilizados para subsidiar o projeto de garagem subterrânea na cidade do Rio de Janeiro.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Este trabalho apresenta as etapas para planejamento e implementação (implantação, suporte e manutenção) de uma infra-estrutura de educação a distancia realizado pela PROCERGS – Cia de Processamento de Dados do Estado do Rio Grande do Sul. A infra-estrutura de EAD implantada pela PROCERGS foi aplicada através de um curso para 12 turmas de alunos da SE (Secretaria de Educação do Estado do Rio Grande do Sul), que é uma entidade educacional referenciada pelo programa de inclusão digital do Governo do Estado do RS. A infra-estrutura de EAD utilizou as instalações da PROCERGS para testes do curso, onde foi constituída uma equipe de trabalho, formado por um consultor em informática na educação, técnicos do corpo funcional da PROCERGS e funcionários do cliente. A infraestrutura de EAD foi composta por uma rede local montada no centro de treinamento da PROCERGS, disponibilizado com software de EAD denominado Teleduc e acesso a internet, que possibilitou aos alunos, professor e monitor, um relacionamento através de aulas presenciais e via internet. A continuidade das aulas pela internet foi apoiada pelos serviços de help-desk da PROCERGS, 24 horas ao dia e sete dias na semana. Durante o curso foram registradas ocorrências relativas ao desempenho da infraestrutura de EAD, especificamente quanto à participação dos alunos, trocas de informações e consultas ao monitor e professor, apoio dos recursos de software, hardware e comunicações, bem como a qualidade do atendimento aos alunos. Esta implementação proporcionou conhecer e avaliar alguns resultados, tais como fatores negativos e sucesso, itens a serem melhorados, conhecimentos relevantes adquiridos e importantes considerando a continuidade destes trabalhos para utilização nos demais clientes do Estado.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

O uso de enzimas como agentes de modificação das propriedades funcionais de proteínas tem se tornado bastante difundido na indústria de alimentos. As proteases, apresentam inúmeras vantagens, principalmente, devido a sua atividade em baixas concentrações e a sua ausência de toxicidade, que faz com que se elimine a necessidade da sua remoção do produto final. O objetivo deste trabalho foi determinar as condições ótimas de produção da protease de Microbacterium sp. kr10, caracterizar e purificar parcialmente a enzima, assim como verificar a sua utilização como agente de modificação das propriedades funcionais da proteína de soja. Através da metodologia de superfície de resposta foram determinadas as condições ótimas de produção da protease, pH de 7,0, temperatura de 25°C e 12,5 g L-1 de farinha de pena (p/v). O padrão proteolítico da enzima tanto no extrato cru quanto na parcialmente purificada indicam que esta é uma metaloprotease, com pH e temperaturas ótimos nas faixas de 6,5 a 7,5, e 45 a 55°C, respectivamente. A atividade enzimática foi totalmente inibida por EDTA, fenantrolina, HgCl2 e CuCl2 e parcialmente inibida por ZnCl2, MnCl2 e SnCl2. A enzima foi parcialmente purificada através de cromatografia de gel filtração e troca iônica resultando num fator de purificação de 250. Um aumento gradativo do grau de hidrólise da proteína de soja foi observado à medida que se aumentou a razão enzima/substrato utilizada, assim como a redução da formação de espuma e o aumento da capacidade emulsificante de uma solução composta pelo hidrolisado de soja e óleo de soja, mesmo sob condições de alta temperatura e alta concentração de sal. Desta forma, esta protease apresenta potencial para aplicação como agente de modificação protéica de proteína de soja isolada.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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.