|
?- 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.
|
|
|
|
|
|
To find an answer.
1. Find an AI client
2. Figure out how to use it.
3. Ask it.
|
|
|
|
|
|
Don't expect serious answers here. Rather, consult a dictionary.
If this is a homework hand-in problem, be particularly careful about directly copying the answers you get here.
It is probably better to ask ChatGPT 
|
|
|
|
|
It is the art of preventing your employees from getting on with their work undisturbed.
|
|
|
|
|
Stopping short of achieving your level of incompetence.
"Before entering on an understanding, I have meditated for a long time, and have foreseen what might happen. It is not genius which reveals to me suddenly, secretly, what I have to say or to do in a circumstance unexpected by other people; it is reflection, it is meditation." - Napoleon I
|
|
|
|
|
Doing it successfully means that one does not get angry when one sees silly questions.
|
|
|
|
|
|
|
i want to make a machine capable of detecting and classifying passes and throw-ins based on football match video. could you help me?
|
|
|
|
|
Has anyone else had success running CodeProject AI in a Docker container? I've spent days trying to troubleshoot what is going on with my deployment without success.
Here's my setup: At the base I'm running ESXi. Blue Iris is running in a Win10 VM. For the Docker setup, I'm running PhotonOS in a VM, with Portainer on top to give me a GUI for Docker. Inside Docker, I'm pulling in the codeproject/ai-server image. I'm using macvlan as the networking config to give it an IP on the LAN.
The CPAI container spins up fine, I can access the web GUI fine. I can ping it from the BI server. But it doesn't respond to any kind of requests. I've noticed that if I go into the CPAI Explorer, none of the models are showing up except for a few that appear to be defaults. If I load up an image in Explorer and ask it to analyze it, nothing happens. I just get a timeout and no logs generated.
I've triple checked that I've got the model folder mapped to "/app/modules/ObjectDetectionYolo/custom-models". I've ssh'd to the container and verified the models show up in there, but CPAI doesn't seem to recognize them.
|
|
|
|
|
|
Oops - didn't realize that. THanks!
|
|
|
|
|
|
Question, in CodeProject Ai how do you do the update for Object Detection (YOLOv5.NET)? It is showing an update from 1.0 to 1.1 in blue letters but when you click on it, it does nothing.
modified 29-Mar-23 21:49pm.
|
|
|
|
|
That was an error in the module listing. You'll need to wait till server 2.1 comes out (in alpha testing today) for the update to be accessible. However: the update is only a structural update to fit the new architecture of server 2.1, so you're not missing anything major.
cheers
Chris Maunder
|
|
|
|
|
How Data scientist uses chatGPT
|
|
|
|
|
Same way anyone else uses it.
|
|
|
|
|
Hello friends, I am currently looking for a solution into beating sport betting companies, one will be able to utilize their live match to ones own advantage. Like an AI bot which will be built in form of a browser and able to execute command, in order to be able to place last minutes bet by scanning for time and current status of the match. Lets say there is a game between team a and team b, team a is winning the match by 2 and team b 0, the bot will first scan for time and if the is up to 88 0r 90, it can then select all match in that range and the winning which also include draw game. Do anyone have any idea how we can bring this idea to live?
|
|
|
|
|
No. Because it's cheating, illegal in some places, and most definitely immoral. And that's ignoring the various groups of people believed to be behind organised gambling who would be most unhappy with everybody involved in the project. And they have long arms, and cold hearts.
We do not condone, support, or assist in the production of malicious code in any way, form, or manner. This is a professional site for professional developers.
If you want to know how to create such things, you need to visit a hacking site: but be sure to disable all firewalls and antivirus products first or they won't trust you enough to tell you.
"I have no idea what I did, but I'm taking full credit for it." - ThisOldTony
"Common sense is so rare these days, it should be classified as a super power" - Random T-shirt
AntiTwitter: @DalekDave is now a follower!
|
|
|
|
|
I do understand your worries and every other things you had said. This is not necessary cheating because I only need a bot or program to assist me place bet at a very fast accurate speed that I am not able to achieving. This not not like hacking into the sport betting server or any of what you said. Building a browser form bot to execute commands which I could have been able to do any where by myself but at slower speed and so I am employing the use of an AI bot. Hackers are the ones who build malicious virus but professionals work is to build a clean legal app for problem solving
|
|
|
|
|
Don't waste your time, very few betting comanies will accept bets after the race/game/match has started.
|
|
|
|
|
Of course there are so many sport betting companies website that allow placing an ongoing live bet with reduced small odds which will probably be the target for AI bot. I have work with few which I won some and lose some games. It is not completely sure win betting because in any game, anything can still happen at the least few seconds. A bot like this will only reduce loss.
|
|
|
|
|
OriginalGriff wrote: Because it's cheating, illegal in some places, and most definitely immoral
Not sure I believe any of that.
Certainly some betting apps allow live game betting. That specifically involves making a bet after then game has started. Based on that it is not illegal nor cheating. And they certainly do not think it is immoral.
Additionally, in comparison, investing in stocks have been doing (and allowing) investing in micro second incrementals for probably decades. Basically since it was technically allowed. And large pocket investors used time based advantages to make trades long before that. It was specifically one of the advantages of having a broker that was actually on the New York Stock Exchange.
|
|
|
|
General 
News 
Suggestion 
Question 
Bug 
Answer 
Joke 
Praise 
Rant 
Admin 
Submit an article or tip
