Critérios para locação amostral baseados em simulação estocástica

Em planejamento de lavra, freqüentemente as campanhas de sondagem são complementadas por falta de segurança nas estimativas. Na maioria dos casos, essas sondagens adicionais são locadas sem o uso de qualquer procedimento matemático que indique os locais mais carentes de informação. Essa dissertação propõe uma metodologia fundamentada em simulação estocástica para tratar esse problema. Com a utilização desse método, é possível que seja considerada a variabilidade entre as informações, além da configuração espacial apresentada. Essa metodologia permite gerar várias estimativas equiprováveis do atributo em questão, reproduzindo o histograma e o variograma das informações originais. A variabilidade apresentada pelos conjuntos de n valores equiprováveis, em cada bloco discretizado da jazida, é medida por meio do cálculo de índices de incerteza. Esses índices são calculados após o processo de simulação estocástica por meio da compilação das n estimativas realizadas para cada bloco. Os índices de incerteza considerados nessa dissertação são: (i) variância condicional; (ii) coeficiente de variação condicional e (iii) intervalo entre quartis. A partir da classificação desses índices de incerteza, são identificados os setores que apresentam as maiores variabilidades em suas estimativas. Com essa classificação é possível a confecção de mapas de incerteza que auxiliam na visualização dos setores/blocos mais variáveis da jazida Nesses setores, são adicionadas informações oriundas da escolha aleatória de um dos n valores equiprováveis disponíveis para cada bloco simulado. Por meio dos índices de incerteza e de acordo com a metodologia, são propostas informações adicionais na área considerada, que contribuem na diminuição das incertezas globais e locais. Essa metodologia usa técnicas extremamente robustas, com embasamento teórico muito consistente, atacando diretamente os setores/blocos que apresentam as maiores flutuabilidades nas estimativas. Um estudo de caso em uma jazida de carvão verifica a aplicabilidade do método. Esse estudo, considera a variabilidade nas estimativas de espessura de uma camada carvão.

Caracterização por microscopia eletrônica do aço SAE1141 microligado ao Nb

Este trabalho visa a investigação dos aspectos microestruturais, de cunho significativo nas propriedades mecânicas de um aço microligado, através da utilização de técnicas de microscopia eletrônica. Variações em parâmetros de produção e processamento de aços microligados produzem efeitos microestruturais diversos, os quais influenciam diretamente nas propriedades do material. Para tanto, é de suma importância a realização de um acompanhamento da evolução microestrutural de forjados, para que se possa entender os mecanismos de reforço estrutural, e assim, buscar controlá-los. Foram simuladas as condições industriais de forjamento em amostras de aço microligado ao nióbio, SAE 1141, utilizando um simulador termomecânico Gleeble. Esse aço é empregado na produção de garfos (terminal) forjados pela indústria automobilística. As variáveis controladas na simulação foram a temperatura de pré-aquecimento, percentual de deformação e taxa de resfriamento. Os aspectos microestruturais resultantes foram analisados por microscopia de luz visível e eletrônica de varredura. Especial atenção foi dada ao estudo dos aspectos subestruturais através da técnica de microscopia eletrônica de transmissão. Foram utilizadas para tal amostras do tipo réplica de extração em filme de carbono e lâminas finas Os estudos realizados neste trabalho poderão contribuir para otimização do processo de forjamento nessa classe de aços visando garantir boas propriedades mecânicas. Análises por nano-sonda EDS indicam a presença de partículas ricas em Nb. Foi constatado que a temperatura de pré-aquecimento para forjamento desempenha papel importante, pois a temperatura mais baixa, verifica-se fina precipitação de carbonitretos e o refino de grão é mais pronunciado. Este efeito é influenciado também pelo grau de deformação a quente.

Recursos informáticos e telemáticos como suporte para formação e qualificação de trabalhadores da construção civil

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.

Implantação do controle estatístico de processos em uma empresa de bebidas

