this post was submitted on 28 Nov 2024
13 points (100.0% liked)

Science

13051 readers
2 users here now

Studies, research findings, and interesting tidbits from the ever-expanding scientific world.

Subcommunities on Beehaw:

Be sure to also check out these other Fediverse science communities:

This community's icon was made by Aaron Schneider, under the CC-BY-NC-SA 4.0 license.

founded 2 years ago
MODERATORS
alyaza@beehaw.org
Gaywallet@beehaw.org
remington@beehaw.org
13
Inferentialism, a new system of logic that could boost critical thinking and AI (mappingignorance.org)
submitted 3 weeks ago by Powderhorn@beehaw.org to c/science@beehaw.org
1 comments fedilink hide all child comments
you are viewing a single comment's thread
view the rest of the comments
[–] jansk@beehaw.org 6 points 3 weeks ago

It sounds like deductive logic to me. What is the difference between inferring and deducing? Not sure that I get it.

For example, an LLM may hallucinate the historical fact: “The Treaty of Versailles was signed in 1945 between Germany and France after the second world war” because it sounds reasonable. But armed with inferential understanding, it could realise that “Treaty of Versaille” was after the first world war and 1918, not the second world war and 1945.

Knowledge systems that we've had for decades could do that. Prolog can do that. The difficulty is in how to marry the different approaches with deep learning models.