When President Dallin H. Oaks sat down on Sept. 21 to write the introduction to his new book, “Learning the Great Fundamentals,” he was the first counselor in the First Presidency. Six days later, ...

When working in the field of education, you encounter a certain number of students like this. They write reflections and thoughts in great detail using their own words. Their notebooks are neat, and ...

Predicate logic is an extension of propositional logic. Here we consider what is called first-order predicate logic, abbreviated FOL (sometimes abbreviated PL1, not to be confused with the programming ...

Abstract: The high level of autonomy within autonomous systems demands new control strategies to achieve more complex objectives while ensuring both safety and robustness, rather than relying solely ...

Negation as a universal feature of human language is used effortlessly in everyday communication. However, experimental research has shown that the comprehension of negated sentences seems to require ...

The need for deeper semantic processing of human language by our natural language processing systems is evidenced by their still-unreliable performance on inferencing tasks, even using deep learning ...

This is a modification of Tim Finin's PFC. The Pfc system is a package that provides a forward reasoning capability to be used together with conventional Prolog programs. The Pfc inference rules are ...

Perhaps the most enduring idea from the early days of AI is that of a declarative system reasoning over explicitly represented knowledge with a general inference engine. Such systems require a formal ...