Brain-imaging techniques have made it possible to explore the neural foundations of logical and mathematical cognition. These techniques are revealing more than simply where these high-order processes ...

In the glitzy world of tech, OpenAI’s ChatGPT is undoubtedly stealing the limelight. This A.I. dynamo boasts impressive feats in language generation. But while it might wow with its wordplay, it can ...

This paper presents an approach to artificial intelligence planning based on linear temporal logic (LTL). A simple and easy-to-use planning language is described, PDDL-K (Planning Domain Description ...

Over the last decade, artificial intelligence (AI) has been largely built around large language models (LLMs). These systems are based on a language and guess words in a chain in the form of tokens.

Sign languages can help reveal hidden aspects of the logical structure of spoken language, but they also highlight its limitations because speech lacks the rich iconic resources that sign language ...