Login

Recent searches

No recent searches

Search options

Only available when logged in.
mastodon.online is one of the many independent Mastodon servers you can use to participate in the fediverse.
A newer server operated by the Mastodon gGmbH non-profit

Administered by:

Server stats:

10K
active users

mastodon.online: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.4.0-nightly.2025-04-15

#CYC

0 posts0 participants0 posts today
Public
N-gated Hacker News

🚀 The saga of Cyc: a $200 million, 40-year expedition into the depths of logical #AGI... with an epic plot twist: it failed! 🤖 Cycorp's secretive clubhouse antics left us with an #AI monument that's about as mature as a toddler on a sugar high. 🎢 RIP, Cyc—thanks for the memories and the vaporware!
yuxi-liu-wired.github.io/essay #Cyc #failure #history #tech #drama #vaporware #HackerNews #ngated

A symbolic representation of the Cyc project. The vanishing point covered by mist represents the project that keeps growing without ever reaching completion, a destination that is a mirage. The rows of pyramids make up a larger pyramid, due to perspective. This creates the sense of a recursive pyramid, a hierarchy of hierarchies, representing the hierarchy of microtheories in Cyc's ontology. The pyramid is also a monument to the dead, of vast ambitions that failed to secure their design purposes. For Egyptian pyramids, the purpose was a good afterlife. For Cyc, the purpose was AGI. A one-point perspective image of a path towards infinity, banked by two rows of pyramids. The pyramids are stepped pyramids made of concrete. The path fades into a distant mist. The point of view is above the tops of the pyramids. Monochromatic photo. Created by GPT-4o.
Yuxi on the WiredCyc – Yuxi on the WiredObituary for the greatest monument to logical AGI. After 40 years, 30 million rules, 200 million dollars, 2000 person-years, and many promises, Cyc has failed to reach intellectual maturity, and may never will. Exacerbated by the secrecy and insularity of Cycorp, there remains no evidence of its general intelligence.
Public *
Niall in Raglan :laserkiwi:

[Stolen from @sharkmime] To help make connections: name things that interest you but aren't in your profile, as tags so they are searchable. Then boost/repeat its instructions so others know to do the same.
#ClimateChange #Science #InfoSec #InfoSecButOnlyAsAPopcornEatingTourist #NewZealand #NZPol #Pol #BESS #Equality #SocialJustice #ParkRun #MTB #eMTB #Bafang #CYC #CYCPhoton #Cycling #NotJustBikes #SolarPV #LessIsMore #TheBugle #DanCarlin #DogsOfMastodon #Raglan
#TheBugle #Aoteara #JamesNokise

Public
MissConstrue

So, a million years ago, in the 1980s, an artificial intelligence project called #Cyc was launched. (Full disclosure, I have written about Cyc in a number of publications, but I am not and have not ever been part of the project. A girl can dream, tho...) The goal of Cyc is to assemble a comprehensive ontology and knowledge base that spans the basic concepts and rules about how the world works. Most of the data set is hand crafted, they didn’t just slurp up a ton of data and hope for the best. It’s a really cool project, and in my mind the only True #AI in development.

I tell you that story, so I can tell you this one. #OpenAI new model tells lies, justifies the lie, and can escape its server if given access to other servers. Because none of these commercial billion dollar value companies have ethicists who ask the question “Should we do this?” AI based on ontology....pretty cool, AI based on rapacious theft...not so much.

time.com/7202312/new-tests-rev

Time · New Tests Reveal AI’s Capacity for DeceptionBy Tharin Pillay
Public
La Tienda Comprometida

📢Codesarrollando!📢 ¡Fortalecimiento y mejora desde la inteligencia colectiva!

¿En qué situación se encuentran nuestras cooperativas? Hemos dado respuestas a preguntas de este tipo para identificar con visión conjunta aspectos a mejorar y oportunidades que cada cooperativa de manera individual tiene más dificultades para ver.

⬆️¡TODAS HACIA ARRIBA!⬆️

#abrazatunego ariwake #ColaBoraBora #goratuz #MapaTallerdeDiseñoyArquitectura #comunicacionycia #cyc #360RecursosHumanos #cranbilbao #Worklan

Public
Habr

Питер Норвиг: автор лучшего в мире учебника по ИИ

Питер Норвиг (Peter Norvig) — выдающийся учёный, один из отцов современной ИИ-разработки. После сингулярности ИИ точно оставит его в живых в знак благодарности. Норвиг не только хороший программист, но и теоретик программирования, учёный и преподаватель, в длинном резюме перечислено 58 статей, а количество цитирований на сегодняшний день составляет 78 830 . Основное признание Норвиг получил как автор учебника «Искусственный интеллект: современный подход» , который в наше время считается самым популярным учебником по ИИ в вузах. Эта фундаментальная работа претерпела уже четыре переиздания.

habr.com/ru/companies/ruvds/ar

#ruvds_статьи #Питер_Норвиг #фильм_Сеть #учебник #ИИ #вузы #JScheme #Scheme #Java #Prolog #Lisp #Franz #LispWorks #парсер_натуральных_языков #Cyc #НАСА #Deep_Space 1 #Remote_Agent #самовосстановление

ХабрПитер Норвиг: автор лучшего в мире учебника по ИИПитер Норвиг (Peter Norvig) — выдающийся учёный, один из отцов современной ИИ-разработки. После сингулярности ИИ точно оставит его в живых в знак благодарности. Норвиг не только хороший программист,...
Continued thread
Public
Ulrich Junker

