28 resultados para Cuidadores formais - Formal caregivers
em Lume - Repositório Digital da Universidade Federal do Rio Grande do Sul
Resumo:
A literatura sobre Teste de Software apresenta diversas estratégias e metodologias que definem critérios eficazes e automatizáveis para selecionar casos de teste capazes de detectar erros em softwares. Embora eficientes na descoberta de erros, as técnicas de seleção de casos de teste exigem que uma quantidade relativamente grande de testes seja realizada para satisfazer os seus critérios. Essa característica acarreta, em parte, um alto custo na atividade de teste, uma vez que, ao fim de cada teste deve-se verificar se o comportamento do software está ou não de acordo com os seus requisitos. Oráculo para teste de software é um mecanismo capaz de determinar se o resultado de um teste está ou não de acordo com os valores esperados. Freqüentemente, assume-se que o próprio projetista de teste é o responsável por esta tarefa. A automatização da atividade dos oráculos deu origem a oráculos automáticos, os quais são capazes de determinar o bom ou mau funcionamento do software a partir de uma fonte de informação confiável. Ao longo dos anos, a especificação formal vêm sendo largamente utilizada como fonte de informação para oráculos automáticos. Diversas estratégias vêm propondo geradores de oráculos baseados em especificações formais. Dentre as características marcantes dessas estratégias, cita-se aquelas que são aplicáveis a implementações derivadas a partir da estrutura da especificação e aquelas que geram oráculos a partir de técnicas específicas de seleção de casos. Essas características, entretanto, limitam a aplicação abrangente dos oráculos por restringi-los tanto a implementações derivadas diretamente de especificações como ao uso de técnicas específicas de seleção de casos de teste. Este trabalho apresenta um estudo sobre os geradores de oráculos para teste de software, identifica aspectos fundamentais que regem seu processo de construção e propõe uma estratégia que permite a geração de oráculos semi-automaticamente, mesmo para implementações não derivadas diretamente da estrutura da especificação. A estratégia proposta é, também, aplicável aos casos de teste derivados de qualquer técnica de seleção de casos de teste.
Resumo:
Esta pesquisa analisa a gestão do líder formal em relação às mudanças acontecidas em sete Unidades de Ensino da Universidade Federal do Rio Grande do Sul (UFRGS), as quais decidiram unir seus ambientes de trabalho, pela falta de recursos humanos, para serem mais eficientes e dar um melhor atendimento à comunidade universitária. Segundo a Pró-Reitoria de Recursos Humanos da UFRGS, um dos principais fatores que fizeram com que a implementação das Secretarias Unificadas apresentasse situações de resistência e de conflito foram os problemas de liderança das pessoas que possuem autoridade formal e que dirigem as Unidades (líderes formais). Os resultados indicam que eles desconsideraram os elementos comportamentais e de planejamento da mudança no inicio e durante a implementação das Secretarias Unificadas. Foram entrevistados os líderes formais (Diretores e Assessores Administrativos) do Instituto de Geociências, do Instituto de Matemática, da Escola de Administração, da Escola de Educação Física, da Escola de Enfermagem, da Faculdade de Biblioteconomia e Comunicação e da Faculdade de Veterinária, e aplicaram-se questionários na totalidade dos funcionários das Secretarias Unificadas, para obter dados sobre estratégias implementadas, tipo de mudança, fatores facilitadores e fatores inibidores da mudança, características da liderança e gestão atual nas Secretarias Unificadas. A partir da análise dos dados coletados, chegou-se à afirmação de que o sucesso na gestão do líder formal nas Secretarias Unificadas de penderá da sua capacidade de criar boas condições de trabalho e desenvolver os fatores motivacionais, profissionais e pessoais, considerando que muitas das necessidades de mudança nas Unidades são compartilhadas e outras são específicas, devido aos seus interesses.
Resumo:
A presente pesquisa teve como objetivo investigar como os processos de ensino e aprendizagem musical formal se manifestam nas experiências e vivências não-formais e informais dos adolescentes fora da escola. No primeiro capítulo são revistos os estudos realizados por autores da área de Educação Musical, abordando as questões referentes ao ensino e aprendizagem musical dentro e fora da escola. Posteriormente são apresentadas as idéias e discussões realizadas por autores da Educação, bem como as perspectivas que orientam esta pesquisa. Neste capítulo, ainda, é definida a utilização dos termos formal, não-formal e informal no contexto desta pesquisa, partindo da perspectiva de Libâneo (2000). O segundo capítulo descreve a metodologia utilizada para o desenvolvimento desta pesquisa. São discutidos os eixos metodológicos que conduziram esta investigação, procedimentos, coleta e análise de dados. Foram realizados três estudos de caso com adolescentes expostos ao ensino formal de música, e que possuíam experiências musicais em bandas. Os dados foram coletados através de duas entrevistas semi-estruturadas e três observações dos ensaios das bandas, sendo uma dessas gravada em vídeo.
Resumo:
Na área de Engenharia de Software, há vários modelos formais de especificação orientado a objetos (OO). Um destes é o OO-Method / OASIS. OO-Method se baseia nos seguintes princípios: - dar suporte às noções do modelo conceitual orientado a objetos; - integrar os modelos formais com metodologias de aceitação industrial; - possibilitar a produção de software avançado que inclua a geração completa de código (estática e dinâmica) do desenvolvimento comercial. O processo de desenvolvimento consiste em levantar as propriedades principais do sistema em desenvolvimento (modelo conceitual) por parte do engenheiro de software, e construir de forma automática, em qualquer momento (por um processo de conversão gráfico-textual) a especificação formal orientada a objetos em OASIS (Open and Active Specifications of Information System) que constituirá um repositório de alto nível do sistema. O objetivo de OASIS é expressar os requisitos funcionais de um sistema de informação, em um marco formal, que facilite sua validação e geração automática de programas. OASIS não inclui a especificação de aspectos temporais. A modelagem de aspectos temporais é um importante tópico da modelagem de sistemas de informação, porque através destes são representadas as características dinâmicas das aplicações e a interação temporal entre diferentes processos. A especificação de requisitos de aplicações através de modelos orientados a objetos permite representar não só os seus estados, mas também, seu comportamento. Modelos temporais representam também a evolução de objetos com o tempo. Como o estado de um objeto pode ser alterado devido à ocorrência de um evento (fato ocorrido em um determinado instante no tempo), é importante que o modelo utilizado permita apresentar a história destes eventos. O presente trabalho tem por finalidade propor uma extensão temporal a um modelo formal de especificação OO. Esta extensão inclui tanto aspectos estáticos quanto dinâmicos. A extensão de aspectos estáticos estende OASIS com atributos temporais. A extensão dos aspectos dinâmicos, contribuição central do trabalho, estende OASIS com eventos temporais.
Resumo:
Os algoritmos baseados no paradigma Simulated Annealing e suas variações são atualmente usados de forma ampla na resolução de problemas de otimização de larga escala. Esta popularidade é resultado da estrutura extremamente simples e aparentemente universal dos algoritmos, da aplicabilidade geral e da habilidade de fornecer soluções bastante próximas da ótima. No início da década de 80, Kirkpatrick e outros apresentaram uma proposta de utilização dos conceitos de annealing (resfriamento lento e controlado de sólidos) em otimização combinatória. Esta proposta considera a forte analogia entre o processo físico de annealing e a resolução de problemas grandes de otimização combinatória. Simulated Annealing (SA) é um denominação genérica para os algoritmos desenvolvidos com base nesta proposta. Estes algoritmos combinam técnicas de busca local e de randomização. O objetivo do presente trabalho é proporcionar um entendimento das características do Simulated Annealing e facilitar o desenvolvimento de algoritmos com estas características. Assim, é apresentado como Simulated Annealing e suas variações estão sendo utilizados na resolução de problemas de otimização combinatória, proposta uma formalização através de um método de desenvolvimento de algoritmos e analisados aspectos de complexidade. O método de desenvolvimento especifica um programa abstrato para um algoritmo Simulated Annealing seqüencial, identifica funções e predicados que constituem os procedimentos deste programa abstrato e estabelece axiomas que permitem a visualização das propriedades que estes procedimentos devem satisfazer. A complexidade do Simulated Annealing é analisada a partir do programa abstrato desenvolvido e de seus principais procedimentos, permitindo o estabelecimento de uma equação genérica para a complexidade. Esta equação genérica é aplicável aos algoritmos desenvolvidos com base no método proposto. Uma prova de correção é apresentada para o programa abstrato e um código exemplo é analisado com relação aos axiomas estabelecidos. O estabelecimento de axiomas tem como propósito definir uma semântica para o algoritmo, o que permite a um desenvolvedor analisar a correção do código especificado para um algoritmo levando em consideração estes axiomas. O trabalho foi realizado a partir de um estudo introdutório de otimização combinatória, de técnicas de resolução de problemas, de um levantamento histórico do uso do Simulated Annealing, das variações em torno do modelo e de embasamentos matemáticos documentados. Isto permitiu identificar as características essenciais dos algoritmos baseados no paradigma, analisar os aspectos relacionados com estas características, como as diferentes formas de realizar uma prescrição de resfriamento e percorrer um espaço de soluções, e construir a fundamentação teórica genérica proposta.
Resumo:
O processo de desenvolvimento de software implica na necessidade constante de tomadas de decisão. A cada etapa do processo, torna-se necessário estabelecer a comunicação e interação entre usuários, gerentes, analistas, programadores e mantenedores numa constante troca de informações. O registro dos artefatos produzidos durante todo o processo é uma questão que norteia as pesquisas em ambiente de desenvolvimento de software. Quando se fala em suporte ao processo de colaboração entre os elementos de uma equipe de desenvolvimento, este registro torna-se ainda mais necessário. Neste contexto, a modelagem dos dados a serem armazenados se amplia para comportar outras informações provenientes da interação do grupo além dos artefatos gerados. As informações trocadas durante este processo interativo que incluem fatos, hipóteses, restrições, decisões e suas razões, o significado de conceitos e, os documentos formais formam o que é denominado pela literatura especializada como memória de grupo. A proposta da arquitetura SaDg PROSOFT visa fornecer suporte a memória de grupo, no que diz respeito ao registro das justificativas de projeto(Design Rationale), através de uma integração com o gerenciador de processos (GP) provido pelo ADS PROSOFT. Esta integração se dá através das ferramentas inseridas no modelo, assim desenhadas: Editor de Norma, Editor de Argumentação, Extrator de Alternativas, Editor de Votação. O ADS PROSOFT integra ferramentas para desenvolvimento de software. Este ADS foi escolhido para o desenvolvimento do modelo SADG, pois baseia-se na construção formal de software, mas particularmente no método algébrico, por ser um ambiente estendível, possibilitando a inclusão do modelo SaDg PROSOFT ao seu conjunto de ferramentas, por ter características de um ambiente distribuído e cooperativo e por não dispor de nenhum suporte à discussões e decisões em grupos. São apresentados os fundamentos de modelos SADG e algumas ferramentas. Alguns dos principais requisitos desses ambientes foram coletados e são apresentados a fim de embasar a proposta do trabalho. O modelo SADG é apresentado na forma de ferramentas PROSOFT(chamadas ATOs) e permite a definição de atividades como: Atividade de argumentação, atividade de extração e a atividade de votação. Além disso, permite a coordenação destas atividades através de um facilitador e do próprio GP, e também, possui um mecanismo para a configuração do processo decisório.
Resumo:
Esta tese analisa a forma que orienta o funcionamento da atividade perceptiva. Neste sentido, é pressuposto básico desse trabalho, que a atividade perceptiva possui um modo de relacionar os dados fornecidos pela percepção, que funciona de modo diferente dos princípios descritos pela operatoriedade no nível hipotético-dedutivo. A justificativa desta afirmação é buscada na história do desenvolvimento do conceito de conhecimento, na definição dos aspectos permanentes e mutáveis para o conhecimento nas diferentes correntes epistemológicas e na análise do funcionamento dos centros sensório-motores na fisiologia humana. Os conceitos sobre as formas, que orientam a percepção e a razão foram desenvolvidas com base na Filosofia Crítica de Kant. As interpretações sobre as origens do conhecimento, propostos pelas diferentes correntes epistemológicas, são analisadas com base na teoria cognitiva de Jean Piaget. Esse trabalho propõe uma alternativa para a interpretação das deformações que os sujeitos realizam sobre os dados sensíveis e sobre as relações subjetivas que acontecem cotidianamente.
Resumo:
Este trabalho é fruto de uma investigação que buscou elucidar a relação estabelecida entre os serviços de saúde e os seus usuários. Com esse objetivo, utilizou-se uma abordagem antropológica que teve como referência a experiência empírica ligada à Unidade Conceição do Serviço de Saúde Comunitária do Grupo Hospitalar Conceição, em Porto Alegre, RS. Funcionando nas dependências do Hospital Nossa Senhora Conceição, a Unidade Conceição é um posto de saúde vinculado ao Sistema Único de Saúde (SUS) em que médicos gerais comunitários e outros profissionais vêm prestando atendimento de saúde, há cerca de 15 anos, aos moradores da sua vizinhança, calculados atualmente em mais de 20 mil pessoas. Tendo como pano de fundo as influências da cultura no comportamento humano e na prestação de atendimento de saúde, os desdobramentos principais da relação entre a Unidade e os seus usuários foram analisados sob diversos eixos: a história da Unidade, seus conflitos com a instituição e outras especialidades médicas; a relação da Unidade com a área geográfica sob sua responsabilidade; a questão da participação popular nos serviços de saúde, mais especificamente a experiência do seu Conselho Gestor Local; e, por fim, a avaliação dos serviços de saúde, principalmente no que concerne à perspectiva dos pacientes. Sempre que possível, a análise feita procurou fazer uma ligação com as mudanças ocorridas no sistema de saúde brasileiro nos últimos anos. Resgatar os aspectos culturais como elemento essencial para o estabelecimento de uma comunicação efetiva entre os indivíduos e os serviços formais de saúde mostrou-se fundamental para permitir o aprofundamento desse tipo de análise e para qualificar as ações desenvolvidas pelos serviços de saúde.
Resumo:
Este estudo tem a finalidade de analisar experiências de interação Universidade – Empresa, em projetos do Instituto de Biotecnologia - ( IB ) da Universidade de Caxias do Sul – ( UCS ), a qual, como Instituição produtora e disseminadora de conhecimentos, busca atuar ativamente na transformação tecnológica da Região Nordeste do Estado do RS. Procura-se analisar as experiências de interação entre os pesquisadores da área de biotecnologia da UCS, as empresas do setor produtivo e a comunidade, identificando possíveis mecanismos e problemas. O IB foi criado para que, através dos resultados de suas pesquisas, possa contribuir efetivamente com os anseios da Comunidade a qual está inserida. Este estudo se constitui na análise de múltiplos casos de interação em oito projetos desenvolvidos no IB. Os dados foram coletados através de entrevistas com os coordenadores dos projetos no IB e com os responsáveis pela interação nas organizações parceiras, num total de 16 entrevistas.O estudo evidencia que as interações ocorrem a partir de contatos informais, baseadas na amizade entre os parceiros e oriundas, principalmente, do esforço do pesquisador. Os entrevistados acentuam a necessidade de uso de mecanismos formais de interação para agilizar e viabilizar projetos conjuntos do IB com empresas do setor produtivo e a comunidade, através de parcerias consolidadas. Finalmente, considera-se que, para assegurar o crescimento da interação com a comunidade, é urgente possibilitar, através de mecanismos formais, que a pesquisa científica desenvolvida no Instituto de biotecnologia da UCS volte-se prioritariamente para a identificação de problemas regionais, buscando as respectivas soluções, na perspectiva do desenvolvimento integrado da Região.
Resumo:
Esta pesquisa investiga os efeitos dos anúncios comerciais sobre a qualidade visual dos centros de comércio e sobre a legibilidade das mensagens veiculadas por esses elementos, segundo a percepção do pedestre. O objetivo central é determinar subsídios teóricos que possam fundamentar diretrizes a fixação de anúncios comerciais no meio urbano, de modo a garantir a qualidade visual do espaço construído e a legibilidade das mensagens. Adota-se a cidade de Pelotas (RS) como objeto de estudo por possuir em seu centro de comércio questões comuns à maioria das cidades brasileiras: significativa concentração de anúncios comerciais sobre conjuntos arquitetônicos, dentre os quais há bens de interesse histórico e cultural, os quais estão sendo prejudicados em virtude de anúncios comerciais fixados sobre suas fachadas. Os métodos de coleta de dados aplicados neste estudo fazem parte dos utilizados na área de pesquisa relativa ao Ambiente e Comportamento. Fundamentado na natureza das informações necessárias e nas particularidades relativas aos estudos urbanos, os métodos de coleta de dados são sistematizados em duas etapas: o levantamento de arquivo e o levantamento de campo. Esse último divide-se em observações das características físicas, levantamento físico, representação do ambiente urbano e questionários. Cabe destacar que nesta investigação a análise e a comparação dos modos de percepção do ambiente por distintos indivíduos se faz necessária, à medida que os centros de comércio são áreas freqüentadas por diversos tipos de transeuntes. Quanto a isso, define-se ao estudo quatro grupos de usuários: os arquitetos e urbanistas, os publicitários, os comerciantes e os consumidores. Os resultados desta investigação demonstram que os anúncios comerciais quando dispostos desordenadamente sobre o ambiente prejudicam a qualidade visual das cenas urbanas, bem como reduzem o grau de legibilidade das mensagens veiculadas por anúncios comerciais. Fica constatado que não podem ser pensadas diretrizes, relacionadas às características físicas dos anúncios comerciais, que ignorem o aspecto formal do conjunto arquitetônico: é necessário haver normas que visem à ordenação da aparência do ambiente, as quais contemplem os aspectos formais dos anúncios comerciais e das construções. Espera-se que os dados encontrados despertem o interesse ao desenvolvimento de outros estudos que abordem essa problemática, bem como de políticas urbanas de reordenamento e de preservação da aparência dos centros de comércios.
Resumo:
Dentre as principais áreas que constituem a Ciência da Computação, uma das que mais influenciam o mundo atual é a Engenharia de Software, envolvida nos aspectos científicos e tecnológicos do desenvolvimento de software. No desenvolvimento de software, a fase de especificação dos requisitos é uma das mais importantes, visto que erros não detectados nesta são propagados para as fases posteriores. Quanto mais avançado estiver o desenvolvimento, mais caro custa reparar um erro introduzido nas fases iniciais, pois isto envolve reconsiderar vários estágios do desenvolvimento. A prototipação permite que os requisitos do software sejam validados logo no início do desenvolvimento, evitando assim a propagação de erros. Paralelamente, a utilização de métodos formais visa revelar inconsistências, ambigüidades e falhas na especificação do software, que podem caso contrário, não serem detectadas. Usar a prototipação de software juntamente com uma notação formal enfatiza a especificação do problema e expõe o usuário a um sistema “operante” o mais rápido possível, de modo que usuários e desenvolvedores possam executar e validar as especificações dos requisitos funcionais. O objetivo principal deste trabalho é instanciar uma técnica da área de Prototipação de Software que capacite o engenheiro de software gerar automaticamente protótipos executáveis a partir de especificações formais de tipos abstratos de dados, na notação PROSOFT-algébrico, visando a validação dos requisitos funcionais logo no início do desenvolvimento do software. Para tanto foi proposto um mapeamento da linguagem PROSOFT-algébrico para OBJ. Como OBJ possui um eficiente sistema de reescrita de termos implementado, a utilização deste propicia a prototipação de tipos abstratos de dados, especificados em PROSOFT-algébrico. Os componentes envolvidos na definição deste trabalho, assim como o mapeamento entre as linguagens, foram especificados algebricamente e implementados no ambiente de desenvolvimento de software PROSOFT. A implementação serviu para validar o mapeamento proposto através de dois estudos de caso. Por fim, são apresentadas as conclusões alcançadas e as atividades adicionais vislumbradas a partir do trabalho proposto.
Resumo:
Introdução: Esta tese de doutorado é mais uma contribuição do Grupo de Qualidade de Vida (Centro Brasileiro) do Programa de Pós-Graduação em Ciências Médicas: Psiquiatria, da UFRGS. Esse grupo têm trabalhado em projetos transculturais de elaboração de instrumentos de qualidade de vida (QV) sob a coordenação da Organização Mundial de Saúde. Entre os instrumentos genéricos de QV já desenvolvidos estão o WHOQOL-100 e o WHOQOL-Bref e entre os instrumentos específicos, para populações especiais, estão o WHOQOL-HIV, o WHOQOL-SRPB e, mais recentemente, o WHOQOL-OLD. O desenvolvimento de uma escala de QV para idosos é especialmente importante tendo em vista especificidades deste grupo etário, bem como o aumento da proporção de idosos na população mundial. Objetivos: O objetivo maior deste estudo é desenvolver uma escala de QV para idosos (WHOQOL-OLD). Entretanto, como trata-se de um processo com longa duração de tempo, foram gerados objetivos específicos a partir da revisão da literatura e coleta de dados, que deram origem a 5 artigos, cada um com sua proposta, a saber: artigo 1. Apresentar a metodologia utilizada e os resultados dos grupos focais para avaliação de QV do idoso, artigo 2. Identificar variáveis relevantes na QV de pessoas idosas, artigo 3. Investigar a relação da percepção de QV do idoso com a percepção de QV do idoso na opinião de seu cuidador, artigo 4. Investigar variáveis associadas com percepção subjetiva de saúde em idosos internados e artigo 5. Pesquisar um possível viés nas respostas de idosos no Inventário de Depressão de Beck (BDI). Métodos: O primeiro estudo teve um desenho qualitativo enquanto os demais foram quantitativos. As amostras variaram para cada estudo. Em todos os estudos idosos(as) acima de 60 anos foram entrevistados. Para os estudos 1 e 2, a amostra contou com profissionais da área da saúde (1) e cuidadores (1 e 2). E, para o estudo 5, adultos acima de 18 anos também foram pesquisados. A coleta dos dados foi realizada em hospitais, lares e grupos comunitários, residências e recrutamento utilizando a técnica de "snow-ball" (bola de neve) em que cada sujeito indicava um outro sujeito. Todos os entrevistados preencheram o Termo de Consentimento Informado e, a partir daí, foram convidados a responder acerca de informações sociodemográficas, QV percebida (WHOQOL-100) e sintomatologia depressiva (BDI), com pequena variação para os cuidadores. O último estudo contou apenas com os dados sociodemográficos e com as respostas ao BDI. Resultados: De forma abreviada, os resultados dos 5 artigos confirmam as especificidades do idoso e portanto a necessidade de desenvolvimento de instrumentos específicos para esta população. O artigo 1 teve como resultado a sugestão de novos itens para idosos, a partir das respostas espontâneas e análise dos domínios e facetas do WHOQOL-100. O artigo 2, por sua vez, mostrou associações da percepção de QV geral com níveis de depressão, percepção subjetiva de saúde e sexo. No artigo 3, foi possível verificar uma tendência, em todos os domínios e na medida QV geral, de o cuidador responder pior percepção de QV do idoso do que o próprio idoso cuidado, apesar de algumas concordâncias (domínios físico, nível de independência, meio ambiente e espiritualidade/religião). Também observou-se que a intensidade de depressão do idoso exerceu forte influência tanto na sua própria percepção de QV quanto na percepção do cuidador sobre o idoso. O artigo 4 mostrou uma prevalência alta e não esperada de idosos internados que se percebiam como saudáveis. Foi possível observar, ainda, uma associação significativa entre percepção saudável e menor intensidade de sintomas depressivos, bem como melhor percepção de QV no domínio nível de independência. E por último, o artigo 5 discute o viés da subescala somático e de desempenho nas respostas do idoso ao BDI. Conclusões: Idosos constituem um grupo particular e, como tal, apresentam especificidades relevantes. A avaliação dos idosos em relação às suas percepções de QV está associada a sexo, idade, estado civil, classe social, percepção de saúde e mais fortemente associada a níveis de sintomas depressivos. Explorando o cuidador como avaliador da QV do idoso observou-se uma tendência de o cuidador perceber a QV do idoso pior do que a própria percepção do idoso, apesar de fortes correlações para todos os domínios e na medida QV geral na percepção do par idoso-cuidador. Já na avaliação de percepção de saúde em idosos foi verificada a influência da intensidade dos sintomas depressivos bem como da dimensão independência: quanto menor a intensidade de depressão e quanto maior o nível de independência, maior associação com percepção de saúde entre idosos. Além desses, características próprias da população idosa podem interferir nos resultados do BDI fazendo com que seus achados sejam maximizados por questões somáticas e de desempenho sugerindo pontos de corte especiais para os idosos. Novos estudos são sugeridos a fim de atender a demanda específica do idoso.
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.
Resumo:
O presente trabalho investigou os principais fatores de formação das estratégias ambientais empresariais, e como eles influem e condicionam estas estratégias no contexto específico de cada empresa. Além disso, foi analisada a evolução das práticas ambientais das empresas, o que resultou na proposta de um modelo de análise das estratégias ambientais a partir de seus principais fatores de influência. Apesar de utilizar em sua formulação conceitos básicos de estratégia empresarial, bem como diferentes estudos que tratam de estratégias ambientais em empresas, o trabalho fundamentou-se principalmente na teoria organizacional institucionalista. Isto decorre do fato de que esta teoria amplia o conceito de ambiente externo da organização para contemplar os aspectos institucionais, e amplia os objetivos estratégicos da organização para contemplar a busca de legitimidade. Com isto ela contempla de forma mais abrangente os fatores que influem e condicionam as estratégias ambientais nas empresas. A pesquisa empírica é composta por quatro estudos de caso em dois setores industriais distintos, a Refinaria de Petróleo Ipiranga (RPI) e a Companhia Petroquímica do Sul (Copesul) representando a indústria do petróleo, e a unidade da Klabin de Otacílio Costa e a Cambará Produtos Florestais representando a indústria de papel e celulose. Entre as conclusões do trabalho está a confirmação da importância da teoria institucional no estudo das estratégias ambientais das empresas. Esta importância decorre de várias questões observadas nos estudos, tais como a preponderância que as demandas e pressões do ambiente externo têm sobre os processos de formação e evolução das estratégias ambientais, a importância que a busca de legitimação tem na conformação das práticas ambientais e de sua divulgação pelas empresas, e a existência de um processo de institucionalização das questões ambientais nas empresas, através da criação de uma estrutura formal para a área ambiental, da profissionalização da gestão ambiental, da certificação de sistemas de gestão e da inclusão de aspectos ambientais nos processos formais de planejamento da empresa. Conclui-se também que as estratégias ambientais são fundamentalmente contingentes e contextuais; contingentes porque as demandas e pressões são mais importantes do que as ações voluntárias das empresas no direcionamento da sua conduta ambiental, e contextuais porque estas contingências são muito particulares do contexto de cada empresa. Observou-se que, embora haja um sentido geral comum de evolução das práticas ambientais das empresas, o timing com que esta evolução ocorreu, o tipo de práticas utilizadas, a profundidade das melhorias realizadas, os fatores motivadores das mesmas e o tipo de contingências que sofreram foram diferentes para cada uma e podem ser explicadas pelo contexto individual das mesmas. A partir desta constatação, elaborou-se um modelo de análise dos fatores que contingenciam as estratégias ambientais empresariais, dividindo o seu contexto estratégico em seis contextos específicos, cinco externos (regulativo, locacional, de recursos, de mercado e setorial) e um interno (contexto organizacional), os quais são descritos e analisados a partir de seus elementos contextuais.