Solidaridad étnica y capital social: el caso de los comerciantes migrantes kichwa-Otavalo en Madrid y La Compañía (Estudios)

En el análisis sobre migrantes, en general, y sobre migrantes descritos como grupos étnicos, en concreto, se tiende a presuponer un tipo de “solidaridad étnica” dentro de sus redes sociales. Esta suposición da por sentado que todos los que se definen como “indígenas” disponen y disfrutan de un capital social basado en la solidaridad. En este artículo se toma el caso de comerciantes migrantes kichwa-otavalo tanto para indagar la suposición de que la etnicidad es la fuente del capital social colectivo y, por tanto, de la solidaridad, como para cuestionar si esta actúa implícita en las cadenas y redes de migrantes, las cuales suelen ser equiparadas a su capital social.

El control judicial de la actividad discrecional de la administración pública en el Ecuador

Antiguamente se consideraba que la facultad discrecional de la administración estaba exenta de control, lo que constituía, sin lugar a dudas, un privilegio a favor de los gobernantes, quienes podían actuar de manera arbitraria y contra ley, sin resquemor alguno. Frente a esta situación de inseguridad jurídica y abuso del poder, la humanidad siempre luchó por evitar y disminuir el abuso del poder, y es así como llegamos al denominado Estado de Derecho, que propugna la sumisión de todas las actuaciones del Estado a la Constitución y la ley, es decir, nada puede quedar fuera o exento de control. Allí se concibió como necesaria la facultad discrecional de la administración para tomar decisiones oportunas, pero no como una antítesis de la facultad reglada, sino también como una prerrogativa legal. Este cambio de concepción de la facultad discrecional de la administración, lleva implícita otra consecuencia y dice relación a la pregunta de ¿cómo pueden los jueces hacer un control judicial pleno de las actividades derivadas de la potestad discrecional de la administración? El tema que se pone en la palestra para su discusión ha sido objeto de múltiples escritos, foros académicos, debates interminables y mucha tinta derramada, pero aún no existe una posición consolidada y unificada respecto de cómo hacer ese control, en lo único en que todos coinciden es en la circunstancia de que los actos administrativos dictados en ejercicio de una facultad discrecional de la administración, son perfectamente impugnables. Para lograr un control pleno de las actividades administrativas, se hace indispensable el reconocimiento de una jurisdicción contencioso administrativa plenaria y universal, integrada por jueces independientes, imparciales y competentes, que conciban su labor de control efectivo, sin escudarse en subterfugios, ya sea para dejar de resolver o negar demandas de manera sistemática en casos discrecionalidad. Tal situación resulta inconcebible con el actual marco constitucional en vigencia, que determina la obligación de fallar no solo sobre normas sino también sobre principios, lo que permite a los jueces ampliar sus fronteras, superar el criterio de que la jurisdicción contencioso administrativa es exclusivamente revisora e impide que se deje sin tutela judicial efectiva a ningún ciudadano.

Principio da responsabilidade intergeracional ambiental

O Direito ambiental, que surgiu em decorrência da necessidade de uma legislação que protegesse a natureza da ação predatória humana,vê se ainda pouco explorada em aspectos intergeracionais.Aspectos esses que, de forma simples e coesa, este trabalho alude um entedimento aplicável e expliacativo.Partindo da diferença entre regras e princípios, define-se uma primeira afirmativa:que, do princípio da responsabilidade intergeracional, emanam outros princípios basilares do Direito Ambiental Moderno.Contundo, o Princípio da Responsabilidade Intergeracional não surge como o Direito Ambiental.De forma implícita e sorrateira, aquele surge dentro dos tratados internacionais, e futuramente dentro de cenário jurídico brasileiro, traçando uma linha crológica jurídico-política dessa evolução nesse cenário nacional.Pois bem , de nada adiantaria definir o que é responsabilidade intergeracional de são, também, definir o que é geração e quais os direitos, justiças e obrigações desses sujeitos que estão por vir, ou estão aqui ou já passaram por aqui.Por fim , esse trabalho delimitará a relação entre a atual forma de proteção ambiental(a responsabilidade civil) e a sua insuficiência no solucionar dos atuais problemas enfrentados pela humanidade e o meio ambente, traçando também, uma comparação com o instituto da responsabilidade acautelatória(responsabilidade intergeracional)

