Prévia do material em texto

19/12/2023, 14:33 Atividade 4: Inteligência Artificial e Computacional
https://famonline.instructure.com/courses/31346/quizzes/158342 1/9
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 28 minutos 0,8 de 1
Pontuação desta tentativa: 0,8 de 1
Enviado 14 nov em 16:31
Esta tentativa levou 28 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
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,
A+
A
A-
https://famonline.instructure.com/courses/31346/quizzes/158342/history?version=1
19/12/2023, 14:33 Atividade 4: Inteligência Artificial e Computacional
https://famonline.instructure.com/courses/31346/quizzes/158342 2/9
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.
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 e III, apenas. 
 II, apenas. 
 III, apenas. 
 I, apenas. 
 I e III, apenas. Correto!Correto!
A+
A
A-
19/12/2023, 14:33 Atividade 4: Inteligência Artificial e Computacional
https://famonline.instructure.com/courses/31346/quizzes/158342 3/9
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.
0 / 0,2 ptsPergunta 2
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.
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.
A+
A
A-
19/12/2023, 14:33 Atividade 4: Inteligência Artificial e Computacional
https://famonline.instructure.com/courses/31346/quizzes/158342 4/9
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.
esposta corretaesposta correta
 
A asserção I é uma proposição verdadeira, e a II é uma proposição
falsa.
ocê respondeuocê 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.
 As asserções I e II são ambas proposições falsas. 
 
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.
A+
A
A-
19/12/2023, 14:33 Atividade 4: Inteligência Artificial e Computacional
https://famonline.instructure.com/courses/31346/quizzes/158342 5/9
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 conceitosque 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.
Considerando as informações apresentadas, assinale a opção correta.
 
Em lógicas modais, também conhecidas como lógica das normas,
compreende-se o que é obrigatório ou permitido.
A+
A
A-
19/12/2023, 14:33 Atividade 4: Inteligência Artificial e Computacional
https://famonline.instructure.com/courses/31346/quizzes/158342 6/9
 
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, 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, é 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, ou lógica do conhecimento, há a busca pela
formalização do conhecimento proposicional.
0,2 / 0,2 ptsPergunta 4
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).
A+
A
A-
19/12/2023, 14:33 Atividade 4: Inteligência Artificial e Computacional
https://famonline.instructure.com/courses/31346/quizzes/158342 7/9
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.
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, apenas. 
 II e III, apenas. 
 I e II, apenas. Correto!Correto!
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
19/12/2023, 14:33 Atividade 4: Inteligência Artificial e Computacional
https://famonline.instructure.com/courses/31346/quizzes/158342 8/9
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.
 I, apenas. 
0,2 / 0,2 ptsPergunta 5
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 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.
A+
A
A-
19/12/2023, 14:33 Atividade 4: Inteligência Artificial e Computacional
https://famonline.instructure.com/courses/31346/quizzes/158342 9/9
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?
 Common Lisp. 
 Scheme 
 LISP 
 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. 
Pontuação do teste: 0,8 de 1
A+
A
A-