Knowledge representation and reasoning is the field of artificial intelligence dedicated to representing information about the world in a form that a computer system can use to solve complex tasks such as diagnosing a medical condition, having a dialog in a natural language, or scheduling. Here I want to highlight the distinction between the taskContinue reading “The Distinction Between Representation and Reasoning”
Category Archives: Mathematical Logic
An Exercise on The Problem of Meaning in Natural Language
I maintain a virtual study group about logic for computer science with some people from Brazil with different backgrounds. Recently I brought this cartoon to our meeting and got surprised by the discussion. So here I am going to point out some tricky issues raised by such an innocent short cartoon. How can we formalizeContinue reading “An Exercise on The Problem of Meaning in Natural Language”
From the Halting Problem to the Gödel’s First Incompleteness Theorem
In the last week I participated in the “Hilbert-Bernays Summer School on Logic and Computation 2020“. It was completely virtual this time, which has the advantage of giving you the possibility of attending to the lectures you want to attend. If you are there in person, most likely you will attend to every lecture, evenContinue reading “From the Halting Problem to the Gödel’s First Incompleteness Theorem”
Not So Short Notes 