Orientador: Maria Cláudia Cabrini Grácio / Banca: Marcelo Esteban Coniglio / Banca: Luiz Henrique da Cruz Silvestrini / Resumo: Em 1999, Grácio introduziu uma família de lógicas não-clássicas ─ as lógicas moduladas ─, cuja função é formalizar sentenças que expressam quantificações da linguagem natural, que não podem ser definidas em função dos quantificadores da lógica clássica de primeira ordem. Dentre as lógicas moduladas, destaca-se a lógica do muito, que formaliza expressões do tipo "muitos x satisfazem a sentença φ", por meio da sentença Gx φ(x), para G denominado o quantificador para "muitos". Nesta Dissertação, tendo como base o quantificador "muitos", propõe-se, em contrapartida, uma lógica para a noção de "poucos". Apresenta-se um sistema lógico axiomático e monotônico para a lógica do poucos, em cuja semântica se utiliza a estrutura matemática denominada família quase fechada inferiormente, para representar a noção intuitiva de "poucos". Demonstra-se que este sistema lógico é consistente, correto e completo. Analisam-se os aspectos duais entre a lógica do poucos construída e a lógica do muito, além de outros sistemas lógicos para o quantificador "poucos", a partir de novas intuições. Finalizando, apresentam-se algumas considerações e sugestões para pesquisas em continuidade ao trabalho iniciado nesta Dissertação / Abstract: In 1999, Grácio introduced a family of non-classical logics - modulated logics -, whose function is to formalize sentences that express quantification in natural language, which cannot be defined in terms of quantifiers of first order classical logic. Among the modulated logics, there is logic of many, that formalizes expressions like "many x satisfy the sentence φ", by the sentence Gx φ(x) to G referred to the quantifier "many". In this Dissertation, based on the quantifier "many", it is proposed, on the other hand, a logic to the notion of "few". It presents an axiomatic and monotonic logical system for the logic of the few, whose semantics is used in the mathematical structure called the family almost closed inferiorly, to represent the intuitive notion of "few." It is demonstrated that this logical system is consistent, sound and complete. We are analyze the dual aspects of logic of many and the logic of the few built, and other logical systems for the quantifier "few", from new insights. Finally, we present some considerations and suggestions for research in continuing the work begun in this Dissertation / Mestre

