994 resultados para Linguagem e lógica
Resumo:
O item não apresenta o texto completo, para aquisição do livro na íntegra você poderá acessar a Editora da UFSCar por meio do link: www.editora.ufscar.br
Resumo:
Nesta vídeoaula será exposto os principais elementos utilizados na representação do conhecimento em categorias e as formas de raciocínio sobre tais conhecimentos. Uma das técnicas utilizadas é a dedução, que a partir das propriedades é possível o uso de determinadas categorias. Os seguintes conceitos trabalhados são taxonomia, herança e o de categorias disjuntas na qual necessita de informações adicionais para serem representadas. Na decomposição exaustiva veremos que todo elemento da classe pertencem obrigatoriamente a uma das subclasses, já a partição é uma mistura da decomposição exaustiva com a categoria disjunta. A categoria lógica de 1º ordem esta dividida em predicados e objetos, ponto importante na hora de trabalhar com conceitos neste nível. Veremos também que existem duas grandes famílias de sistemas as chamadas redes semânticas e lógicas descritivas. A lógica descritiva fornece uma linguagem formal para construção de categorias, já a semântica oferece recursos gráficos para visualizar uma base de conhecimento, esta será mais explorada nesta aula expondo os tipos de relações permitidas, a forma como se trabalha usando esses valores e como aplicá-las. Este material destina-se a alunos de graduação na área de Sistemas de Informação, Engenharia da Computação, Ciência da Computação, Análise e Desenvolvimento de Sistemas, Sistemas para Internet e cursos correlatos relacionados ao conteúdo.
Resumo:
Nestes slides são apresentados conceitos sobre a inferência lógica e os sistemas de derivação. Define o conceito de argumento válido, e demonstra que a verificação da validade de argumentos pode ser feita por meio de tabelas-verdade e pelo uso de regras de inferência.
Resumo:
São apresentados alguns itens do Guia da Disciplina. Depois são apresentados alguns conceitos básicos de lógica proposicional, como: operadores e funções lógicas binárias, tabelas-verdade, consequência e equivalência lógica e proposições associadas à condicionais.