Dr. Vaughan Pratt’s 1994 Qs to Evaluate Cyc, Asked of ChatGPT (ref)
Just had to laugh at this one: San Francisco is not west of New York.
There are many more if one keeps reading.
3 Likes
1994… pretty impressive!
If you are reading the answers as if they were from an AI in 1994 then you are misreading the document.
Cyc was started in 1984 as a symbolic artificial intelligence. In 1994 those questions were asked of Cyc (ref). However the answers in the link are not the answers by Cyc but those by ChatGPT which is a large language model.
oops… indeed I was wondering how much it could have costed in 1994 the massive memory required by Cyc.
The comparisons in Q4.11 are a great example of the model not really having any idea what it’s saying 
2 Likes
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.
Bit related
Maybe chatgpt is a human.
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.
The source is: https://swi-prolog.discourse.group/t/prolog-faq-created-with-chatgpt/6252
1 Like