Tese (doutorado)-Universidade de Brasília, Instituto de Psicologia, 2006. / Submitted by Jaqueline Ferreira de Souza (jaquefs.braz@gmail.com) on 2011-09-12T11:41:54Z No. of bitstreams: 1 2006_GoiaraMendonçaCastilho.pdf: 1178107 bytes, checksum: 0c7623bad729d5d32c5e0e96e655ac6d (MD5) / Approved for entry into archive by Jaqueline Ferreira de Souza(jaquefs.braz@gmail.com) on 2011-09-12T11:42:15Z (GMT) No. of bitstreams: 1 2006_GoiaraMendonçaCastilho.pdf: 1178107 bytes, checksum: 0c7623bad729d5d32c5e0e96e655ac6d (MD5) / Made available in DSpace on 2011-09-12T11:42:15Z (GMT). No. of bitstreams: 1 2006_GoiaraMendonçaCastilho.pdf: 1178107 bytes, checksum: 0c7623bad729d5d32c5e0e96e655ac6d (MD5) / O objetivo deste estudo foi investigar o raciocínio condicional considerando a utilização de modelos mentais e a influência da memória semântica. De acordo com a teoria de modelos mentais, os padrões de conclusões no raciocínio condicional seriam explicados em função dos tipos de modelos construídos como representações da regra “Se P, então Q”. Entretanto uma questão pouco investigada pela teoria dos modelos mentais diz respeito à construção de modelos adicionais que permitiriam refutar uma conclusão inicial. Com o intuito de esclarecer os processos que afetam a construção destes modelos, três hipóteses principais foram exploradas: 1) a força associativa e o tamanho do conjunto de associadas afetam os processos de ativação e busca na memória semântica de contraexemplos; 2) a redução do campo semântico influencia a interpretação dos condicionais; e, 3) quanto mais complexa for a inferência mais prováveis serão os erros em função dos limites de processamento impostos pela memória de trabalho. Duas variáveis dependentes foram coletadas: decisões em problemas de raciocínio condicional e os julgamentos de certeza acerca destas conclusões. As hipóteses foram testadas em três experimentos com delineamentos fatoriais mistos, onde a força associativa (forte e fraca) foi manipulada entre sujeitos, e o tamanho da categoria (grande, pequena) e tipo de inferência (modus ponens, modus tollens, afirmação do conseqüente, negação do antecedente) foram manipuladas intra-sujeitos. No Experimento 1, 66 participantes escolheram conclusões para 48 problemas condicionais constituídos por palavras associadas coletadas através de normas sem contexto. No Experimento 2, 59 estudantes escolheram conclusões para 36 problemas condicionais constituídos por palavras coletadas por normas de associação semântica com contexto. No Experimento 3, 45 estudantes fizeram a tarefa de seleção de Wason, sendo utilizados os estímulos do Experimento 1. Nos Experimentos 1 e 2, as coletas de dados foram realizadas em salas de aula com grupos grandes de alunos. A coleta foi individual no Experimento 3. No primeiro experimento, os resultados evidenciaram que categorias pequenas com membros fortemente associados favoreceram a ocorrência das decisões modus ponens e modus tollens. No segundo experimento, categorias contextualizadas com membros fracamente associados levaram a interpretações adequadas da regra condicional. Por outro lado, contextos com categorias e membros fortemente associados favoreceram interpretações bicondicionais. No último experimento foi observado o padrão clássico de respostas na tarefa de seleção de Wason: a maior ocorrência das inferências baseadas na afirmação do conseqüente e modus ponens. Na tarefa metacognitiva observou-se que maiores graus de certeza ocorreram nas inferências modus ponens. Os resultados foram interpretados como evidências da limitação de processamento imposto pela memória de trabalho. Adicionalmente, os efeitos encontrados quanto à força associativa e tamanho da categoria evidenciaram que o raciocínio condicional é influenciado pela probabilidade de ativação de contra-exemplos. _________________________________________________________________________________ ABSTRACT / This study investigates conditional reasoning within the mental model framework and the influences of semantic memory. Conclusions in conditional reasoning are explained in terms of mental models for the “If P then Q” rule, according to Johnson-Laird (2001). However, mental model theory has explored very little on the elaboration of additional models which could allow refuting preliminary conclusions. This study explores the processes that might influence those models production. Three main hypotheses were tested: 1) associative strength and set size influence the activation and searching of counterexamples in semantic memory; 2) the reduction of the semantic field influences conditional interpretations, and 3) inferences with higher levels of complexity are associated with higher levels of errors due to working memory processing limits. Two dependent variables were collected: decisions for conditional reasoning problems and confident judgments for those decisions. The experimental hypotheses were tested on 3 experiments applying a mixed factorial design. Associative strength (strong, weak) was manipulated between subjects and set size (large, small) and inference type (modus pones, modus tollens, affirmation of the consequent, denial of the antecedent) were manipulated within subjects. Experiment 1 tested 66 participants for 48 conditional problems that included categories and members collected through norms of free association. Experiment 2 tested 59 participants for 36 conditional problems using norms of categories contextualized in sentences. In Experiment 3, 45 students were tested on the Wason´s selection task. Group testing was administered in Experiments 1-2, and individual testing in Experiment 3. The experiments showed that associative strength collected with and without context, and inference type influenced conditional reasoning. The first experiment showed that small categories and strong category members were associated to modus ponens and modus tollens decisions. Results from the second experiment showed that weak members from contextualized categories were related to adequate conditional decisions. Results for the Wason´s selection task replicated previous studies: subjects were more likely to produce modus ponens and affirmation of the consequent decisions. Higher confidence judgments were observed for modus ponens decisions. Results are discussed as evidences favoring working memory processing limitations. Also, it has been showed that conditional reasoning is influenced by the activation probability of counter-examples as measured by associative strenght and category set size.

Submitted by Marcelo Andrade Silva (marcelo.andradesilva@ufpe.br) on 2015-03-06T18:03:45Z No. of bitstreams: 2 Dissertação_Lianny Melo.pdf: 2304343 bytes, checksum: ee69bf7dd900d860fc57f20818094179 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-06T18:03:45Z (GMT). No. of bitstreams: 2 Dissertação_Lianny Melo.pdf: 2304343 bytes, checksum: ee69bf7dd900d860fc57f20818094179 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2012 / CNPq / Silva e Spinillo (2010) investigaram as implicações da explicitação dos princípios invariantes em resolução de problemas de produto cartesiano por crianças. Os resultados evidenciaram que a explicitação destes princípios provocou um efeito facilitador sobre a resolução desses problemas, favorecendo o uso de estratégias mais adequadas. Diante disso, emergiram alguns questionamentos: (i) Será que se os princípios invariantes da combinação forem explicitados nos enunciados dos problemas de combinação ocorrerá o mesmo fenômeno que aquele apresentando no estudo de Silva e Spinillo (2010)? (ii) Quais as estratégias que as crianças adotam na resolução de problemas de combinação quando há a explicitação dos princípios invariantes? Na tentativa de responder a tais questões, a presente pesquisa examinou o efeito da explicitação dos princípios invariantes sobre o desempenho e as estratégias adotadas por crianças na resolução de problemas de combinação. Para tal, foi realizado um estudo, composto por duas etapas com finalidades distintas, porém, complementares. A Etapa 1 teve como objetivo examinar o desempenho dos estudantes nos problemas de combinação e nos de produto cartesiano. Participaram desse estudo 60 crianças, com 8 anos de idade, de ambos os sexos, alunas do 3º ano do ensino fundamental de escolas particulares do Recife. Esses alunos foram oriundos de dois grupos distintos: Grupo 1 (participantes do estudo de Silva e Spinillo, que resolveram problemas de produto cartesiano) e Grupo 2 (estudantes que compõem o banco de dados da presente investigação e que resolveram problemas de combinação). As crianças do Grupo 1 foram solicitadas a resolver 8 problemas de produto cartesiano e as do Grupo 2 a resolver 8 problemas de combinação. Ambos os tipos de problemas foram distribuídos em duas situações: Situação I, problemas sem explicitação dos princípios invariantes; e Situação II, problemas com explicitação dos princípios invariantes. A Etapa 2 investigou o efeito da explicitação dos princípios invariantes sobre a resolução de problemas de combinação. Participaram deste estudo 90 crianças, de ambos os sexos, com idade entre 8 e 10 anos, alunas do 3º (mesmos estudantes do Grupo 2 da Etapa 1), 4º e 5º anos do Ensino Fundamental de escolas particulares da região metropolitana do Recife. A Etapa 2 foi composta por três situações: Situação I, problemas sem explicitação dos princípios invariantes; Situação II, problemas com explicitação dos princípios invariantes; e Situação III, explicitação dos princípios invariantes acompanhado de desenhos de figuras recortadas. Os resultados da Etapa 1 mostraram que problemas de produto cartesiano são mais facilmente resolvidos do que os de combinação. Ademais, a explicitação dos princípios invariantes nos problemas de combinação não favoreceu uma melhora no desempenho nos alunos do 3º ano. Os resultados referentes à Etapa 2 indicaram que apenas o desempenho dos alunos do 4º ano melhorou diante das Situações II e III. Por outro lado, as Situações II e III favoreceram o uso de estratégias mais apropriadas para os estudantes de todas as séries. Observou-se também que os problemas com pares numéricos que geravam grupos de tamanho pequeno eram mais facilmente resolvidos e promoviam o uso de estratégias mais elaboradas. Concluiu-se que crianças jovens são capazes de desenvolver estratégias de resolução apropriadas à combinação, sendo possível trabalhar este conteúdo nas séries inicias do Ensino Fundamental.

Orientador : Rosely Palermo Brenelli / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Educação / Made available in DSpace on 2018-08-02T05:20:54Z (GMT). No. of bitstreams: 1 Dell'Agli_BetaniaAlvesVeiga_M.pdf: 1569739 bytes, checksum: aafef11d4bb40a526cfe06a2b66af6e5 (MD5) Previous issue date: 2002 / Mestrado

