Studia Logica: An International Journal for Symbolic Logic, Vol. 102, No. 4, Logic and Probability: Reasoning in Uncertain Environments (August 2014), pp. 867-890 (24 pages) Systems of ...

Studia Logica: An International Journal for Symbolic Logic, Vol. 95, No. 1/2, The Contributions of Logic to the Foundations of Physics (June/July 2010), pp. 183-206 (24 pages) In this article I argue ...

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 means 1. Other similar ...

The field of interpretability investigates what machine learning (ML) models are learning from training datasets, the causes and effects of changes within a model, and the justifications behind its ...

Mastering the art of deduction was once thought to be a singularly human skill, but research has since shown that animals, including chimpanzees, birds, rats, fish and geese, are capable of using a ...

Knowledge representation and reasoning form the intellectual backbone of artificial intelligence, facilitating the structured encoding of information and enabling systems to infer, learn and decide in ...

Macaques can use logical reasoning to think through tasks, a finding that adds to the growing evidence that animals don’t just make choices purely to maximise the reward they get. Greg Jensen at ...