Caracterização de famílias de crianças em situação de violência intrafamiliar

Trata-se de um estudo descritivo do tipo exploratório que utilizou uma abordagem combinada quantitativa e qualitativa para caracterizar as famílias de crianças em situação de violência intrafamiliar, atendidas pela “Equipe de Proteção às Crianças Vítimas de Maus-tratos e Violência Sexual”, no Hospital de Clínicas de Porto Alegre (HCPA), no ano de 1999. A coleta de dados foi realizada por um roteiro estruturado elaborado pela pesquisadora, constituído de quatro dimensões pré-estabelecidos – sócioeconômica, estrutura e funcionamento familiar, situação atual do abuso do contexto familiar e história pregressa da família – preenchido através dos prontuários e protocolos das crianças atendidas no HCPA. Os dados quantificáveis foram analisados com auxílio da estatística descritiva, e os qualitativos pelo método de análise de conteúdo, segundo Bardin (2000). Assim formaram sete categorias: organização familiar, relacionamento familiar, percepção dos adultos sobre a criança vítima de violência, justificativas de utilização da violência, ações maternas frente à violência, motivos da procura do serviço de saúde e a trajetória da família na instituição hospitalar. A maioria das famílias pesquisadas possuíam precária inserção sócioeconômica com baixo nível de escolaridade, desempregadas, inseridas no mercado formal e/ou informal. Eram predominantes da região central de Porto Alegre, demonstrando uma diversidade de arranjos e fragilidade nas relações familiares, com confusão de papéis e disputa de autoridade. Algumas famílias registraram ausência da figura paterna Características importantes constatadas entre os adultos: progenitores adolescentes, jovens, vivendo responsabilidade de adulto, o elevado padrão do uso abusivo de drogas, presença de aleitamento materno e gravidez não desejada. Houve um predomínio de negligência em relação a outras formas de violência praticadas, sendo que o ato violento foi cometido de forma intencional, mas o agressor não apresentava justificativa para o fato. A mãe configurou-se como a maior agressora e, simultaneamente, a principal cuidadora da criança. Nesse estudo, a criança mais atingida foi a do sexo masculino, raça branca, evidenciando lesão e apresentando longo período de convivência com o agressor que sempre era alguém muito próximo a ela. As famílias envolvidas procuraram atendimento de forma espontânea, mas a queixa de violência estava implícita. A pesquisa permitiu contextualizar a violência como social e histórica, presente em larga escala na sociedade brasileira uma sociedade desigual na qual se pratica violência dentro da família contra a criança, legitimando uma forma de poder estruturante nas relações sociais e na interação com fatores individuais econômicos e culturais. Assim, verificou-se a fundamental importância da atuação do enfermeiro no enfrentamento da problemática questão da violência intrafamiliar contra a criança.

Incorporando suporte a restrições espaciais de caráter topológico ao modelo abstrato do consórcio Open GIS

