# AI humor of the day **URL:** \ **Category:** General\ **Tags:** chatgpt\ **Created:** [December 22, 2022, 12:53pm UTC](https://swi-prolog.discourse.group/t/ai-humor-of-the-day/6045 "2022-12-22T12:53:48Z")\ **Posts on this page:** 8\ **Page:** 1
**Author:** ![EricGT](https://avatars.discourse-cdn.com/v4/letter/e/f1d935/32.png) [@EricGT](https://swi-prolog.discourse.group/u/EricGT)\ **Post date:** [December 22, 2022, 12:53pm UTC](https://swi-prolog.discourse.group/t/ai-humor-of-the-day/6045/1 "2022-12-22T12:53:48Z")
Dr. Vaughan Pratt’s 1994 Qs to Evaluate Cyc, Asked of ChatGPT ([ref](http://www.bayleshanks.com/ai/transcripts/pratt_test_chatgpt/)) Just had to laugh at this one: San Francisco is not west of New York. There are many more if one keeps reading. ---
**Author:** ![CapelliC](https://yyz2.discourse-cdn.com/free1/user_avatar/swi-prolog.discourse.group/capellic/32/17_2.png) [@CapelliC](https://swi-prolog.discourse.group/u/CapelliC)\ **Post date:** [December 22, 2022, 6:10pm UTC](https://swi-prolog.discourse.group/t/ai-humor-of-the-day/6045/2 "2022-12-22T18:10:29Z")
1994… pretty impressive! ---
**Author:** ![EricGT](https://avatars.discourse-cdn.com/v4/letter/e/f1d935/32.png) [@EricGT](https://swi-prolog.discourse.group/u/EricGT)\ **Post date:** [December 22, 2022, 6:29pm UTC](https://swi-prolog.discourse.group/t/ai-humor-of-the-day/6045/3 "2022-12-22T18:29:56Z")
If you are reading the answers as if they were from an AI in 1994 then you are misreading the document. [Cyc](https://en.wikipedia.org/wiki/Cyc) was started in 1984 as a [symbolic artificial intelligence](https://en.wikipedia.org/wiki/Symbolic_artificial_intelligence). In 1994 those questions were asked of Cyc ([ref](http://boole.stanford.edu/pub/cyc.report)). However the answers in the [link](http://www.bayleshanks.com/ai/transcripts/pratt_test_chatgpt/) are not the answers by Cyc but those by [ChatGPT](https://en.wikipedia.org/wiki/ChatGPT) which is a large [language model](https://en.wikipedia.org/wiki/Language_model). ---
**Author:** ![CapelliC](https://yyz2.discourse-cdn.com/free1/user_avatar/swi-prolog.discourse.group/capellic/32/17_2.png) [@CapelliC](https://swi-prolog.discourse.group/u/CapelliC)\ **Post date:** [December 22, 2022, 6:36pm UTC](https://swi-prolog.discourse.group/t/ai-humor-of-the-day/6045/4 "2022-12-22T18:36:40Z")
oops… indeed I was wondering how much it could have costed in 1994 the massive memory required by Cyc. ---
**Author:** ![jamesnvc](https://yyz2.discourse-cdn.com/free1/user_avatar/swi-prolog.discourse.group/jamesnvc/32/14_2.png) [@jamesnvc](https://swi-prolog.discourse.group/u/jamesnvc)\ **Post date:** [December 22, 2022, 10:57pm UTC](https://swi-prolog.discourse.group/t/ai-humor-of-the-day/6045/5 "2022-12-22T22:57:36Z")
The comparisons in Q4.11 are a great example of the model not really having any idea what it’s saying 😆 ---
**Author:** ![kuniaki.mukai](https://avatars.discourse-cdn.com/v4/letter/k/c67d28/32.png) [@kuniaki.mukai](https://swi-prolog.discourse.group/u/kuniaki.mukai)\ **Post date:** [January 18, 2023, 8:39am UTC](https://swi-prolog.discourse.group/t/ai-humor-of-the-day/6045/9 "2023-01-18T08:39:42Z")
The AI humor example “P and Q does not imply P” reminded me of a similar but more concrete example on linear logic (as resource aware logic), which I read a long time ago in a book by Gaishi Takeuti published in Janpanese. Although I am not familiar with theory on stable models in FOL, I feel some doubt on such semantis, though my relevant knowledge is limited with Henkin model construction well known in the literature on FOL on Goedel’s completeness theorem. Anyway I should read articles by experts and would like to see posts on “semantics of stable models” in any contexts or views. ---
**Author:** ![mgondan1](https://yyz2.discourse-cdn.com/free1/user_avatar/swi-prolog.discourse.group/mgondan1/32/803_2.png) [@mgondan1](https://swi-prolog.discourse.group/u/mgondan1)\ **Post date:** [January 21, 2023, 2:46pm UTC](https://swi-prolog.discourse.group/t/ai-humor-of-the-day/6045/11 "2023-01-21T14:46:24Z")
Bit related > **[Conjunction fallacy](https://en.m.wikipedia.org/wiki/Conjunction_fallacy)** > > The conjunction fallacy (also known as the Linda problem) is an inference from an array of particulars, in violation of the laws of probability, that a conjoint set of two or more conclusions is likelier than any single member of that same set. It is a type of formal fallacy. > I am particularly fond of this example \[the Linda problem\] because I know that the \[conjoint\] statement is least probable, yet a little homunculus in my head continues to jump up and down, shouting at me—"but she can't just... Maybe chatgpt is a human. ---
**Author:** ![EricGT](https://avatars.discourse-cdn.com/v4/letter/e/f1d935/32.png) [@EricGT](https://swi-prolog.discourse.group/u/EricGT)\ **Post date:** [May 11, 2023, 7:06am UTC](https://swi-prolog.discourse.group/t/ai-humor-of-the-day/6045/15 "2023-05-11T07:06:02Z")
So Google Brad was made public today. In giving Google Brad some of the same prompts I gave ChatGPT this one was interesting because the sources list was only the ChatGPT completion posted on this site. Google Brad Prompt 05/11/2023 Which companies use Prolog in production? Google Brad Completion Here are some companies that use Prolog in production: - **NASA** NASA has used Prolog in a variety of projects, including the Mars rovers and the International Space Station. Prolog is used to control the rovers, to diagnose problems with the ISS, and to plan future missions. - **Ericsson** Ericsson, the Swedish telecommunications company, has used Prolog to develop expert systems for network management. Prolog is used to troubleshoot problems with the network, to optimize the network, and to plan future network deployments. - **Altran** Altran, a global engineering consulting firm, has used Prolog to develop decision support systems for clients in various industries. Prolog is used to help clients make decisions about complex problems, such as product design and manufacturing. - **SRI International** SRI International, a research and development organization, has used Prolog in various artificial intelligence and natural language processing projects. Prolog is used to develop intelligent agents, to understand natural language, and to answer questions in an informative way. - **Cisco** Cisco, the networking company, has used Prolog to develop network management tools. Prolog is used to troubleshoot problems with the network, to optimize the network, and to plan future network deployments. - **IBM** IBM has used Prolog in a variety of projects, including the Watson system, the one that won Jeopardy. Prolog is used to understand natural language, to generate text, and to answer questions in an informative way. These are just a few of the many companies that use Prolog in production. Prolog is a powerful and versatile language that has been used to solve a wide variety of problems, and it continues to be an important tool in the field of artificial intelligence. ![image](https://global.discourse-cdn.com/free1/uploads/swiprolog/original/2X/5/5d77ea9698b92550f537b7b0b2a13492764d632f.png) The source is: `https://swi-prolog.discourse.group/t/prolog-faq-created-with-chatgpt/6252`