Prévia do material em texto

09/12/2023, 20:00 Atividade 4: Inteligência Artificial e Computacional
https://famonline.instructure.com/courses/31346/quizzes/158342?module_item_id=876792 1/12
Atividade 4
Entrega 26 nov em 23:59 Pontos 1 Perguntas 5 Disponível 14 ago em 0:00 - 26 nov em 23:59
Limite de tempo Nenhum Tentativas permitidas 2
Instruções
Este teste foi travado 26 nov em 23:59.
Histórico de tentativas
Tentativa Tempo Pontuação
MAIS RECENTE Tentativa 1 13 minutos 0,8 de 1
Pontuação desta tentativa: 0,8 de 1
Enviado 26 nov em 11:28
Esta tentativa levou 13 minutos.
Importante:
Caso você esteja realizando a atividade através do aplicativo "Canvas Student", é necessário que você clique em "FAZER O QUESTIONÁRIO", no
final da página.
0,2 / 0,2 ptsPergunta 1
A+
A
A-
https://famonline.instructure.com/courses/31346/quizzes/158342/history?version=1
09/12/2023, 20:00 Atividade 4: Inteligência Artificial e Computacional
https://famonline.instructure.com/courses/31346/quizzes/158342?module_item_id=876792 2/12
Leia o texto a seguir:
 
Para que um sistema computacional se torne inteligente e seja eficaz na sua manipulação, gerando
resultados promissores, utiliza-se algum tipo de lógica a fim de tornar o seu funcionamento cada vez melhor.
 
“A lógica é a ciência do pensamento, e tem como papel fundamental o entendimento da linguística, seria
necessário que ela conseguisse formalizar qualquer tipo de argumento.” (OLIVEIRA, 2010, p. 3).
 
No entanto, existem vários tipos de lógica, desde as lógicas clássicas, que são as tradicionais e as lógicas
não-clássicas que surgiram como uma nova opção para formalização de todo e qualquer argumento, pois
como Oliveira informa, a lógica clássica é capaz de formalizar diversos tipos de argumentos, contudo,
existem alguns que não são possíveis de ser formalizados pelos métodos clássicos.
 
