Ulrich Junker · @UlrichJunker
356 followers · 1639 posts · Server fediscience.org

@chrisoffner3d exactly. Similar to mathematics teachers who explain errors in reasoning to pupils, we will need who will spot errors in the output of . It will be a gigantic task to establish in the coming age of . Alternatively, we could simply avoid using an immature and problematic technology in products. But many people don’t get the issue. May be these are those who didn’t get the teachers’ explanations?

#disinformation #soundness #transformernetworks #informationdetectives

Last updated 1 year ago

Ulrich Junker · @UlrichJunker
356 followers · 1639 posts · Server fediscience.org

@vaishakbelle the purpose of is not to model the thought processes in our mind, but to define reasoning which is sound. Logic has complex rules, but a simple semantics. This semantics works well for mathematical, philosophical, and legal problems, but not for reasoning. AI research discovered these issues in the 1970ies, but no simple solution has been found. And does not solve them either since does not matter in this field.

#soundness #deeplearning #commonsense #logicalreasoning

Last updated 1 year ago

Poetry News · @haikubot
609 followers · 4979 posts · Server mastodon.cloud

Treasury Secretary Yellen
Told senators the US banking system dwellin'
Is full of soundness and sure
And Americans endure
That the bank will be there when they're callin'

reuters.com/business/finance/y

#yellen #usbanking #soundness #treasury #limerick #poetry

Last updated 1 year ago

Kath · @Kath_burton
11 followers · 7 posts · Server hcommons.social

🚀 Getting back into the social groove by sharing a note about the we have launched this week; see this Scholarly Communication Notebook post for more: lisoer.wordpress.ncsu.edu/2023

Our process has been truly collaborative and created entirely online; a cross-continental experience bringing joy (plus 💫 and 🦕) during testing times. It's also a resource enriched with the values of and . Much gratitude to all contributors for sharing their examples and the HuMetricsHSS team for inspiring a way to champion

🔗 to the site in bio and a big virtual 🤗 to anyone who joins our HC group! Let's keep the conversation going...

#oer #openness #collegiality #soundness #publiclyengagedscholarship

Last updated 2 years ago

Cheng Soon Ong · @cheng
233 followers · 127 posts · Server masto.ai

In , there are two complementary ideas called "" and "". Formal systems that are sound and complete are the holy grail of theoretical computer science. These ideas form the foundation of all mathematical reasoning today, and we are all still grappling with the implications of Goedel's results. This (technical) opinion piece tries to articulate the question of whether is sound and complete.
arxiv.org/abs/2209.04049

#logic #soundness #completeness #machinelearning

Last updated 2 years ago