Logic is an ancient discipline that has undergone striking modern developments through the introduction of rigorous formal methods, stimulated largely by foundational problems in mathematics.

EIGHTY years ago, Jevons, then professor of logic at Owens College (now the University of Manchester), built a machine which could perform logical inference by mechanical means1. Other similar ...

Ziwei Zhu, Assistant Professor, Computer Science, College of Engineering and Computing (CEC), received funding for the project: “III: Small: Harnessing Interpretable Neuro-Symbolic Learning for ...

As a consequence, the truth tables and the rules of inference in fuzzy logic are (i) inexact and (ii) dependent on the meaning associated with the primary truth-value true as well as the modifiers ...

This discipline encompasses both the formulation of symbolic models—such as semantic networks, frames, production rules and formal logic—and the evolving integration of neural methodologies ...

Before building artificial general intelligence, we first need to program figure out how to program abductive inference, aka common sense.