Teste_ Atividade 4 INTELIGENCIA ARTIFICIAL E COMPUTACIONAL RESPONDIDA

Prévia do material em texto

<p>Atividade 4</p><p>Iniciado: 8 set em 22:04</p><p>Instruções do teste</p><p></p><p>Pergunta 1 0,2 pts</p><p></p><p>Pergunta 2 0,2 pts</p><p>Importante:</p><p>Caso você esteja realizando a atividade através do aplicativo "Canvas Student", é necessário que</p><p>você clique em "FAZER O QUESTIONÁRIO", no final da página.</p><p>Leia o texto a seguir:</p><p>Esse tipo de linguagem se tornou popular na Europa. Em 1981 os japoneses anunciaram o projeto</p><p>“Fifth Generation”, um plano de 10 anos para montar computadores inteligentes que utilizassem essa</p><p>linguagem. Essa linguagem de programação é de longe a mais utilizada em lógica, usada</p><p>principalmente como linguagem de prototipação rápida e para tarefas de manipulação de símbolos,</p><p>como a criação de compiladores. Este tipo de linguagem faz uso de letras maiúsculas para</p><p>representar variáveis e letras minúsculas para representar constantes. Vírgulas separam elementos</p><p>de conjunção em uma cláusula, e a cláusula é escrita “ao contrário” do que estamos acostumados:</p><p>em vez de A ∧ B ⇒ C, nesta linguagem temos C: - A, B.</p><p>Fonte: RUSSELL, S.; NORVIG, P. Inteligência artificial. Rio de Janeiro: Elsevier, 2013, p. 21 e 289.</p><p>(Adaptado).</p><p>Considerando o exposto, de qual tipo de linguagem de programação em lógica estamos falando?</p><p>Prolog.</p><p>LISP</p><p>Common Lisp.</p><p>Deônticas.</p><p>Scheme</p><p>A+</p><p>A</p><p>A-</p><p>08/09/2024, 21:15 Teste: Atividade 4</p><p>https://famonline.instructure.com/courses/41021/quizzes/195801/take 1/6</p><p>Leia o texto a seguir:</p><p>“Susan Haack (1998) considera que existem dois tipos principais de lógicas não-clássicas: as que</p><p>são complementares, por não negarem os axiomas/regras da lógica clássica, mas apenas</p><p>ampliarem a lógica com novos operadores/quantificadores e criarem regras/axiomas para estes</p><p>novos operadores/quantificadores com a intenção de aumentar o escopo da lógica. E as alternativas,</p><p>que negam algum ou todos os axiomas da lógica clássica e pretendem substituí-la em muitos ou</p><p>todos domínios da lógica clássica.” (OLIVEIRA, 2010, p. 5).</p><p>Desse modo, conhecemos algumas lógicas que integram esse ambiente, sendo elas as</p><p>multivaloradas, as epistêmicas, as paraconsistentes, as intuicionistas, as não reflexivas, as</p><p>temporais, entre outras. Cada uma delas tem uma abordagem específica, enquanto, por exemplo,</p><p>uma busca a formalização do conhecimento proposicional, a outra tem o tempo como elemento de</p><p>destaque. Sendo assim, cada uma, nas suas especificidades, proporciona resultados que se</p><p>esperam na resolução de cada tipo de demanda que feita à máquina.</p><p>Fonte: OLIVEIRA, K. E. C. S. Uma introdução sobre lógicas não-clássicas. Universidade Estadual</p><p>Paulista, Faculdade de Ciências, Bauru, 2010. Disponível em:</p><p>http://www2.fc.unesp.br/matematica/semana/arquivos/lnc.pdf. Acesso em: 27 fev. 2023. (Adaptado)</p><p>Considerando as lógicas não clássicas alternativas, avalie as afirmações abaixo:</p><p>I. As lógicas multivaloradas fazem parte das lógicas não clássicas alternativas, e também são</p><p>conhecidas como lógicas plurivalentes e se caracterizam como um cálculo proporcional em que dois</p><p>valores ou mais são considerados verdade.</p><p>II. As lógicas epistêmicas fazem parte das lógicas não clássicas alternativas e também são</p><p>conhecidas como lógica do conhecimento. Por meio delas se procura formalizar o conhecimento</p><p>proposicional, elucidando princípios gerais do raciocínio.</p><p>III. As lógicas paraconsistentes fazem parte das lógicas não clássicas alternativas e estão</p><p>classificadas entre as lógicas não clássicas heterodoxas, isso ocorre porque elas derrogam alguns</p><p>dos princípios basilares da lógica clássica.</p><p>É correto o que se afirma em:</p><p>II e III, apenas.</p><p>III, apenas.</p><p>II, apenas.</p><p>I e III, apenas.</p><p>A+</p><p>A</p><p>A-</p><p>08/09/2024, 21:15 Teste: Atividade 4</p><p>https://famonline.instructure.com/courses/41021/quizzes/195801/take 2/6</p><p></p><p>Pergunta 3 0,2 pts</p><p></p><p>Pergunta 4 0,2 pts</p><p>I, apenas.</p><p>Leia o texto a seguir:</p><p>A computação se encontra cada dia mais presente em nossa vida. Por meio dela, é possível resolver</p><p>questões de maneira ágil e eficaz. Para isso, utiliza-se, sobretudo, a lógica de computação, que</p><p>consiste na aplicação do raciocínio lógico em forma de ferramentas automatizadas que são</p><p>executadas em computadores. Há, de fato, alguns tipos de lógica, a exemplo da lógica dos</p><p>predicados.</p><p>Fonte: SOARES, J. A. Linguagem e semântica da lógica dos predicados. In: SANTOS, M. S. et al.</p><p>(Orgs.). Lógica computacional. Porto Alegre: Sagah, 2017, p. 137.</p><p>Considerando a lógica de predicados, avalie as seguintes asserções e a relação proposta entre elas.</p><p>I. Na lógica de predicados, temos os cálculos de predicados, que permitem o raciocínio acerca de</p><p>propriedades de objetos e as relações.</p><p>PORQUE</p><p>II. É por meio dos predicados que as propriedades de objetos são expressas, sendo a parte lógica</p><p>formal onde são mostradas relações lógicas.</p><p>A respeito dessas asserções, assinale a opção correta:</p><p>As asserções I e II são proposições verdadeiras, mas a II não é uma justificativa da I.</p><p>As asserções I e II são ambas proposições falsas.</p><p>A asserção I é uma proposição verdadeira, e a II é uma proposição falsa.</p><p>As asserções I e II são proposições verdadeiras, e a II é uma justificativa da I.</p><p>A asserção I é uma proposição falsa, e a II é uma proposição verdadeira.</p><p>Leia o texto a seguir:</p><p>A+</p><p>A</p><p>A-</p><p>08/09/2024, 21:15 Teste: Atividade 4</p><p>https://famonline.instructure.com/courses/41021/quizzes/195801/take 3/6</p><p></p><p>Pergunta 5 0,2 pts</p><p>A lógica modal é considerada uma das lógicas não clássicas, ou seja, uma extensão da lógica</p><p>clássica. Ela traz novos operadores e novas formas de avaliar a verdade dos fatos, considerando</p><p>necessidades e possibilidades associadas ao tempo, às crenças, ao conhecimento, etc. Sua</p><p>aplicação na computação é ampla.</p><p>[...]</p><p>Nos dias de hoje, diversos tipos de máquinas são capazes de resolver problemas com base na</p><p>execução de algoritmos. Previamente escritos por algum ser humano, esses algoritmos têm sua</p><p>concepção e seu desenvolvimento profundamente conectados à lógica.</p><p>As raízes da lógica remontam à Grécia Antiga. Nos períodos clássico e medieval, ela era</p><p>considerada um instrumento inseparável da ciência do pensamento científico (TAMBOSI, 2003).</p><p>Atualmente, a sua expansão ainda é contínua, fazendo-se relevante ferramenta dedutiva e</p><p>subdividindo-se em diversas tipificações, com saberes e problemas teóricos próprios.</p><p>A lógica computacional é proveniente da lógica matemática, que, por sua vez, foi formada por</p><p>pensamentos filosóficos que interpretam o mundo por meio de cálculos simbólicos. Um dos primeiros</p><p>pensadores a criar um estudo sistemático da lógica foi Aristóteles, que também forneceu os</p><p>primeiros conceitos que influenciaram a construção da lógica modal como a conhecemos hoje em</p><p>dia.</p><p>[...]</p><p>Uma fórmula é dita satisfeita em um ambiente lógico quando sua validade pode ser nele verificada.</p><p>Entretanto, na lógica modal, a validade de uma fórmula pode assumir diferentes valores em</p><p>diferentes mundos.</p><p>Fonte: SANTOS, M. S. Lógica modal. In: SANTOS, M. S. et al. (Orgs.). Lógica computacional. Porto</p><p>Alegre: Sagah, 2017, p. 173, 174, 185.</p><p>Considerando as informações apresentadas, assinale a opção correta.</p><p>Em lógicas modais, é possível raciocinar acerca de possibilidades e certezas, na lógica modal mundos possíveis</p><p>também são investigados.</p><p>Em lógicas modais, ou lógica do conhecimento, há a busca pela formalização do conhecimento proposicional.</p><p>Em lógicas modais, há um sistema de regras e também simbolismos usados para representar o raciocínio, há</p><p>também a presença do tempo.</p><p>Em lógicas modais, há a caracterização da inclusão de um quantificador generalizado, o qual é interpretado com</p><p>um subconjunto.</p><p>Em lógicas modais, também conhecidas como lógica das normas, compreende-se o que é obrigatório ou permitido.</p><p>Leia o texto a seguir:</p><p>A+</p><p>A</p><p>A-</p><p>08/09/2024, 21:15 Teste: Atividade 4</p><p>https://famonline.instructure.com/courses/41021/quizzes/195801/take 4/6</p><p>Para que um sistema computacional se torne inteligente e seja eficaz na sua manipulação, gerando</p><p>resultados promissores, utiliza-se algum tipo de lógica a fim de tornar o seu funcionamento cada vez</p><p>melhor.</p><p>“A lógica é a ciência do pensamento, e tem como papel fundamental o entendimento da linguística,</p><p>seria necessário que ela conseguisse formalizar qualquer tipo de argumento.” (OLIVEIRA, 2010, p.</p><p>3).</p><p>No entanto, existem vários tipos de lógica, desde as lógicas clássicas, que são as tradicionais e as</p><p>lógicas não-clássicas que surgiram como uma nova opção para formalização de todo e qualquer</p><p>argumento, pois como Oliveira informa, a lógica clássica é capaz de formalizar diversos tipos de</p><p>argumentos, contudo, existem alguns que não são possíveis de ser formalizados pelos métodos</p><p>clássicos.</p><p>Fonte: OLIVEIRA, K. E. C. S. Uma introdução sobre lógicas não-clássicas. Universidade</p><p>Estadual Paulista, Faculdade de Ciências, Bauru, 2010. Disponível em:</p><p>http://www2.fc.unesp.br/matematica/semana/arquivos/lnc.pdf</p><p>(http://www2.fc.unesp.br/matematica/semana/arquivos/lnc.pdf) . Acesso em: 27 fev. 2023. (Adaptado)</p><p>Considerando, então, as lógicas clássicas e não clássicas, leia as afirmações abaixo.</p><p>I. As lógicas clássicas são aquelas que não lidam bem com incertezas e com mudanças e entendem</p><p>que se um objeto é de tal maneira, ele sempre será assim.</p><p>II. As lógicas não clássicas são baseadas em princípios distintos e também admitem semânticas</p><p>distintas. Alguns exemplos são: lógicas epistêmicas e lógicas moduladas.</p><p>III. Para as lógicas não clássicas, é correto afirmar que o céu é azul, que árvores dão frutos e que</p><p>dois mais dois são quatro, por serem sentenças baseadas em linguagem pobre de poder de</p><p>expressão.</p><p>É correto o que se afirma em:</p><p>III, apenas.</p><p>II e III, apenas.</p><p>I, apenas.</p><p>A+</p><p>A</p><p>A-</p><p>08/09/2024, 21:15 Teste: Atividade 4</p><p>https://famonline.instructure.com/courses/41021/quizzes/195801/take 5/6</p><p>http://www2.fc.unesp.br/matematica/semana/arquivos/lnc.pdf</p><p>http://www2.fc.unesp.br/matematica/semana/arquivos/lnc.pdf</p><p>http://www2.fc.unesp.br/matematica/semana/arquivos/lnc.pdf</p><p>http://www2.fc.unesp.br/matematica/semana/arquivos/lnc.pdf</p><p>Salvo em 21:15</p><p>II, apenas.</p><p>I e II, apenas.</p><p>Enviar testeA+</p><p>A</p><p>A-</p><p>08/09/2024, 21:15 Teste: Atividade 4</p><p>https://famonline.instructure.com/courses/41021/quizzes/195801/take 6/6</p>