Questions tagged [reasoning]

16 questions
10
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,196
  • 1
  • 11
  • 21
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,196
  • 1
  • 11
  • 21
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
3
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
  • 31
  • 1
3
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,196
  • 1
  • 11
  • 21
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
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

Reasoning about 2d spatial square configuration

I am trying to use RCC8 algebra relations and axioms in order to tackle the following problem : We consider the below configuration and square $x$ such that "$x$ NTPP $a$" and "$x$ TPP $c$" and we must prove that : a) $x$ DC $b$ b) For $y$ such…
nick
  • 113
  • 4
1
vote
1 answer

What is the difference between "Syllogism" and "Law of Syllogism"?

The logical arguments are the basis for Artificial Intelligence. That is why I picked AI community to ask my question. Reading from Wikipedia, A syllogism is a kind of logical argument that applies deductive reasoning to arrive at a conclusion…
1
vote
0 answers

What is language-conditioned visual reasoning?

Can anyone explain what language-conditioned visual reasoning is? I saw this term in this paper and I searched on the internet but I couldn't find a proper explanation.
realmarv
  • 33
  • 2
0
votes
0 answers

Reasoning questions

A luxury bus has a 5-day per week schedule with 3 trips (morning, afternoon and evening) everyday. There are 5 different destinations-Amrapali (AM), Tamra (TM). Sanyap (SY), Reighton (RL) and Krupp (KP). There cannot be two trips to the same…
1
2