Fonte: OLIVEIRA, K. E. C. S. Uma introdução sobre lógicas não-clássicas. Universidade Estadual
Paulista, Faculdade de Ciências, Bauru, 2010. Disponível em:
http://www2.fc.unesp.br/matematica/semana/arquivos/lnc.pdf
(http://www2.fc.unesp.br/matematica/semana/arquivos/lnc.pdf) . Acesso em: 27 fev. 2023. (Adaptado)
 
Considerando, então, as lógicas clássicas e não clássicas, leia as afirmações abaixo.
I. As lógicas clássicas são aquelas que não lidam bem com incertezas e com mudanças e entendem que se
um objeto é de tal maneira, ele sempre será assim.
A+
A
A-
http://www2.fc.unesp.br/matematica/semana/arquivos/lnc.pdf
http://www2.fc.unesp.br/matematica/semana/arquivos/lnc.pdf
http://www2.fc.unesp.br/matematica/semana/arquivos/lnc.pdf
http://www2.fc.unesp.br/matematica/semana/arquivos/lnc.pdf
09/12/2023, 20:00 Atividade 4: Inteligência Artificial e Computacional
https://famonline.instructure.com/courses/31346/quizzes/158342?module_item_id=876792 3/12
II. As lógicas não clássicas são baseadas em princípios distintos e também admitem semânticas distintas.
Alguns exemplos são: lógicas epistêmicas e lógicas moduladas.
III. Para as lógicas não clássicas, é correto afirmar que o céu é azul, que árvores dão frutos e que dois mais
dois são quatro, por serem sentenças baseadas em linguagem pobre de poder de expressão.
É correto o que se afirma em:
 III, apenas. 
 II e III, apenas. 
 II, apenas. 
 I, apenas. 
 I e II, apenas. Correto!Correto!
A+
A
A-
09/12/2023, 20:00 Atividade 4: Inteligência Artificial e Computacional
https://famonline.instructure.com/courses/31346/quizzes/158342?module_item_id=876792 4/12
Alternativa correta. É correto o que se afirma em I e II, apenas.
A afirmativa I está correta, pois nas lógicas clássicas o dia está claro, o dia está escuro ou dois mais dois
são quatro, e, com isso, percebemos que para elas não há um meio termo, um dia “meio claro” ou um dia
“meio escuro”, isso ocorre porque, para elas, se um objeto tem uma propriedade, conforme Coppin (2010)
informa, então ele sempre terá aquela propriedade e sempre a teve.
A afirmativa II está correta, pois, segundo Oliveira (2010), as lógicas não clássicas surgiram na tentativa de
formalizar todo e qualquer argumento, sendo assim, elas são baseadas em linguagens mais ricas em poder
de expressão, têm princípios distintos e também admitem semânticas distintas. Alguns exemplos de lógicas
não clássicas são: modais, deônticas, temporais, epistêmicas, entre outras.
A afirmativa III está incorreta, pois as lógicas não clássicas suprem o que as lógicas clássicas não
consideram real, por exemplo, para as lógicas não clássicas, os animais foram feitos para voar. Isso ocorre
porque temos as aves, o dia pode estar meio escuro ou meio claro, e elas são baseadas em linguagens
mais ricas em poder de expressão, tendo bases em princípios distintos e também admitem semânticas
distintas.
0,2 / 0,2 ptsPergunta 2
Leia o texto a seguir:
 
Esse tipo de linguagem se tornou popular na Europa. Em 1981 os japoneses anunciaram o projeto “Fifth
Generation”, um plano de 10 anos para montar computadores inteligentes que utilizassem essa linguagem.
Essa linguagem de programação é de longe a mais utilizada em lógica, usada principalmente como
linguagem de prototipação rápida e para tarefas de manipulação de símbolos, como a criação de
compiladores. Este tipo de linguagem faz uso de letras maiúsculas para representar variáveis e letras
A+
A
A-
09/12/2023, 20:00 Atividade 4: Inteligência Artificial e Computacional
https://famonline.instructure.com/courses/31346/quizzes/158342?module_item_id=876792 5/12
minúsculas para representar constantes. Vírgulas separam elementos de conjunção em uma cláusula, e a
cláusula é escrita “ao contrário” do que estamos acostumados: em vez de A ∧ B ⇒ C, nesta linguagem
temos C: - A, B.
 
Fonte: RUSSELL, S.; NORVIG, P. Inteligência artificial. Rio de Janeiro: Elsevier, 2013, p. 21 e 289.
(Adaptado).
Considerando o exposto, de qual tipo de linguagem de programação em lógica estamos falando?
 LISP 
 Scheme 
 Prolog. Correto!Correto!
Alternativa correta. Prolog é o nome dado para PROgramming in LOGic, ou seja, programação lógica, e
sua base de funcionamento parte de fatos e regras, sendo de longe a linguagem mais utilizada segundo os
autores Russell e Norvig (2013). Os fatos são introduzidos na base de dados PROLOG, conforme vemos a
seguir:
saboroso(queijo).
feito_de(queijo.leite).
contém(leite. Cálcio).
 Deônticas. 
 Common Lisp. 
A+
A
A-
09/12/2023, 20:00 Atividade 4: Inteligência Artificial e Computacional
https://famonline.instructure.com/courses/31346/quizzes/158342?module_item_id=876792 6/12
0,2 / 0,2 ptsPergunta 3
Leia o texto a seguir:
A lógica modal é considerada uma das lógicas não clássicas, ou seja, uma extensão da lógica clássica. Ela
traz novos operadores e novas formas de avaliar a verdade dos fatos, considerando necessidades e
possibilidades associadas ao tempo, às crenças, ao conhecimento, etc. Sua aplicação na computação é
ampla. 
[...] 
Nos dias de hoje, diversos tipos de máquinas são capazes de resolver problemas com base na execução de
algoritmos. Previamente escritos por algum ser humano, esses algoritmos têm sua concepção e seu
desenvolvimento profundamente conectados à lógica. 
As raízes da lógica remontam à Grécia Antiga. Nos períodos clássico e medieval, ela era considerada um
instrumento inseparável da ciência do pensamento científico (TAMBOSI, 2003). Atualmente, a sua expansão
ainda é contínua, fazendo-se relevante ferramenta dedutiva e subdividindo-se em diversas tipificações, com
saberes e problemas teóricos próprios. 
A lógica computacional é proveniente da lógica matemática, que, por sua vez, foi formada por pensamentos
filosóficos que interpretam o mundo por meio de cálculos simbólicos. Um dos primeiros pensadores a criar
um estudo sistemático da lógica foi Aristóteles, que também forneceu os primeiros conceitos que
influenciaram a construção da lógica modal como a conhecemos hoje em dia.
[...]
Uma fórmula é dita satisfeita em um ambiente lógico quando sua validade pode ser nele verificada.
Entretanto, na lógica modal,a validade de uma fórmula pode assumir diferentes valores em diferentes
mundos.
Fonte: SANTOS, M. S. Lógica modal. In: SANTOS, M. S. et al. (Orgs.). Lógica computacional. Porto Alegre:
Sagah, 2017, p. 173, 174, 185.
A+
A
A-
09/12/2023, 20:00 Atividade 4: Inteligência Artificial e Computacional
https://famonline.instructure.com/courses/31346/quizzes/158342?module_item_id=876792 7/12
Considerando as informações apresentadas, assinale a opção correta.
 
Em lógicas modais, é possível raciocinar acerca de possibilidades e certezas, na lógica modal mundos possíveis
também são investigados.
Correto!Correto!
Esta alternativa está correta, pois é por meio das lógicas modais que podemos raciocinar acerca de
possibilidades e certezas, isso significa que com o uso da lógica modal é possível expressar ideias como
“apesar do céu ser geralmente azul, ele não é sempre”, isso ocorre porque à noite, por exemplo, ele
escurece; assim, com as lógicas modais se raciocina sobre mundos possíveis, afinal, um mundo possível é
um universo ou cenário que logicamente poderia acontecer (COPPIN, 2010).
 
Em lógicas modais, há a caracterização da inclusão de um quantificador generalizado, o qual é interpretado com
um subconjunto.
 Em lógicas modais, ou lógica do conhecimento, há a busca pela formalização do conhecimento proposicional. 
 
Em lógicas modais, há um sistema de regras e também simbolismos usados para representar o raciocínio, há
também a presença do tempo.
 
Em lógicas modais, também conhecidas como lógica das normas, compreende-se o que é obrigatório ou
permitido.
A+
A
A-
09/12/2023, 20:00 Atividade 4: Inteligência Artificial e Computacional
https://famonline.instructure.com/courses/31346/quizzes/158342?module_item_id=876792 8/12
0,2 / 0,2 ptsPergunta 4
Leia o texto a seguir:
“Susan Haack (1998) considera que existem dois tipos principais de lógicas não-clássicas: as que são
complementares, por não negarem os axiomas/regras da lógica clássica, mas apenas ampliarem a lógica
com novos operadores/quantificadores e criarem regras/axiomas para estes novos
operadores/quantificadores com a intenção de aumentar o escopo da lógica. E as alternativas, que negam
algum ou todos os axiomas da lógica clássica e pretendem substituí-la em muitos ou todos domínios da
lógica clássica.” (OLIVEIRA, 2010, p. 5).
Desse modo, conhecemos algumas lógicas que integram esse ambiente, sendo elas as multivaloradas, as
epistêmicas, as paraconsistentes, as intuicionistas, as não reflexivas, as temporais, entre outras. Cada uma
delas tem uma abordagem específica, enquanto, por exemplo, uma busca a formalização do conhecimento
proposicional, a outra tem o tempo como elemento de destaque. Sendo assim, cada uma, nas suas
especificidades, proporciona resultados que se esperam na resolução de cada tipo de demanda que feita à
máquina.
Fonte: OLIVEIRA, K. E. C. S. Uma introdução sobre lógicas não-clássicas. Universidade Estadual Paulista,
Faculdade de Ciências, Bauru, 2010. Disponível em:
http://www2.fc.unesp.br/matematica/semana/arquivos/lnc.pdf. Acesso em: 27 fev. 2023. (Adaptado)
 
Considerando as lógicas não clássicas alternativas, avalie as afirmações abaixo:
I. As lógicas multivaloradas fazem parte das lógicas não clássicas alternativas, e também são conhecidas
como lógicas plurivalentes e se caracterizam como um cálculo proporcional em que dois valores ou mais
são considerados verdade.
A+
A
A-
09/12/2023, 20:00 Atividade 4: Inteligência Artificial e Computacional
https://famonline.instructure.com/courses/31346/quizzes/158342?module_item_id=876792 9/12
II. As lógicas epistêmicas fazem parte das lógicas não clássicas alternativas e também são conhecidas
como lógica do conhecimento. Por meio delas se procura formalizar o conhecimento proposicional,
elucidando princípios gerais do raciocínio.
III. As lógicas paraconsistentes fazem parte das lógicas não clássicas alternativas e estão classificadas
entre as lógicas não clássicas heterodoxas, isso ocorre porque elas derrogam alguns dos princípios
basilares da lógica clássica.
É correto o que se afirma em:
 II, apenas. 
 II e III, apenas. 
 I, apenas. 
 I e III, apenas. Correto!Correto!
A+
A
A-
09/12/2023, 20:00 Atividade 4: Inteligência Artificial e Computacional
https://famonline.instructure.com/courses/31346/quizzes/158342?module_item_id=876792 10/12
Alternativa correta. É correto o que se afirma em I e III, apenas.
A afirmativa I está correta, pois as lógicas multivaloradas integram as lógicas não clássicas alternativas.
Elas são conhecidas também como lógicas plurivalentes e são definidas como um cálculo proporcional em
que dois valores ou mais são considerados verdade.
A afirmativa II está incorreta, pois as lógicas epistêmicas fazem parte das lógicas não clássicas
complementares e não das lógicas não clássicas alternativas.
A afirmativa III está correta, pois, como parte das lógicas não clássicas alternativas, temos as lógicas
paraconsistentes que, segundo Lemos Neto e Venson (2002), são classificadas entre as chamadas lógicas
não clássicas heterodoxas por derrogar alguns dos princípios basilares da lógica clássica. Uma lógica
paraconsistente pode ser aplicada, por exemplo, em circuitos elétricos digitais que possibilitam sinais
incompatíveis de modo não trivial na sua estrutura.
 III, apenas. 
0 / 0,2 ptsPergunta 5
Leia o texto a seguir:
 
A computação se encontra cada dia mais presente em nossa vida. Por meio dela, é possível resolver
questões de maneira ágil e eficaz. Para isso, utiliza-se, sobretudo, a lógica de computação, que consiste na
aplicação do raciocínio lógico em forma de ferramentas automatizadas que são executadas em
computadores. Há, de fato, alguns tipos de lógica, a exemplo da lógica dos predicados.
 
A+
A
A-
09/12/2023, 20:00 Atividade 4: Inteligência Artificial e Computacional
https://famonline.instructure.com/courses/31346/quizzes/158342?module_item_id=876792 11/12
Fonte: SOARES, J. A. Linguagem e semântica da lógica dos predicados. In: SANTOS, M. S. et al. (Orgs.).
Lógica computacional. Porto Alegre: Sagah, 2017, p. 137.
 
Considerando a lógica de predicados, avalie as seguintes asserções e a relação proposta entre elas.
I. Na lógica de predicados, temos os cálculos de predicados, que permitem o raciocínio acerca de
propriedades de objetos e as relações.
PORQUE
II. É por meio dos predicados que as propriedades de objetos são expressas, sendo a parte lógica formal
onde são mostradas relações lógicas. 
A respeito dessas asserções, assinale a opção correta:
 As asserções I e II são proposições verdadeiras, e a II é uma justificativa da I. Resposta corretaResposta correta
 A asserção I é uma proposição falsa, e a II é uma proposição verdadeira. 
 As asserções I e II são proposições verdadeiras, mas a II não é uma justificativa da I. Você respondeuVocê respondeu
A alternativa está incorreta. As asserções I e II são proposições verdadeiras, e a II é uma justificativa da I.
A asserção I é verdadeira, pois é por meio do cálculo dos predicados, conforme informa Coppin (2010),
que se torna possível raciocinar sobre propriedades de objetos e relacionamentos entre eles.
A asserção II é verdadeira, pois, com o uso dos predicados, podemos expressar propriedades de objetos,
sendo a lógica de predicados a parte lógica formal (ou também conhecida como simbólica moderna) que
torna possíveis as demonstrações das relações lógicas entre as sentenças por meio dos predicados. Além
disso, isso justifica a asserção I.
A+
A
A-
09/12/2023, 20:00 Atividade 4: Inteligência Artificial e Computacional
https://famonline.instructure.com/courses/31346/quizzes/158342?module_item_id=876792 12/12
 A asserção I é uma proposição verdadeira, e a II é uma proposição falsa. 
 As asserções I e II são ambas proposições falsas. 
Pontuação do teste: 0,8 de 1
A+
A
A-