Orientador: Hércules de Araújo Feitosa / Coorientador: Maria Cláudia Cabrini Grácio / Banca: Mauri Cunha do Nascimento / Banca: Marcelo Esteban Coniglio / Resumo: Grácio (1999), em sua tese de doutorado intitulada "Lógicas moduladas e raciocínio sob in-certeza", estabeleceu uma formalização no ambiente quantificacional para o termo da lingua-gem natural: "muitos". Buscando a formalização desse conceito no ambiente proposicional, Feitosa, Nascimento e Grácio (2009) no artigo "Algebraic elements for the notions of „many‟", apresentam uma estrutura matemática denominada conjuntos fechados superior-mente que torna possível o desenvolvimento de uma álgebra para "muitos" e também de uma lógica proposicional para "muitos". De modo similar ao trabalho apresentado por Feitosa, Nascimento e Grácio (2009) para a noção de "muitos", este trabalho investiga os elementos algébricos necessários para a formalização da noção de "poucos" e desenvolve uma álgebra para "poucos", que tem como base uma estrutura matemática denominada conjuntos quase fechados inferiormente. A partir dessa álgebra para "poucos", este trabalho apresenta uma lógica proposicional para "poucos" (LPP) nos sistemas dedutivos: hilbertiano e tableaux / Abstract: Grácio (1999), in her doctorate thesis entitled "Lógicas moduladas e raciocínio sob incerteza", provided a formalization of the term "many", whose can be met in natural language, inside a quantificational context. To formalize this concept in a propositional environment, Feitosa, Nascimento and Grácio (2009) presented another mathematical structure entitled upper closed sets in the paper "Algebraic elements for the notions of „many‟ ", whose allows the develop-ment of an algebra for "many" and also a propositional logic for many. In a similar way, this paper investigates the necessary algebraic elements for the formalization of the notion of "few". We also develop an algebra for "few" which is based on a mathematical structure called lower almost closed sets. From this algebra for "few", we present a propositional logic for few (LPP) in a Hilbert system. After that we present the LPP in tableaux / Mestre

Dissertação (Mestrado em Engenharia Elétrica) - Centro Universitário FEI, São Bernardo do Campo, 2016.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2016. / Made available in DSpace on 2016-09-27T04:03:27Z (GMT). No. of bitstreams: 1 339439.pdf: 2591225 bytes, checksum: 28846e10881c1ec7357d34d37a38f3c8 (MD5) Previous issue date: 2016 / Em sistemas multiagentes abertos dotados de sistemas normativos é necessário que os agentes sejam capazes de deliberar sobre as normas do sistema e seus desejos pessoais. Considerando que os agentes normativos têm recursos limitados, é necessário raciocinar também sobre os recursos disponíveis e se eles são suficientes para alcançar o objetivo implicado por uma norma. Nesta direção, o objetivo principal da tese é desenvolver uma arquitetura e um processo de raciocínio que juntos são capazes de deliberar sobre normas e desejos, levando em consideração os recursos finitos. Para atingir esse objetivo, o conceito de ânimo (THAYER, 1989) foi tomado como ponto de partida para propor uma arquitetura capaz de representar as informações necessárias para o agente deliberar sobre as normas e desejos. O processo de deliberação proposto mapeia essas informações em um problema de programação inteira mista e através de um solver obtém o conjunto de desejos e normas, que produz o melhor benefício ao agente. Como cenário de aplicação dos conceitos estabelecidos nessa tese, foi desenvolvido o planejamento de trajetória on-line para um veículo aéreo não tripulado. Conferindo a este autonomia para deliberar sobre as rotas a serem percorridas. Os resultados obtidos nessa tese são: uma arquitetura de agente capaz de raciocinar sobre normas e desejos considerando recursos limitados e uma implementação da arquitetura proposta.

