Benjamin Han · @BenjaminHan
475 followers · 1317 posts · Server sigmoid.social

Cade Metz’s NYTimes article on Doug Lenat, featuring quote from Ken Forbus and @garymarcus. The connection between the game Traveller and is interesting and is new to me.

Douglas Lenat, Who Tried to Make Computers More Human, Dies at 72 nytimes.com/2023/09/04/technol

#cyc #ai #GOFAI #reasoning #commonsense #knowledge

Last updated 1 year ago

Chris J. Karr · @chris
152 followers · 1586 posts · Server omgwars.com

This was an EXTREMELY interesting paper on what modern LLMs can learn from older older symbolic AI / expert system approaches to improve the validity of what those statistical models generate on their own, using the Cyc system as the contrast to the modern systems.

arxiv.org/abs/2308.04445

#cyc #douglenat #symbolicai #expertsystems #llms #chatgpt #bard #ai #knowledgerepresentation

Last updated 1 year ago

lispm · @lispm
107 followers · 46 posts · Server moth.social

Doug Lenat died. RIP.

He started the Cyc project, using Lisp Machines as a development environment. The project is roughly since 40 years ongoing. Cyc was the dream of a large-scale knowledge base of common sense knowledge. One that has many ways of reasoning and making inferences. It used SubL a variant of Common Lisp.

Here is an old screen shot...

#cyc #lispm #lispmachines #ai #commonlisp #cycorp

Last updated 1 year ago

Benjamin Han · @BenjaminHan
471 followers · 1284 posts · Server sigmoid.social

Dog Lenat, founder of , passed away earlier this week. From Professor Ken Forbus:

"People in AI often don't give the Cyc project the respect it deserves. Whether or not you agree with an approach, understanding what has happened in different lines of work is important. The Cyc project was the first demonstration that symbolic representations and reasoning could scale to capture significant portions of commonsense…”

linkedin.com/posts/forbus_ai-k

#cyc #ai #KnowledgeGraphs #reasoning #nlp #nlproc

Last updated 1 year ago

José A. Alonso · @Jose_A_Alonso
842 followers · 1729 posts · Server mathstodon.xyz

Getting from generative AI to trustworthy AI: What LLMs might learn from Cyc. ~ Doug Lenat, Gary Marcus. arxiv.org/abs/2308.04445

#cyc #LLMs #ai #generativeai

Last updated 1 year ago

'Pataphysicien Drôle · @capagira
88 followers · 8926 posts · Server mastodon.bida.im

RT @IJCAIconf
The 1977 IJCAI Computer and Thoughts Award went to Douglas Lenat 👇 For his latest interview check out the @lexfridman link below.

🚨 for IJCAI-23 Awards is open and awaiting your input👉 ijcai.org/awards

twitter.com/lexfridman/status/

#cyc #call #IJCAI2023 #reasoning #symbolic #ml #explainableai

Last updated 2 years ago

James Matthew Miraflor · @futilityfunc
41 followers · 26 posts · Server sigmoid.social

Connecting to (as Stephen Wolfram proposed earlier), and then to Matlab's , will blow all our freaking minds.

Then give it 's ontologies as well as other MAS (multi-agent simulation) capabilities we'll see a boon in scientific computing like we've never seen before.

#chatgpt #wolframalpha #simulink #cyc

Last updated 2 years ago

Woozle Hypertwin · @woozle
1068 followers · 18752 posts · Server toot.cat

With all this talk of , I often wonder whatever happened to .

OpenCyc seems to have been mothballed.

The full-blown Cyc project (assuming that's what this is, still) now seems to be selling itself as, like, AIaaS to giant corporations (and nobody else) -- with what degree of success, I know not.

#ai #cyc

Last updated 2 years ago