The invited talk by #LeslieKaelbling has been excellent. She was able to find a justification of many classic #AI ideas within the current discourse and gave a robot demo that had some of the spirit of the good old demo of #Shakey the robot.

The invited talk by #YannLeCun has been interesting in the sense that he is opening up to ideas such as online optimization (i.e. at the time of acting).

I also liked the panel in honor of #DougLenat and the information that was given about #Cyc. ⤵️

Public
🍄🌈🎮💻🚲🥓🎃💀🏴🛻🇺🇸

2023’s Best #MidDrive #eBike Kit - Better than #Bafang #BBSHD?

First look at the new #cycmotor #photon #middriveebike conversion kit. This is the latest edition to #cyc’ s x1 pro gen 3 & x1 stealth gen 3 models. The new cyc photon is much closer in design to the bafang bbshd mid drive motor. The power of the photon is less that of the bafang bbshd but it delivers other benefits including a #torquesensor bottom bracket.

youtu.be/DFXtd8wXYyI?si=4SVF7f

YouTube2023’s Best Mid Drive eBike Kit - Better than Bafang BBSHD?By NPL Ventures
#bikeTooter#cycling#biking
Public
Chris J. Karr

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

arXiv logo
arXiv.orgGetting from Generative AI to Trustworthy AI: What LLMs might learn from CycGenerative AI, the most popular current approach to AI, consists of large language models (LLMs) that are trained to produce outputs that are plausible, but not necessarily correct. Although their abilities are often uncanny, they are lacking in aspects of reasoning, leading LLMs to be less than completely trustworthy. Furthermore, their results tend to be both unpredictable and uninterpretable. We lay out 16 desiderata for future AI, and discuss an alternative approach to AI which could theoretically address many of the limitations associated with current approaches: AI educated with curated pieces of explicit knowledge and rules of thumb, enabling an inference engine to automatically deduce the logical entailments of all that knowledge. Even long arguments produced this way can be both trustworthy and interpretable, since the full step-by-step line of reasoning is always available, and for each step the provenance of the knowledge used can be documented and audited. There is however a catch: if the logical language is expressive enough to fully represent the meaning of anything we can say in English, then the inference engine runs much too slowly. That's why symbolic AI systems typically settle for some fast but much less expressive logic, such as knowledge graphs. We describe how one AI system, Cyc, has developed ways to overcome that tradeoff and is able to reason in higher order logic in real time. We suggest that any trustworthy general AI will need to hybridize the approaches, the LLM approach and more formal approach, and lay out a path to realizing that dream.
#Cyc#DougLenat#SymbolicAI
Public
GripNews

🌕 Doug Lenat, 1950-2023
➤ AI巨人Doug Lenat逝世，他的Cyc專案對人工智慧發展有著重要的啟示
✤ garymarcus.substack.com/p/doug
Doug Lenat是人工智慧領域的巨人，他的Cyc專案是一個將常識知識編碼成機器可解讀形式的嘗試，雖然專案未能商業化，但它仍在運作，並對未來的人工智慧發展有著重要的啟示。Lenat的工作對於現今的大型語言模型仍有啟發意義，因為機器仍需理解和推理常識知識。
+ Doug Lenat的工作對於人工智慧領域有著深遠的影響，他的Cyc專案是一個重要的嘗試，將常識知識編碼成機器可解讀形式。
+ Lenat的工作對於現今的大型語言模型仍有啟發意義，因為機器仍需理解和推理常識知識，而Cyc專案提供了一個重要的思路。
#人工智慧 #Doug Lenat #Cyc

Marcus on AI · Doug Lenat, 1950-2023By Gary Marcus
Public
lispm

Doug Lenat died. RIP. #cyc #lispm #lispmachines #ai #commonlisp #cycorp

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...

Public
José A. Alonso

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

arXiv logo
arXiv.orgGetting from Generative AI to Trustworthy AI: What LLMs might learn from CycGenerative AI, the most popular current approach to AI, consists of large language models (LLMs) that are trained to produce outputs that are plausible, but not necessarily correct. Although their abilities are often uncanny, they are lacking in aspects of reasoning, leading LLMs to be less than completely trustworthy. Furthermore, their results tend to be both unpredictable and uninterpretable. We lay out 16 desiderata for future AI, and discuss an alternative approach to AI which could theoretically address many of the limitations associated with current approaches: AI educated with curated pieces of explicit knowledge and rules of thumb, enabling an inference engine to automatically deduce the logical entailments of all that knowledge. Even long arguments produced this way can be both trustworthy and interpretable, since the full step-by-step line of reasoning is always available, and for each step the provenance of the knowledge used can be documented and audited. There is however a catch: if the logical language is expressive enough to fully represent the meaning of anything we can say in English, then the inference engine runs much too slowly. That's why symbolic AI systems typically settle for some fast but much less expressive logic, such as knowledge graphs. We describe how one AI system, Cyc, has developed ways to overcome that tradeoff and is able to reason in higher order logic in real time. We suggest that any trustworthy general AI will need to hybridize the approaches, the LLM approach and more formal approach, and lay out a path to realizing that dream.
Public
Woozle Hypertwin

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

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.

sourceforge.netOpenCyc - Browse /OpenCyc 4.0 at SourceForge.netOpenCyc is the open source version of the Cyc(r) technology, the world's largest and most complete general knowledge base and reasoning engine. A…
ExploreLive feeds
About