Raciocínio e Representação do Conhecimento: 1B - Lógica proposicional

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.creatorCarvalho, Gracinda-
Autor(es): dc.creatorCoelho, José-
Data de aceite: dc.date.accessioned2025-08-21T15:09:56Z-
Data de disponibilização: dc.date.available2025-08-21T15:09:56Z-
Data de envio: dc.date.issued2024-04-23-
Data de envio: dc.date.issued2024-04-23-
Data de envio: dc.date.issued2022-
Fonte completa do material: dc.identifierhttp://hdl.handle.net/10400.2/15993-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/10400.2/15993-
Descrição: dc.descriptionApresentamos os métodos de resolução de lógica proposicional. Abordamos diversos temas como as equivalências lógicas, regras de inferência, a regra de resolução.forma normal conjuntiva, algoritmo utilizando apenas resolução, cláusulas Horn. Terminamos com os algoritmos DPLL e WalkSAT.-
Descrição: dc.descriptionEste recurso faz parte de um conjunto de 10 Pequenos Vídeos Pedagógicos (PVP), com toda a matéria lecionada na Unidade Curricular. Os vídeos seguem o manual: Russell, S. J. & Norvig, P. (2010). Artificial intelligence: A modern approach (3rd ed). Prentice Hall-
Descrição: dc.descriptioninfo:eu-repo/semantics/publishedVersion-
Formato: dc.format23 min., 29 seg.-
Formato: dc.formatMPEG-4-
Formato: dc.formatapplication/pdf-
Formato: dc.formatapplication/pdf-
Idioma: dc.languagept_BR-
Direitos: dc.rightshttp://creativecommons.org/licenses/by-nc-sa/4.0/-
Palavras-chave: dc.subjectRaciocínio-
Palavras-chave: dc.subjectRepresentação do conhecimento-
Título: dc.titleRaciocínio e Representação do Conhecimento: 1B - Lógica proposicional-
Aparece nas coleções:Repositório Aberto - Universidade Aberta (Portugal)

Não existem arquivos associados a este item.