inteligencia artificial e computacional atividade 4

Prévia do material em texto

Pergunta 10,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 e III, apenas.
II, apenas.
I, apenas.
III, apenas.
I e III, apenas.
 
Sinalizar pergunta: Pergunta 2
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
II e III, apenas.
I, apenas.
II, apenas.
I e II, apenas.
III, apenas.
 
Sinalizar pergunta: Pergunta 3
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, também conhecidas como lógica das normas, compreende-se o que é obrigatório ou permitido.
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á 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.
 
Sinalizar pergunta: Pergunta 4
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.
As asserções I e II são ambas proposições falsas.
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 proposições verdadeiras, mas a II não é uma justificativa daI.
 
Sinalizar pergunta: Pergunta 5
Pergunta 50,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
Deônticas.
Scheme
Common Lisp.
Prolog.
LISP