Click here to Skip to main content
15,885,098 members
Home / Discussions / Artificial Intelligence
   

Artificial Intelligence

 
GeneralRe: Which technique to apply if function Y changes with values of X variables other than linear regression Pin
Gerry Schmitz8-Aug-23 5:43
mveGerry Schmitz8-Aug-23 5:43 
GeneralRe: Which technique to apply if function Y changes with values of X variables other than linear regression Pin
Andre Oosthuizen8-Aug-23 7:42
mveAndre Oosthuizen8-Aug-23 7:42 
GeneralRe: Which technique to apply if function Y changes with values of X variables other than linear regression Pin
Richard MacCutchan8-Aug-23 21:35
mveRichard MacCutchan8-Aug-23 21:35 
AnswerRe: Which technique to apply if function Y changes with values of X variables other than linear regression Pin
Andre Oosthuizen7-Aug-23 22:26
mveAndre Oosthuizen7-Aug-23 22:26 
GeneralRe: Which technique to apply if function Y changes with values of X variables other than linear regression Pin
BillWoodruff21-Aug-23 16:50
professionalBillWoodruff21-Aug-23 16:50 
GeneralRe: Which technique to apply if function Y changes with values of X variables other than linear regression Pin
Andre Oosthuizen21-Aug-23 20:22
mveAndre Oosthuizen21-Aug-23 20:22 
GeneralUSENIX Anyone? Pin
Ryan Walker Nov202213-Jul-23 18:25
Ryan Walker Nov202213-Jul-23 18:25 
QuestionWhat does this mean in Prolog? Pin
polcott15-May-23 17:33
polcott15-May-23 17:33 
?- LP = not(true(LP)).
LP = not(true(LP)).

?- unify_with_occurs_check(LP, not(true(LP))).
false.


Here is the answer from ChatGPT

Please explain this in English:

?- LP = not(true(LP)).
LP = not(true(LP)).

?- unify_with_occurs_check(LP, not(true(LP))).
false.

ChatGPT

The first statement in Prolog is an assignment where LP is defined as the negation of the truth value of LP itself. This means that LP is the logical negation of LP, indicating that LP is false if it is true, and true if it is false.

The second statement is a query that checks if there exists a unification between LP and not(true(LP)). It attempts to find a consistent value for LP that satisfies the equation.

In this case, the result of the query is false, indicating that there is no valid unification between LP and not(true(LP)). In other words, there is no consistent value that can simultaneously satisfy the equation LP = not(true(LP)). This suggests that there is a contradiction in the logic, as the equation cannot hold true for any value of LP.

=======================================

It turns out that ChatGPT is incorrect because Prolog is merely recognizing the pathological self-reference of LP. "true" and "not" in the above context are meaningless placeholders to Prolog.

Prolog equally rejects this expression: X = foo(bar(X)).
I was trying to show that Prolog recognizes and rejects the Liar Paradox. It turns out the Prolog recognizes and rejects every expression that is isomorphic to the Liar Paradox.

modified 16-May-23 17:59pm.

QuestionEnrique Pin
Member 159990078-May-23 5:28
Member 159990078-May-23 5:28 
AnswerRe: Enrique Pin
jschell15-May-23 4:55
jschell15-May-23 4:55 
AnswerPrinciples of management Pin
christopher sam5-May-23 12:57
christopher sam5-May-23 12:57 
GeneralRe: Principles of management Pin
trønderen5-May-23 14:15
trønderen5-May-23 14:15 
GeneralRe: Principles of management Pin
Richard MacCutchan5-May-23 22:02
mveRichard MacCutchan5-May-23 22:02 
GeneralRe: Principles of management Pin
Gerry Schmitz6-May-23 10:53
mveGerry Schmitz6-May-23 10:53 
GeneralRe: Principles of management Pin
jschell15-May-23 4:57
jschell15-May-23 4:57 
QuestionHELP! docker-compose Pin
gunnar 20234-May-23 0:31
gunnar 20234-May-23 0:31 
AnswerRe: HELP! docker-compose Pin
Richard MacCutchan4-May-23 0:58
mveRichard MacCutchan4-May-23 0:58 
Questionmachine learning Pin
Lionel Dele1-May-23 2:04
Lionel Dele1-May-23 2:04 
QuestionAnyone have success running CPAI in Docker? Pin
Member 1598509221-Apr-23 5:27
Member 1598509221-Apr-23 5:27 
AnswerRe: Anyone have success running CPAI in Docker? Pin
Richard MacCutchan21-Apr-23 6:39
mveRichard MacCutchan21-Apr-23 6:39 
GeneralRe: Anyone have success running CPAI in Docker? Pin
Member 1598509221-Apr-23 6:42
Member 1598509221-Apr-23 6:42 
GeneralRe: Anyone have success running CPAI in Docker? Pin
Richard MacCutchan21-Apr-23 6:43
mveRichard MacCutchan21-Apr-23 6:43 
SuggestionCodeProject Ai won't let me update Object Detection (YOLOv5.NET) Pin
Member 1590747929-Mar-23 9:50
Member 1590747929-Mar-23 9:50 
GeneralRe: CodeProject Ai won't let me update Object Detection (YOLOv5.NET) Pin
Chris Maunder29-Mar-23 15:50
cofounderChris Maunder29-Mar-23 15:50 
GeneralPower of ChatGPT for Data Scientists Pin
jerni2317-Feb-23 0:21
jerni2317-Feb-23 0:21 

General General    News News    Suggestion Suggestion    Question Question    Bug Bug    Answer Answer    Joke Joke    Praise Praise    Rant Rant    Admin Admin   

Use Ctrl+Left/Right to switch messages, Ctrl+Up/Down to switch threads, Ctrl+Shift+Left/Right to switch pages.