Name
Abstract | ||
|---|---|---|
First-Order Logic (FOL) is widely regarded as the foundation of 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 individuals, concepts and operators, and all kinds of knowledge are formalized by equality assertions. We first present a primitive form of assertional logic that uses minimal assumed knowledge and constructs. Then, we show how to extend it by definitions, which are special kinds of knowledge, i.e., assertions. We argue that assertional logic, although simpler, is more expressive and extensible than FOL. As a case study, we show how assertional logic can be used to unify logic and probability. |
Year | DOI | Venue |
|---|---|---|
2017 | 10.1007/978-3-319-63703-7_9 | ARTIFICIAL GENERAL INTELLIGENCE: 10TH INTERNATIONAL CONFERENCE, AGI 2017 |
Field | DocType | Volume |
Autoepistemic logic,Programming language,Paraconsistent logic,Computer science,Description logic,Substructural logic,Artificial intelligence,Predicate functor logic,Dynamic logic (modal logic),Higher-order logic,Intermediate logic | Conference | 10414 |
ISSN | Citations | PageRank |
0302-9743 | 0 | 0.34 |
References | Authors | |
2 | 1 | |