Publication
Raciocínio e Representação do Conhecimento: 1B - Lógica proposicional
| dc.contributor.author | Carvalho, Gracinda | |
| dc.contributor.author | Coelho, José | |
| dc.date.accessioned | 2024-04-23T14:09:43Z | |
| dc.date.available | 2024-04-23T14:09:43Z | |
| dc.date.issued | 2023 | |
| dc.description.abstract | Apresentamos 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. | pt_PT |
| dc.description.abstract | Este 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 | pt_PT |
| dc.description.version | info:eu-repo/semantics/publishedVersion | pt_PT |
| dc.format.extent | 23 min., 29 seg. | |
| dc.format.mimetype | MPEG-4 | |
| dc.identifier.uri | http://hdl.handle.net/10400.2/15993 | |
| dc.language.iso | por | pt_PT |
| dc.peerreviewed | no | pt_PT |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-sa/4.0/ | pt_PT |
| dc.subject | Raciocínio | pt_PT |
| dc.subject | Representação do conhecimento | pt_PT |
| dc.title | Raciocínio e Representação do Conhecimento: 1B - Lógica proposicional | pt_PT |
| dc.type | learning object | |
| dcterms.educationLevel | https://guiadoscursos.uab.pt/ucs/raciocinio-e-representacao-do-conhecimento/ | pt_PT |
| dcterms.instructionalMethod | Apresentação da matéria | |
| dspace.entity.type | Publication | |
| person.familyName | Carvalho | |
| person.familyName | Coelho | |
| person.givenName | Gracinda | |
| person.givenName | José | |
| person.identifier | R-000-8V7 | |
| person.identifier.ciencia-id | 7D18-9842-159F | |
| person.identifier.orcid | 0000-0003-4793-6917 | |
| person.identifier.orcid | 0000-0002-5855-284X | |
| person.identifier.scopus-author-id | 35184805000 | |
| person.identifier.scopus-author-id | 6507772652 | |
| rcaap.rights | openAccess | pt_PT |
| rcaap.type | pedagogicalPublication | pt_PT |
| relation.isAuthorOfPublication | d6be5630-7fac-412a-bca3-9b16888ada6f | |
| relation.isAuthorOfPublication | 2926ed15-fe04-4ee4-a40d-ad0a83e33af8 | |
| relation.isAuthorOfPublication.latestForDiscovery | 2926ed15-fe04-4ee4-a40d-ad0a83e33af8 |
Files
License bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- license.txt
- Size:
- 1.97 KB
- Format:
- Item-specific license agreed upon to submission
- Description: