Atividade objetiva 4_Inteligência Artificial e Computacional - 1pt

Prévia do material em texto

Inteligência Artificial e Computacional
Atividade Objetiva 04
Pontuação 1 de 1
Pergunta 10,2 pts
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.
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?
Grupo de escolhas da pergunta
LISP
Prolog.
Deônticas.
Common Lisp.
Scheme
Pergunta 20,2 pts
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.pdfLinks to an
external site.. 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:
Grupo de escolhas da pergunta
http://www2.fc.unesp.br/matematica/semana/arquivos/lnc.pdf
http://www2.fc.unesp.br/matematica/semana/arquivos/lnc.pdf
III, apenas.
I e II, apenas.
II e III, apenas.
II, apenas.
I, apenas.
Pergunta 30,2 pts
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.
Considerando as informações apresentadas, assinale a opção correta.
Grupo de escolhas da pergunta
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, é possível raciocinar acerca de possibilidades e certezas, na
lógica modal mundos possíveis também são investigados.
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.
Pergunta 40,2 pts
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.
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:
Grupo de escolhas da pergunta
A asserção I é uma proposição falsa, e a II é uma proposição verdadeira.
A asserção I é uma proposição verdadeira, e a II é uma proposição falsa.
As asserções I e II são proposições verdadeiras, e a II é uma justificativa da I.
As asserções I e II são ambas proposições falsas.
As asserções I e II são proposições verdadeiras, mas a II não é uma justificativa da
I.
Pergunta 50,2 pts
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.
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:
Grupo de escolhas da pergunta
II, apenas.
II e III, apenas.
III, apenas.
I e III, apenas.
I, apenas.