Os Sistemas de Informação Geográfica (SIG) são construídos, especificamente, para armazenar, analisar e manipular dados geográficos, ou seja, dados que representam objetos e fenômenos do mundo real, cuja localização em relação à superfície da Terra seja considerada. A interoperabilidade desses sistemas, que constitui-se na capacidade de compartilhar e trocar informações e processos entre ambientes computacionais heterogêneos, se faz necessária, pois, devido ao elevado custo de aquisição dos dados geográficos, as comunidades de informação precisam compartilhar dados de fontes existentes, sem a necessidade de fazer conversões. Porém, pela complexidade e incompatibilidades de representação, de estrutura e de semântica das informações geográficas, a maioria dos softwares de SIG, hoje, não são interoperáveis. Existe também, além do problema da não interoperabilidade, uma crescente preocupação com relação à qualidade e à integridade espacial dos dados geográficos. Contudo, alguns modelos conceituais de dados geográficos e os softwares de SIG não oferecem, ainda, os meios adequados para representar e garantir a integridade espacial das informações. As restrições de integridade definidas durante a fase de projeto conceitual, normalmente, são implementadas durante o projeto físico, seja de forma implícita ou explícita, podendo ser incorporadas diretamente no modelo de implementação do SIG, de forma que o usuário da aplicação apenas mencione a regra e o sistema a implemente e a garanta automaticamente.Este trabalho de pesquisa propõe uma extensão ao Modelo Abstrato OpenGIS, modelo este que deve ser um padrão de interoperabilidade de software para SIG. A extensão proposta incorpora ao mesmo um subconjunto de tipos de restrição espacial, buscando com isso oferecer melhor suporte às regras da realidade geográfica expressáveis na modelagem conceitual do sistema.

Os incluídos na escola : o disciplinamento nos processos emancipatórios

Sob a influência de instrumentos analíticos pós-estrututalistas, especificamente de abordagens associadas a Michel Foucault, bem como de dimensões dos Estudos Culturais e da etnografia, o trabalho aborda a caracterização da população presente nas escolas municipais de POA face às Políticas de Inclusão adotadas, agrupada prioritariamente nas Turmas de Progressão – agrupamento provisório de estudantes aos quais se atribuem defasagens entre a idade cronológica e o nível de conhecimentos – adotadas no Projeto Escola Cidadã: Ciclos de Formação. Os integrantes dessas turmas eram, na situação estudada, crianças e jovens pobres, multirepetentes, alguns com déficts orgânicos e ou psicológicos, muitos com carências materiais e afetivas graves, na maioria das vezes negros, sendo muitos deles oriundos de Classes Especiais. Havia também entre eles/as internos/as da antiga FEBEM, meninos/as de rua e na rua – em suma eram sujeitos que poderiam incluir-se na categoria dos “anormais” discutida por Foucault (1997) e/ou dos “estranhos” tal como foi nomeada por Bauman (1998). Analisam-se, também, na tese instrumentos usados nas práticas pedagógicas - as fichas da secretaria, os relatórios de avaliação, os dossiês – que atuam na constituição e disciplinamento desses sujeitos/alunos e também de suas professoras. A percepção de que é preciso dar aula para quem não sabe ainda ser aluno e aluna e da negação do papel produtivo da pedagogia neste processo de constituição, sujeição e disciplinamento emerge das discussões conduzidas a partir de constatações feitas relativamente aos grupos estudados.

A perspectiva dos líderes diante da gestão da criatividade em empresas da região metropolitana de Curitiba - Pr.

