Assertional Logic: Towards an Extensible Knowledge Model (extended abstract)


First-Order Logic (FOL) is widely regarded as one of the most important foundations for knowledge representation. Nevertheless, in this paper, we argue that FOL has several critical issues for this purpose. Instead, we propose an alternative called assertional logic, in which all syntactic objects are categorized as set theoretic constructs including… (More)


  • Presentations referencing similar topics