Description logic is a fragment of first order logic, but description logic is decidable and first order logic not decidable. Why is that? what is the role of variables in first order logic to make it undecidable?
Asked
Active
Viewed 128 times
1 Answers
1
This has to do with the fact that you can define arithmetic inside the axiomatic system or not. In description logic you cannot speak about arithmetic sentences and in first order logic you do.
if you look at the proof of incompleteness you will understand this in depth. This demonstration depends on an arithmetic coding of statements, and this representation is fundamental to obtain the conclusion.
anakronisme
- 11
- 1
-
1This seems like a good answer, but it would be a lot more useful if it cited references. Could you edit your answer to include relevant links? – Philip Raeisghasem Apr 01 '19 at 20:00
-
Sorry its not clear to me yet... can you give examples? – shah Apr 04 '19 at 16:15