Tendo por objetivos identificar e analisar a perspectiva das lideranças formais sobre as condições para a gestão da criatividade frente às novas configurações produtivas nas empresas da Região Metropolitana de Curitiba, este estudo apresenta primeiramente um breve histórico do processo de industrialização no Brasil. Dá-se enfoque às mudanças ocorridas a partir da introdução dos métodos japoneses de prod ução, aqui vistos como responsáveis pelas novas configurações produtivas. Ao delimitar o tema, pontua-se bases conceituais dessa gestão, e destaca-se processos gerenciais relacionados à criatividade. Em seguida, a revisão das bases conceituais sóciointeracionistas para que o processo criativo ocorra nas organizações, é discutido. Relaciona-se esse processo ao reconhecimento do perfil das pessoas que criam; ao papel do ambiente organizacional; ao papel dos líderes em ambientes de estímulo à criatividade, e à relevância da criatividade nessas organizações. Os primeiros resultados, coletados junto aos profissionais de Recursos Humanos do Paraná, deu-se através de pesquisa exploratória. Eles contribuíram para a construção do instrumento de pesquisa tipo Survey, composto por 65 assertivas. A tarefa do referido instrumento foi avaliar a auto-percepção desses líderes no manejo de equipes e projetos institucionais das empresas, relacionando-os à gestão da criatividade - explícita ou implícita - utilizando a escala Likert de 05 pontos. Após o pré-teste, 189 líderes formais, provenientes de 34 empresas (12 do setor da indústria da transformação, 04 do setor comercial e 18 do setor de serviços) foram submetidos à avaliação. No quarto capítulo, apresenta-se os resultados da pesquisa e propõe inter-relações entre as variáveis. Esses resultados mostram que: o estabelecimento de cultura da criatividade nas organizações necessita de líderes preparados para tal; o potencial criativo deve ser otimizado em novos projetos, em novos desafios, e em rotinas sustentadoras do cotidiano; os líderes devem identificar funcionários que melhor se ajustam a cada uma dessas necessidades, já que são pressupostos para manter a competitividade; os líderes também necessitam rever os aspectos físicos e funcionais da empresa, o estilo de gestão, e as formas de relacionamento entre eles e demais empregados. Significativas diferenças entre as visões, masculina e feminina, sobre os aspectos que envolvem a gestão da criatividade, foram evidenciadas. Para os líderes pesquisados, a criatividade exerce papel fundamental nos negócios e é aplicada em todas as áreas, inclusive no campo da estratégia. No final, aponta-se estratégias, contextualizadas e reconsideradas frente às novas realidades, para as discussões acerca do perfil dos líderes para a gestão da criatividade.

Extração semântica de dados semi-estruturados através de exemplos e ferramentas visuais

Existe uma necessidade latente de pesquisar, filtrar e manipular informações disponíveis em diversos formatos irregulares, entre elas as informações distribuídas na WWW (World Wide Web). Esses tipos de dados são semi-estruturados, pois não possuem uma estrutura explícita e regular, o que dificulta sua manipulação. Este trabalho apresenta como proposta o projeto de uma ferramenta para realizar a extração semântica e semi-automática de dados semi-estruturados. O usuário especifica, através de uma interface visual, um exemplo da estrutura hierárquica do documento e de seu relacionamento com os conceitos da ontologia, gerando uma gramática descritiva da estrutura implícita do mesmo. A partir dessa gramática, a ferramenta realiza a extração dos próximos documentos de forma automática, reestruturando o resultado em um formato regular de dados, neste caso, XML (eXtensible Markup Language). Além da conceituação do método de extração, são apresentados os experimentos realizados com o protótipo da ferramenta, bem como, os resultados obtidos nestes experimentos. Para a construção desta ferramenta, são analisadas características de outros métodos que constituem o estado da arte em extração de dados semi-estruturados.

A diferenciação da literatura moderna alemã no processo constitutivo da sociedade funcional : uma abordagem sistêmica baseada em Niklas Luhmann

Este estudo interdisciplinar se baseia na teoria dos sistemas desenvolvida pelo sociólogo alemão Niklas Luhmann (1927-1998). Analisa-se a literatura alemã por volta de 1800 dentro de uma concepção histórica que vê neste período o ponto culminante da transformação de uma sociedade estratificada em direção a uma ordem social moderna, estruturada por sistemas diferenciados como educação, economia, direito e literatura que realizam uma determinada função e se caracterizam por suas comunicações específicas. A poética da literatura romântica como fase constitutiva da literatura alemã moderna reflete este processo. Ela descreve sua autonomia, a diferenciação de um campo próprio, inicialmente através da negação de uma finalidade. Em seguida recorre ao gênio, o indivíduo excepcional, como garantia de uma arte livre de normas estéticas e coações sociais. Posteriormente abstrai destas justificativas externas ou individuais e formula tautologicamente seu campo para, no final, marcá-lo pela definição da qualidade de seus textos. Na semântica da época, formula-se esta qualidade no conceito da “ironia”, enquanto a teoria dos sistemas usa conceitos como observação de segunda ordem ou oscilação entre o atual e potencial. Paralelamente, o sistema da literatura diferenciado e autônomo torna-se um campo a ser observado por seu ambiente. A historia literária do século XIX o instrumentaliza por fins políticos, enquanto direitos autorais e o livro como mercadoria de possível lucro lhe atribui uma dinâmica acelerada. Encontra-se na figura do autor uma instância onde se cruzam as diversas observações de sistemas como direito, economia e ciências humanas.

