Science

13051 readers

2 users here now

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

Subcommunities on Beehaw:

Space

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

[email protected]

Inferentialism, a new system of logic that could boost critical thinking and AI (mappingignorance.org)

submitted 3 weeks ago by [email protected] to c/[email protected]

1 comments fedilink hide all child comments

you are viewing a single comment's thread
view the rest of the comments

[–] [email protected] 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.