Made available in DSpace on 2014-06-11T19:25:28Z (GMT). No. of bitstreams: 0 Previous issue date: 2011-09-09Bitstream added on 2014-06-13T20:33:06Z : No. of bitstreams: 1 golzio_acj_me_mar.pdf: 367409 bytes, checksum: 7f33a7140bef1945b56ef8cac09e74aa (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Grácio (1999), em sua tese de doutorado intitulada “Lógicas moduladas e raciocínio sob in-certeza”, estabeleceu uma formalização no ambiente quantificacional para o termo da lingua-gem natural: “muitos”. Buscando a formalização desse conceito no ambiente proposicional, Feitosa, Nascimento e Grácio (2009) no artigo “Algebraic elements for the notions of „many‟”, apresentam uma estrutura matemática denominada conjuntos fechados superior-mente que torna possível o desenvolvimento de uma álgebra para “muitos” e também de uma lógica proposicional para “muitos”. De modo similar ao trabalho apresentado por Feitosa, Nascimento e Grácio (2009) para a noção de “muitos”, este trabalho investiga os elementos algébricos necessários para a formalização da noção de “poucos” e desenvolve uma álgebra para “poucos”, que tem como base uma estrutura matemática denominada conjuntos quase fechados inferiormente. A partir dessa álgebra para “poucos”, este trabalho apresenta uma lógica proposicional para “poucos” (LPP) nos sistemas dedutivos: hilbertiano e tableaux / Grácio (1999), in her doctorate thesis entitled “Lógicas moduladas e raciocínio sob incerteza”, provided a formalization of the term “many”, whose can be met in natural language, inside a quantificational context. To formalize this concept in a propositional environment, Feitosa, Nascimento and Grácio (2009) presented another mathematical structure entitled upper closed sets in the paper “Algebraic elements for the notions of „many‟ ”, whose allows the develop-ment of an algebra for “many” and also a propositional logic for many. In a similar way, this paper investigates the necessary algebraic elements for the formalization of the notion of few. We also develop an algebra for “few” which is based on a mathematical structure called lower almost closed sets. From this algebra for “few, we present a propositional logic for few (LPP) in a Hilbert system. After that we present the LPP in tableaux

Tese (doutorado)—Universidade de Brasília, Faculdade de Ciências da Saúde, Programa de Pós-Graduação em Bioética, 2017. / Submitted by Raquel Almeida (raquel.df13@gmail.com) on 2018-02-27T19:50:10Z No. of bitstreams: 1 2017_CamiloHernanMancholaCastillo.pdf: 1089060 bytes, checksum: 827e5c2f05afc0fd869a63d6a12a6def (MD5) / Approved for entry into archive by Raquel Viana (raquelviana@bce.unb.br) on 2018-03-12T14:34:10Z (GMT) No. of bitstreams: 1 2017_CamiloHernanMancholaCastillo.pdf: 1089060 bytes, checksum: 827e5c2f05afc0fd869a63d6a12a6def (MD5) / Made available in DSpace on 2018-03-12T14:34:10Z (GMT). No. of bitstreams: 1 2017_CamiloHernanMancholaCastillo.pdf: 1089060 bytes, checksum: 827e5c2f05afc0fd869a63d6a12a6def (MD5) Previous issue date: 2018-03-12 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES). / A bioética é, por definição, uma ética prática. Nessa tese serão analisadas e criticadas três escolas de raciocínio moral, com ênfasse em suu nível metodológico: principialismo, casuística e narrativa, a partir, especialmente, das recentes críticas que têm sido feitas à bioética, relacionadas a seu excessivo compromisso com a teoria (opinião especialmente originária dos países centrais) e a um extremo reducionismo que deixa de lado questões sociais, sanitárias e ambientais (reclamação nascida predominantemente no âmbito dos países periféricos). Partindo dessa constatação, este trabalho tem o objetivo de propor uma metodologia complementária. Nesse intuito, é feita uma revisão cuidadosa das três citadas escolas e das críticas mais recorrentes, para então identificar os elementos que deveria incluir uma metodologia complementária: ação, narração e contextualização. Tomando como referente teórico os desenvolvimentos de Orlando Fals-Borda e Martha Nussbaum, este trabalho propõe uma metodologia que integra, por meio da imaginação, os supracitados elementos. Com essa proposta, espera-se estar aportando à construção da bioética como território do conhecimento, em particular, às bioéticas latino-americanas. / Bioethics is, by definition, a practical ethics that takes form in three dominant methods of moral reasoning: principlism, casuistry and narrative. These methods have not, nonetheless, responded to recent criticisms being imposed on Bioethics and related to its excessive commitment to theory (criticism especially launched in the core countries) and an extreme reductionism that ignores social, health and environmental issues (a originated in peripheral countries). Based on this assumption, this work aims –through a careful review of the three aforementioned methodological approaches and their most frequent criticism- at proposing a complementary methodology that suggests the inclusion of three elements for such a methodology: action, narrative and context. Taking Orlando Fals-Borda’s and Martha Nussbaum’s positions as theoretical references, this work proposes an integrative methodology where these three elements, through imagination, seek to contribute to the construction of Bioethics as a territory of knowledge and, as a complimentary contribution to Latin American Bioethics. / La bioética es, por definición, una ética práctica. En esta tesis serán analizadas y criticadas tres escuelas de razonamiento moral, con énfasis en su nivel metodológico: principialismo, casuística y narrativa, a partir, especialmente, de las recientes críticas que se le han impuesto a la bioética, relacionadas con su excesivo compromiso con la teoría (juicio especialmente originario de los países centrales) y con un extremo reduccionismo que deja de lado cuestiones sociales, sanitarias y ambientales (reclamación nacida predominantemente al interior de los países periféricos). Partiendo de esa constatación, este trabajo tiene por objetivo proponer una metodología complementaria. Para hacerlo, hace una revisión cuidadosa de las tres citadas escuelas y de las críticas más recurrentes a ellas, para luego identificar los elementos que debería incluir una metodología complementaria: acción, narración y contextualización. Tomando como referente teórico los desarrollos de Orlando Fals-Borda y Martha Nussbaum, este trabajo propone una metodología que integra, por medio de la imaginación, los citados elementos. Con esta propuesta se espera estar aportando a la construcción de la bioética como territorio del saber, en particular, a las bioéticas latinoamericanas.