Esta dissertação tem por finalidade principal verificar a viabilidade de implantação do método de controle integrado de atributos da qualidade. O objetivo secundário baseia-se em uma revisão na bibliografia do controle estatístico do processo, em especial as cartas de controle tradicionais e a carta de controle integrado do processo. A carta de controle integrado do processo é aplicável em processos contínuos e intermitentes de manufatura onde existem vários atributos independentes a serem monitorados. A partir de um posto de trabalho definido em uma linha de produção, o monitoramento, visando o controle e a garantia da qualidade, é realizado através de uma única carta de controle que engloba todas as características de qualidade pertinentes ao processo. Utilizando-se de um gráfico de Pareto, obtém-se a hierarquização das características de qualidade, podendo-se atuar sobre aquelas que mais contribuem para o percentual de defeituosos. Desta forma, é possível diagnosticar e solucionar problemas de qualidade tendo como alvo a melhoria contínua do processo. A principal vantagem desta carta está na simplicidade do controle integrado por apresentar em uma única carta uma visão geral da condição da qualidade. A demonstração da aplicabilidade da carta de controle integrado do processo é feita através do estudo de caso em uma empresa de bebidas alcoólicas O processo estudado é a rotulagem de duas bebidas alcoólicas que apresentam 10 características de qualidades, e destas se desdobram 29 tipos de defeitos. Todos estes defeitos são monitorados por uma carta de controle integrado do processo. Em um dos processos, se verifica através do gráfico de Pareto que dos 29 tipos de defeitos, 2 são responsáveis pela instabilidade do mesmo. Pode-se, então, atuar sobre estes defeitos e, portanto, melhorar este processo. Sempre que houver uma causa especial anômala ao processo, a carta indicará sua presença, e dará uma base sólida para a tomada de decisão de uma ação corretiva.

Lançamento de DRs por empresas brasileiras no mercado norte-americano : valorização de mercado, volatilidade e performance ajustada ao risco

O lançamento de DRs (Recibos de Depósitos) por empresas brasileiras é um mecanismo que possibilita às empresas terem acesso a mercados de capitais maiores e mais líquidos, podendo servir como um instrumento para o aumento de suas visibilidades no exterior e como um possível redutor de seus custos de capital. Esta pesquisa verifica os reflexos ocorridos nas ações das empresas brasileiras que lançaram mão deste instrumento no que tange a suas valorizações de mercado, suas volatilidades e suas performances ajustadas ao risco. De uma forma geral, apesar de pouco significativos estatisticamente, os resultados encontrados para as empresas brasileiras parecem ser condizentes com a hipótese de que a negociação internacional dos papéis dessas companhias ajudam a reduzir os efeitos da segmentação de mercado em suas ações, estando associados a ajustes para cima em seus preços, e para baixo, em seus retornos esperados e em suas volatilidades, para todos os tipos de DRs brasileiros negociados no mercado norte-americano, à exceção dos DRs de nível III que, de uma forma não significativa, parecem se comportar como se fossem emissões sazonais de capitais tradicionais (seasoned equity offerings).

A localização da indústria de transformação brasileira nas últimas três décadas

O propósito dessa dissertação é avaliar, numa perspectiva geográfica, os setores industriais no Brasil nas últimas três décadas. Numa primeira instância, o objetivo é verificar o nível de especialização e concentração dos estados brasileiros em termos industriais, utilizando-se os índices de Krugman e Gini, respectivamente. Com os resultados desses dois índices, os estados brasileiros são separados em quatro grupos, segundo o método de grupamento de médias K. Através de um produto interno usual entre o vetor da distribuição da produção industrial dos setores nos estados e vetores de algumas características desses setores (chamado de Viés das Características da Indústria - VCI), verifica-se em que tipos de indústrias os estados estão se especializando e/ou concentrando. Uma análise multivariada de componentes principais é feita com os VCI’s, na qual esses componentes principais são usados para verificar a similaridade dos estados. Sob outra perspectiva, busca-se investigar o nível de concentração geográfico dos setores industriais brasileiros. Para tanto, utilizaram-se o índice Gini e o índice de Venables. Nesse último, a distância entre os estados não é negligenciada para mensuração da concentração. Os setores industriais são separados em três grupos pelo método de grupamento de médias K, no qual as variáveis utilizadas são os componentes principais das características das indústrias. Utilizando outro produto interno, o Viés da Característica dos Estados (VCE), observa-se em que tipo de estados os setores industriais estão se concentrando ou não. Para visualizar como essas duas perspectivas, ou seja, como as características dos estados e das indústrias influenciam a localização dos setores industriais no território brasileiro, um modelo econométrico de dados cruzados de Midelfart-Knarvik e outros (2000) é estabelecido para o caso brasileiro. Neste modelo econométrico, é possível investigar como a interação das características das indústrias e dos estados podem determinar onde a indústria se localiza. Os principais resultados mostram que os fortes investimentos em infraestrutura na década de 70 e a abertura comercial na década de 90 foram marcantes para localização da indústria brasileira.

