Representação de Conhecimento em Logica Proposicional, inferência.
17 Abril 2023, 13:30 • Paulo Jorge Cunha Vaz Dias Urbano
Modelização através de lógica proposicional.
Os símbolos proposicionais e as fórmulas lógicas proposicionais.
Inferência através de "model checking".
Conversão das fórmulas lógicas na forma normal conjuntiva.
Inferência através da resolução.