Caracterização das propriedades aerodinâmicas de torres metálicas para determinação da resposta devida ao vento

A utilização de torres metálicas treliçadas vem, nos últimos anos, se intensificando em todo o Brasil. Este aumento é resultado do salto tecnológico pelo qual o país passou no início da década de 90, onde a necessidade de ampliação dos sistemas de telecomunicações, principalmente, da telefonia celular, se tornou imprescindível para o seu crescimento tecnológico. Em função disso, vários são os projetos de torres metálicas treliçadas que tem sido contratados pelas diversas empresas de telefonia celular, espalhadas por todo país. No Brasil, onde, pelas benesses da natureza, não há registros de terremotos significativos, e devido ao baixo peso deste tipo de estrutura, a força do vento é o carregamento determinante para a elaboração do projeto estrutural de torres metálicas treliçadas. Sendo assim, se faz necessário perguntar: será que estes projetos estão atendendo às recomendações da norma de vento (NBR 6123/88)? Quais são os riscos aos quais as populações estão sujeitas com a edificação de torres cada vez mais próximas de suas casas? Neste trabalho, tomando como exemplo o projeto de uma torre metálica treliçada que colapsou no ano de 2000 na cidade de Porto Alegre-RS, foram feitas investigações numéricas no sentido de avaliar a integridade estrutural daquela torre ante os carregamentos devidos aos ventos locais, onde se concluiu que a carga de vento implícita no dimensionamento foi bem abaixo daquela calculada pelos padrões da norma brasileira Uma investigação experimental em dois modelos seccionais, um em latão e outro em madeira, construídos a partir de dois trechos da torre estudada, foi realizada a fim de analisar parâmetros aerodinâmicos como coeficientes de arrasto, ângulo de incidência do vento sobre a torre, índice de área exposta e fator de proteção. Os modelos foram construídos na oficina Paulo Francisco Bueno - LAC/UFRGS e ensaiados no Túnel de Vento Prof. Joaquim Blessmann do Laboratório de Aerodinâmica das Construções da Universidade Federal do Rio Grande do Sul – LAC/UFRGS. Neste trabalho são apresentados os resultados destes experimentos, bem como uma comparação destes resultados com informações até então disponíveis na literatura técnica, além de uma contribuição técnica ao capítulo 9 da NBR 6123/88.

A correção de erros : inimiga ou aliada? : a reescrita como estratégia de correção e de conscientização na produção escrita de aprendizes de inglês como língua estrangeira

Este estudo preliminar descreve uma proposta de correção de erros nas produções escritas de doze (12) alunos de nível básico de língua inglesa da Universidade de Caxias do Sul (UCS). O objetivo é investigar a relevância da reescrita como estratégia de conscientização, de acordo com a Hipótese do Noticing de Schmidt (1990), buscando promover a correção gramatical e o aprimoramento da produção textual. Nesse contexto, a correção passa a ser uma aliada e não inimiga do aprendiz. O feedback corretivo fornecido através do uso de uma Tabela de Marcação, a conscientização dos erros através da reescrita e o envolvimento dos aprendizes no processo de auto-análise de seus textos revelaram-se condições facilitadoras na busca das formas corretas e na prevenção do erro. A análise dos dados demonstrou uma possível ruptura com a previsibilidade implícita na Hipótese do Noticing, que propõe que prestar atenção a determinados aspectos lingüísticos possibilita sua melhor assimilação e a não recorrência de erros. Os trabalhos evidenciaram uma melhoria progressiva na qualidade da produção escrita apesar do aumento do número de erros, possivelmente devido a uma desinibição por parte dos aprendizes em escrever e a sua opção em assumir riscos na produção de estruturas lingüísticas mais complexas, o que não inviabiliza a proposta da reescrita como estratégia de conscientização.

A cidade colonial ibero-americana : a malha urbana

Esta dissertação estuda a cidade colonial ibero-americana, a partir de seu traçado, de sua configuração espacial e como produto da milenar tradição urbana do ocidente, em suas variáveis erudita e popular. Foram analisadas as circunstâncias políticas, econômicas e socioculturais que condicionaram os três séculos do período colonial na Ibero-américa e que influenciaram, de um ou de outro modo, o arranjo espacial das cidades. O trabalho identifica os elementos da arquitetura grega, romana, medieval cristã, muçulmana, renascentista, pré-colombiana e barroca que foram naturalmente selecionados, sintetizados e re-elaborados em sua implementação na cidade ibero-americana. Uma tipologia de malhas urbanas é proposta e, a partir da observação e redesenho de plantas urbanas do período colonial, o trabalho analisa e classifica 21 assentamentos produzidos pela colonização espanhola e portuguesa A análise mostra que a cidade colonial ibero-americana constitui de fato um tipo especifico dentro da categoria maior de cidade tradicional, anterior ao movimento moderno. Por ser uma cidade nova, tem implícita na sua gênese a atividade de planejamento. O traçado em malha é o instrumento regulador essencial. Em seu processo de adaptação às determinantes locais, na busca de uma ordem espacial, o traçado em malha passa por diferentes graus de deformação geométrica, o que condiciona a forma e o posicionamento das partes, ou seja, dos elementos da arquitetura urbana - a praça, a rua, o quarteirão, os edifícios singulares e a estrutura predial de tipos recorrentes de edificação -, gerando assim grande diversidade e riqueza de situações espaciais. O trabalho compara as cidades coloniais espanhola e a portuguesa e consta o predomínio das similaridades pelo fato de terem a malha como denominador comum. As diferenças mais relevantes ficam por conta das implantações, das adaptações ao contexto e de outras circunstâncias específicas, não constituindo fator determinante serem elas espanholas ou portuguesas.

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.

A administração da conta reservas bancárias no âmbito do novo sistema de pagamentos brasileiro

Dentre as várias mudanças implementadas pelo novo Sistema de Pagamentos Brasileiro (SPB), em funcionamento desde abril de 2002, destaca-se a criação do Sistema de Transferência de Reservas (STR). Visando a redução de riscos, este sistema, operado em Liquidação Bruta em Tempo Real (LBTR), impossibilita a ocorrência de saldos a descoberto nas contas Reservas Bancárias. Esta mudança criou um novo motivo para a demanda de reservas por parte dos bancos, além do já existente de cumprimento de compulsório: liquidar suas operações em tempo real. O trabalho de Heller e Lengwiler (JME, 2003) desenvolve um modelo no qual a demanda por reservas depende da distribuição conjunta do total de pagamentos, da exigibilidade de compulsórios e da taxa de juros. Neste trabalho busca-se verificar se tal modelo, com as devidas alterações referentes às particularidades do sistema brasileiro, é aplicável ao caso brasileiro e, caso afirmativo, verificar se o atual nível de liquidez no sistema está acima do ótimo. Mostra ainda que o modelo desenvolvido em Heller e Lengwiler apresenta forte restrição implícita. De forma a resolver tal problema, este trabalho propõe novo modelamento. Por fim busca verificar se uma redução nas alíquotas de compulsório traria algum impacto na demanda por títulos públicos federais utilizados pelos bancos como fonte de liquidez intradiária.

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.