Category
page 1Automated reasoning
knowledge representation and reasoning
field of artificial intelligence on representing information in a form that a computer system can use to solve complex tasks
automated reasoning
subfield of computer science and logic
backward chaining
method of forming inferences

reasoning language model
language models designed for reasoning tasks
commonsense reasoning
branch of artificial intelligence aiming to create AI systems with "common sense"