Tese (doutorado)—Universidade de Brasília, Instituto de Ciências Biológicas, Departamento de Ecologia, Programa de Pós-Graduação em Ecologia, 2012. / Submitted by Alaíde Gonçalves dos Santos (alaide@unb.br) on 2013-01-31T11:11:44Z No. of bitstreams: 1 2012_FernandoFigueiredoGoulart.pdf: 11227341 bytes, checksum: 3eeb3d5a59bfdcbf0a390a4e6fd4e174 (MD5) / Approved for entry into archive by Guimaraes Jacqueline(jacqueline.guimaraes@bce.unb.br) on 2013-02-01T12:43:52Z (GMT) No. of bitstreams: 1 2012_FernandoFigueiredoGoulart.pdf: 11227341 bytes, checksum: 3eeb3d5a59bfdcbf0a390a4e6fd4e174 (MD5) / Made available in DSpace on 2013-02-01T12:43:52Z (GMT). No. of bitstreams: 1 2012_FernandoFigueiredoGoulart.pdf: 11227341 bytes, checksum: 3eeb3d5a59bfdcbf0a390a4e6fd4e174 (MD5) / CAPÍTULO 1: Resumo A maximização do potencial de conservação de médio a pequenos fragmentos florestais é tônica para a manutenção das espécies da Mata Atlântica, onde manchas de habitat são relativamente pequenas e as populações que as habitam são suscetíveis à extinção local. Uma estratégia para fazer isso é por meio da restauração da matriz da paisagem com da implantação de sistemas agroflorestais. Foi construído um modelo para identificar as regiões em que a restauração da matriz tem maior efeito sobre a conectividade funcional para aves florestais endêmicas. As hipóteses testadas são de que (1) a eficácia da restauração da matriz é afetada pelo grau de isolamento da paisagem, e que (2) em graus intermediários de isolamento a eficiência de restauração para a conectividade é máxima. Modelamos a conectividade funcional usando o Índice Integral de Conectividade de quatro espécies de aves endêmicas (Chiroxiphia caudata, Sclerurus scansor, Xiphorhynchus fuscus e Pyriglena leucoptera) em três tipos de matrizes em paisagens da Mata Atlântica. Foram ajustados modelos aditivos generalizados mistos para analisar a influência do isolamento sobre a conversão da matriz. Além disso, foi testado se métrica de isolamento seria o melhor preditor da eficácia da restauração de matriz. A primeira hipótese foi corroborada pelo modelo mas, por outro lado, a segunda hipótese foi confirmada por apenas um único cenário de um total 12. Geralmente a eficácia da restauração está negativamente associada ao isolamento, de modo que uma maior eficácia é encontrada em paisagem em que manchas têm mario área e estão mais próximas umas das outras. Apesar disso, houve uma grande variação na resposta, aspecto que dificultou a generalização dos resultados. A média do índice de proximidade foi melhor preditor da eficiência de restauração do que a média do vizinho mais próximo. O modelo pode ser utilizado para tomadores de decisões e gestores definirem áreas prioritárias para a restauração agroflorestal. _____________________________________________________________________________________________ / CAPÍTULO 2: Resumo Compreender como os diferentes tipos de manejo da matriz de paisagem afetam organismos que habitam manchas de habitat natural é crucial para a conservação biológica. Tal fato se dá uma vez que a maior parte da biodiversidade terrestre habita sistemas agrícolas ou fragmentos de habitat inseridos em uma matriz agrícola. Considerando que a maior parte dessas paisagens agrícolas é composta por sistemas intensivos, ou que correm risco de sofrer intensificação agrícola, uma questão relevante para o manejo é: como a intensificação da matriz agrícola afeta a dinâmica populacional de pássaros habitando fragmentos florestais inseridos nesta matriz? O presente capítulo descreve um modelo qualitativo baseado em Teoria Qualitativa dos Processos e implementado através do software Garp3 para responder esta questão. O modelo descreve uma paisagem composta por um fragmento fonte resistente à extinção e um fragmento alvo no qual eventos populacionais estocásticos podem ocorrer. Se a permeabilidade da matriz exceder um dado limiar espécie específico, propágulos provenientes da fonte alcançam o fragmento alvo. A intensificação agrícola afeta a estrutura espacial da matriz e reduz a permeabilidade da mesma para as aves florestais, reduzindo assim o efeito resgate. Além disso, assume-se que algumas espécies podem usar a matriz como um habitat complementar para a alimentação e que o manejo da matriz pode afetar a base de recursos para essas espécies. Os resultados da simulação sugerem que, se a intensificação da agricultura continuar a ocorrer no domínio Mata Atlântica, as populações de espécies sensíveis que habitam pequenas manchas florestais (situação em que se encontra a maioria das populações que habitam remanescentes florestais) serão altamente suscetíveis à extinção local sem futuros eventos de recolonização. _____________________________________________________________________________________________ / CAPÍTULO 3: Resumo Uma parte significativa da biodiversidade terrestre do mundo utiliza manchas de habitat naturais inseridas em uma matriz agrícola. Neste capítulo, é apresentado um modelo de raciocínio qualitativo para comparar os impactos da agricultura intensiva e do manejo tradicional em comunidades de aves que habitam um mosaico de savana-floresta na ecorregião do Cerrado brasileiro, através da exploração não-numérica e representação explícita do conhecimento das relações causais. As espécies foram agrupadas com base em seu uso distinto do mosaico floresta-savana: especialistas florestais, generalistas florestais e não-florestais. O modelo qualitativo foi desenvolvido utilizando o programa Garp3. Nossos resultados sugerem que a agricultura intensiva leva ao declínio das aves florestais especialistas e espécies não-florestais, enquanto generalistas florestais se mantêm estáveis. Por outro lado, o manejo tradicional pode levar a uma diminuição ou a manutenção das espécies não-florestais e manutenção de ambos os grupos florestais. A substituição do manejo tradicional pela agricultura intensiva pode afetar negativamente as aves do Cerrado.