Questions tagged [reasoning]

26 questions
9
votes
1 answer

Can Bayesian inference be combined with knowledge-based systems?

I've been struggling with the connection between knowledge-based AI systems and Bayesian inference for a while now. While I continue to sweep through the literature, I would be happy if someone can answer these more specific questions directly Are…
8
votes
5 answers

Is the smartest robot more clever than the stupidest human?

Most humans are not good at chess. They can't write symphonies. They don't read novels. They aren't good athletes. They aren't good at logical reasoning. Most of us just get up. Go to work in a factory or farm or something. Follow simple…
zooby
  • 2,260
  • 1
  • 14
  • 22
5
votes
1 answer

Is PAC-unlearnability a fundamental limitation for LLM reasoning?

For simplicity, let’s focus on knowledge reasoning tasks with Yes/No answers. According to learning theory, even moderately complex knowledge reasoning tasks are PAC-unlearnable. This implies that no learning-based reasoning engine trained on a…
nova
  • 180
  • 6
5
votes
1 answer

Is natural language reasoning the right way to implement reasoning in AI?

It is well known that human reasoning, after evolving for at least several thousand years, has gradually transformed from natural language reasoning to formal reasoning. In modern science, a significant indicator of a discipline's maturity is…
jario
  • 53
  • 5
5
votes
1 answer

How to create an AI to solve a word search?

This at first sounds ridiculous. Of course there is an easy way to write a program to solve a wordsearch. But what I would like to do is write a program that solves a word-search like a human. That is, use or invent different strategies. e.g.…
zooby
  • 2,260
  • 1
  • 14
  • 22
4
votes
2 answers

Machine mathematical reasoning by clever substitutions, How to do with AI

I have three equations that relates five variables {a, b, c, r, s} with a sum and two ratios. Eq. 1: a = b + c; Eq. 2: s = b / a; Eq. 3: r = b / c. Given two values for any of the five variables I get a solution. But, this is not the automation…
LudgerSB
  • 41
  • 2
4
votes
2 answers

Reasoning with incomplete information

I was wondering if anyone can suggest a good framework for reasoning with incomplete information. I have found Large Knowledge Collider but it appears dead for some time. Do you possibly have any other suggestions for a maintained project worth…
sophros
  • 159
  • 2
  • 8
4
votes
2 answers

How to determine the probability of an "existence" question

I am having a go at creating a program that does math like a human. By inventing statements, assigning probabilities to statements (to come back and think more deeply about later). But I'm stuck at the first hurdle. If it is given the proposition …
zooby
  • 2,260
  • 1
  • 14
  • 22
3
votes
1 answer

How agent's reasoning skills can improve its reinforcement learning?

Agent can have reasoning skills (prediction, taking calculated guesses, etc.) and those skills can help reinforcement learning of this agent. Of course, reinforcement learning itself can help to develop reasoning skills. Are there research that…
2
votes
1 answer

How exactly are the steps generated in DeepSeek-R1?

As a narrowing-in on the question How does DeepSeek-R1 perform its "reasoning" part exactly?, how exactly does the step generation work? What is an example using demo short made-up numerical vectors (like 4D vectors to keep things simple)? A…
2
votes
2 answers

At what text-based tasks are "dumb humans" still better than the best language models?

I ran into this AI-SE question from 5 years ago and I believe that an updated version could be interesting to discuss nowadays: Is the smartest robot more clever than the stupidest human? Today's best LLMs are displaying a lot of human-like…
2
votes
0 answers

Knowledge representation and reasoning(KRR) over a Image scene: Neurosymbolic AI

What are the ways and SOTA in domain of knowledge representation and reasoning over scene. Suppose there are 3 objects in the scene and which objects needs to be picked first among them is governed by 'Rules' written in text form, like Object which…
1
vote
1 answer

How to measure the reasoning capabilities of neural networks

Which possibilities exist to evaluate the visual reasoning capabilities of neural networks in the field of image recognition? Are there methods to measure the ability of machine reasoning? Or something more specific: Is it possible to measure if a…
1
vote
2 answers

Training an AI to play Starcraft 2 with superhuman level of performance?

I'm interested in working on challenging AI problems, and after reading this article (https://deepmind.com/blog/deepmind-and-blizzard-open-starcraft-ii-ai-research-environment/) by DeepMind and Blizzard, I think that developing a robust AI capable…
1
vote
1 answer

How does DeepSeek-R1 perform its "reasoning" part exactly?

I wrote up my understanding for how LLMs generate text responses to text prompts (at a somewhat practical yet high level), focusing on example numerical vectors and how they are transformed at each step. How can I understand the "reasoning" portion…
1
2