7 citations · 14 across the 6 of their papers we have counts for
Showing 2017 · cs.AIShow all
2 papers · 2 filters
cs.AI2017
Structured Production System (extended abstract)
Yi Zhou
In this extended abstract, we propose Structured Production Systems (SPS), which extend traditional production systems with well-formed syntactic structures. Due to the richness of…
cs.AI2017
From First-Order Logic to Assertional Logic
Yi Zhou
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 critica…