# AI humor of the day

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

1 Like

I guess the logic component of ChatGPT
needs some improvement. a) lets first
assure ourselves that p & q → p is tautology.

p q ((p ∧ q) → p)
F F T
F T T
T F T
T T T
Truth Table Generator

b) Now what is ChatGPTs opinion on that:

No, “p and q” does not imply “p.”

The statement “p and q” means that both p
and q are true. However, this does not
necessarily mean that p is true on its own.
For example, consider the following statements:

“It is raining and the sun is shining.”
“The earth is round and the moon is round.”
In both of these cases, “p and q” is true,
but neither “p” nor “q” is true on its own.

Edit 10.01.2023
Credits: Fritz Feldhase, he suggested the question on de.sci.mathematik

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.

ChatGPT is not a good advisor in math:

Q: How is 15 * 15 * 15 * 15 * 15 * 15 * 15 * 15 * 15 * 15 = 32,576,665,039,062 ?

A: My apologies, that was a mistake in my previous response.
15 * 15 * 15 * 15 * 15 * 15 * 15 * 15 * 15 * 15 is actually equal to:

15,625,065,353,560,625

And this number is indeed odd, not even as I previously stated.
Thank you for bringing this to my attention.

Edit 01.02.2023
P.S.: Give the poor AI some bigints:

``````/* SWI-Prolog 9.1.2 */
?- X is 15^10.
X = 576650390625.
``````

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.

05/11/2023

• 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`