Representação do Conhecimento e Raciocínio

I only enrolled in the course because I needed it to complete the specialization, and after finishing it, I honestly know the same as I did before (and to be honest, it doesn’t feel that relevant nowadays). ## Content The course starts with FOL and some of the 'basic' logic taught during the bachelor’s. Then, over the next weeks, you go through different families of knowledge representation methods, each trying to represent and reason about knowledge in a different way....

In terms of the content taught, I really enjoyed it. It’s genuinely interesting. But in terms of organization, it leaves a bit to be desired. I think it probably works better in person.

Lectures

The theoretical classes move at a relatively fast pace and follow a kind of chapter-based structure, where each chapter introduces a new way to represent knowledge that solves one or more of the problems left open by the previous method.

The downsides are mainly in the practical classes: You are expected to solve exercises with little to no worked examples, and the same applies to the...

Content

The content is quite interesting. Throughout the semester, you're introduced to several knowledge representation models, starting with the most basic — FOL (First Order Logic), which was already covered in the LEIC Logic for Programming (LP) course.

That’s basically what the course is: model after model, with each one solving problems that the previous ones couldn’t.

Grading

The course includes two tests (the first is much more theoretical than the second) and an optional project for a bonus.

If you choose to do the project, you can work in a pair or individually,...