Pecuária familiar na região da Serra do Sudeste do Rio Grande do Sul : um estudo sobre a origem e a situação socioagroeconômica do pecuarista familiar no município de Canguçu/RS

No imaginário social, político e até acadêmico no Rio Grande do Sul persiste a idéia que a estrutura fundiária do Estado estaria assentada na polarização entre “minifúndios” e “latifúndios”. Conforme esta idéia o Estado do Rio Grande do Sul estaria dividido em duas partes, onde a “Metade Sul” estariam assentados os latifúndios e a “Metade Norte” os minifúndios. Neste estudo buscou-se observar que a estratificação social e econômica que se verifica na estrutura agrária gaúcha não decorre, imediatamente, da distribuição fundiária, ou seja, há que produzir interpretações muito mais complexas sobre a estrutura social no campo do que aquela que opera com a idéia que separa a sociedade rural gaúcha em dois grupos de proprietários: pequenos ou grandes, minifúndios ou latifúndios. Neste sentido, o objetivo deste estudo foi aprofundar os conhecimentos sobre a realidade de agricultores que pertencem a Metade Sul do Estado, que é pouco conhecida, e não corresponde ao contexto que se formou sobre esta região do estado. O estudo enfocou agricultores do município de Canguçu-RS que tenham a pecuária bovina de corte como a base de seus sistemas de produção, e que, contudo, utilizam-se principalmente da mão-de-obra familiar na propriedade. Em função destes fatores, estes agricultores foram denominamos como “pecuaristas familiares”. A partir do uso do referencial teórico e metodológico baseado no enfoque sistêmico, o presente trabalho diagnosticou e analisou os diferentes sistemas de produção implementados pelos “pecuaristas familiares” do município de Canguçu-RS Desta forma foi possível identificar três “tipos” de “pecuaristas familiares”, e três estudos de caso de agricultores que também implementam a “pecuária familiar”. O primeiro tipo identificado é formado por agricultores que, na sua maioria, são herdeiros dos estancieiros da região que gradualmente tiveram suas áreas produtivas reduzidas, fato que ocorreu através da partilha da propriedade pelos herdeiros; normalmente são aposentados e além da criação de gado de corte extensiva também cultivam pequenas áreas de milho e feijão, este tipo de agricultor foi denominado como “pecuarista familiar tradicional”. O segundo tipo identificado é formado na sua maioria por descendentes de peões e agregados que trabalhavam nas estâncias. Possuem pequenas propriedades, mas, por serem mais jovens, e possuírem maior força de trabalho que os “pecuaristas familiares tradicionais”, implementam diversos cultivos em suas propriedades além de desenvolver alguma atividade não agrícola, como, por exemplo, o comércio (venda na localidade). Por este fato, são denominados como sendo “pecuaristas familiares pluriativos”. O terceiro tipo é formado por criadores de gado de corte, também de forma extensiva, mas que estão mais inseridos no mercado de carne, pois comercializam o gado diretamente com os frigoríficos ou para intermediários em detrimento deste fato denomina-se este tipo de agricultor como sendo um “pecuarista familiar comercial”. Estes agricultores possuem realidades diferentes, mas, utilizam sistemas de produção semelhantes, e carecem de políticas públicas específicas para o seu desenvolvimento.

Analisando o risco de uma carteira de crédito via simulações de Monte Carlo

Neste trabalho, analisamos utilização da metodologia CreditRLsk+ do Credit Suisse sua adequação ao mercado brasileiro, com objetivo de calcular risco de uma carteira de crédito. Certas hipóteses assumidas na formulação do modelo CreditRisk+ não valem para o mercado brasileiro, caracterizado, por exemplo, por uma elevada probabilidade de defcnilt. Desenvolvemos, então, uma metodologia para cálculo da distribuição de perdas através do método de Simulação de Monte Cario, alterando algumas hipóteses originais do modelo com objetivo de adaptá-lo ao nosso mercado. utilização de simulações também oferece resultados mais precisos em situações onde as carteiras possuem uma pequena população de contratos, além de eliminar possíveis problemas de convergência do método analítico, mesmo considerando as hipóteses do modelo original. Verifica-se ainda que tempo computacional pode ser menor que da metodologia original, principalmente em carteiras com elevado número de devedores de perfis distintos com alocações em diversos setores da economia. Tendo em vista as restrições acima, acreditamos que metodologia proposta seja uma alternativa para forma analítica do modelo CreditRisk+. Apresentamos exemplos de utilização resultados providos por estas simulações. ponto central deste trabalho realçar importância da utilização de metodologias alternativas de medição de risco de crédito que incorporem as particularidades do mercado brasileiro.

Aspectos do mercado eleitoral brasileiro: análise econométrica do impacto dos gastos de campanha nas eleições para a Câmara e o Senado de 2002

Esta dissertação de mestrado em economia foi motivada por uma questão complexa bastante estudada na literatura de economia política nos dias de hoje: as formas como campanhas políticas afetam votação em uma eleição. estudo procura modelar mercado eleitoral brasileiro para deputados federais senadores. Através de um modelo linear, conclui-se que os gastos em campanha eleitoral são fatores decisivos para eleição de um candidato deputado federal. Após reconhecer que variável que mede os gastos em campanha possui erro de medida (devido ao famoso "caixa dois", por exemplo), além de ser endógena uma vez que candidatos com maiores possibilidades de conseguir votos conseguem mais fontes de financiamento -, modelo foi estimado por variáveis instrumentais. Para senadores, utilizando modelos lineares modelos com variável resposta binaria, verifica-se também importância, ainda que em menor escala, da campanha eleitoral, sendo que um fator mais importante para corrida ao senado parece ser uma percepção priori da qualidade do candidato.

Avaliação do Projeto BBC Uni junto ao público universitário brasileiro em termos de percepção e conhecimento de marca

O presente trabalho apresenta os resultados de uma pesquisa realizada no mês de setembro 2003, no estado do Rio Grande do Sul, região da grande Porto Alegre (Canoas e São Leopoldo), entre estudantes universitários do Curso de Comunicação Social, participantes e não participantes de um evento promovido pela BBC, durante os meses de fevereiro e março, em oito capitais brasileiras. Tal pesquisa, de caráter quantitativo, teve como principal intuito avaliar os resultados do projeto BBC Uni, em termos de conhecimento e imagem de marca da empresa BBC. Entre os objetivos específicos do trabalho estão: investigar a avaliação geral do evento realizado pelo projeto BBC Uni junto ao público-alvo deste e avaliar se a série de eventos realizados no projeto BBC Uni incrementou o número de acessos ao site BBC Brasil. Como principais conclusões obtidas a partir do trabalho tem-se que o BBC Uni, de forma geral, gerou um maior conhecimento sobre a empresa e aumentou as experiências e percepções positivas do público universitário a respeito da marca. Verifica-se também, que o evento incrementou o número de acessos à página da Internet e a relação da empresa com este público.

Estimação da volatilidade para hedge de carteiras de opções: um teste de eficiência

Neste trabalho compara-se diversos métodos de determinação da volatilidade de uma ação, quando a finalidade é tornar um dado spread de opções delta-neutro, usando o modelo de Black-Scholes. Os spreads são formados com o objetivo de gerar lucros de arbitragem, através de uma estratégia de exploração sistemática de distorções de volatilidades implícitas das opções de compra da Telebrás na BOVESPA, no período de Abril de 93 a Maio de 95. A comparação dos métodos é feita através de medidas da eficiência dos mesmos em hedgear os spreads formados. Nessas condições, conclui-se que a melhor maneira de tomar a carteira delta-neutra é usando para cada opção a sua respectiva volatilidade implícita. Além disso, verifica-se que teria sido possível, para um agente com baixos custos de transação, obter lucros substanciais com a estratégia de trading utilizada.

