Assertion: logic based ai | /r/HasProperty | part of ai
Facets:
Source sentences:
text: Today, logic-based AI is only part of AI, but the point is that this part still lives (with help from logics much more powerful, but much more complicated, than FOL), and it can be traced all the way back to Aristotle’s theory of the syllogism.