Showing cs.AIShow all
3 papers · 1 filter
cs.AI2026
From Natural Language to Executable Narsese: A Neuro-Symbolic Benchmark and Pipeline for Reasoning with NARS
Mina Gabriel, Pei Wang
Large language models (LLMs) are highly capable at language generation, but they remain unreliable when reasoning requires explicit symbolic structure, multi-step inference, and in…
cs.AI2013
Belief Revision in Probability Theory
Pei Wang
In a probability-based reasoning system, Bayes' theorem and its variations are often used to revise the system's beliefs. However, if the explicit conditions and the implicit condi…
cs.AI2013
A Defect in Dempster-Shafer Theory
Pei Wang
By analyzing the relationships among chance, weight of evidence and degree of beliefwe show that the assertion "probability functions are special cases of belief functions" and the…