Aplicação de modelos de avaliação por múltiplos no Brasil

Com base na literatura internacional, testa-se o desempenho de alguns Drivers de Valor comumente utilizados para avaliação de empresas pelos práticos em finanças através de modelos de regressão simples do tipo cross-section que estimam os Múltiplos de Mercado (?'s dos modelos). Utilizando dados de empresas listadas na Bolsa de Valores de São Paulo-Bovespa, diagnostica-se o comportamento dos diversos múltiplos no decorrer do período entre 1994-2004, atentando-se também para as particularidades das atividades desempenhadas pelas empresas da amostra (e seus possíveis impactos no desempenho de cada Driver de Valor) através de uma subseqüente análise com a separação das empresas da amostra em setores. Extrapolando os padrões de avaliação por múltiplos simples usados pelos analistas de empresas das principais instituições financeiras presentes no Brasil, verifica-se que a introdução de intercepto na formulação tradicional não oferece resultados satisfatórios na redução dos erros de apreçamento. Os resultados encontrados podem não ser genericamente representativos, dada a limitada disponibilidade de informações e as restrições impostas na obtenção da base de dados.

A influência da consciência ambiental e das atitudes em relação ao consumo sustentável na intenção de compra de produtos ecologicamente embalados

O agravamento dos problemas ambientais ocorridos nos últimos cem anos está diretamente relacionado ao uso indiscriminado dos recursos existentes no meioambiente. Desde de a década de 70, entretanto, os movimentos ambientais surgiram e ganharam força de forma a desempenharem, hoje, um papel relevante na sociedade. Paralelamente a este movimento voltado para as questões ambientais, surgiu também um tipo de consumidor que passou a ponderar os impactos de seu padrão de consumo na natureza. Este novo consumidor foi denominado consumidor ecologicamente correto (ou verde) e seu comportamento de compra, consumo sustentável. Deste modo, este estudo buscou verificar a influência exercida pelo nível de consciência ambiental do consumidor e pelas suas atitudes em relação ao consumo sustentável nas suas intenções de compra de produtos ecologicamente embalados. Para tanto, com base em uma pesquisa do tipo survey testou-se, com a utilização da modelagem de equações estruturais, um modelo integrado para se verificar as relações entre as variáveis latentes. Os resultados indicam haver uma influência positiva da consciência ambiental nas atitudes em relação ao consumo sustentável e desta nas intenções de compra de produtos ecologicamente embalados. Ainda, verifica-se uma influência positiva direta do nível de consciência ambiental nas intenções de compra de produtos ecologicamente embalados. Discussões sobre os resultados alcançados, bem como implicações gerenciais e sugestões para pesquisas futuras são abordadas ao fim do trabalho.

e-OP : uma nova prática comunicativa do orçamento participativo de Porto Alegre

Este estudo verifica a presença de novos padrões comunicacionais e novas práticas comunicativas na experiência do Orçamento Participativo de Porto Alegre na Internet e a sua relevância para a participação política. É um estudo descritivo e avaliativo elaborado a partir da decupagem do Web site do OP e de informações qualitativas e quantitativas retiradas da base de dados referente a participação pela Internet realizada em 2001, primeiro ano do e-OP. Descreve o conjunto de conteúdos e processos disponíveis no site e constrói um perfil inicial do participante online a partir de dados referentes à origem geográfica, às faixas de renda e ao sexo do participante. A análise destes dados orienta-se por uma tipologia de novos padrões comunicacionais e novas práticas comunicativas elaborada a partir da reflexão teórica realizada por esta pesquisa sobre a comunicação na Governança Eletrônica. A aplicação do modelo proposto identifica as potencialidades que asseguram a relevância e a peculiaridade do e-OP como uma nova prática comunicativa, mas também aponta os limites desta experiência, que tem registrado uma redução crescente no número de participantes a cada ano.

Um Modelo formal e executável de agentes BDI

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.