Re: Is this program OOP?

On 11.12.2024 10:40, Muttley@DastardlyHQ.org wrote:

On Wed, 11 Dec 2024 08:59:18 +0100
David Brown <david.brown@hesbynett.no> wibbled:

On 10/12/2024 17:35, Muttley@DastardlyHQ.org wrote:

On Tue, 10 Dec 2024 17:04:37 +0100
David Brown <david.brown@hesbynett.no> wibbled:

On 10/12/2024 10:23, wij wrote:

Very dubious, show us what you say is true.
>

>
Prolog is a language that is ideally suited to such problems.
Basically, you give the language a bunch of objects and facts and
relations about those objects, then you ask it questions about them.
It's at least 35 years since I tried Prolog one afternoon, and that's
exactly the kind of task I played with (though a bit smaller).

>
I found Prolog an absolute bugger of a language. Beyond simple clauses it
never did what I expected it to do. Its the one language I never really
got. I think it requires a certain mindset or way of thinking.
>

>
Having only tried it for a short time as a teenager, it's not fair for
me to judge it - but it is certainly quite a different kind of language
from C++!

 We had to use it in the AI module at uni. :/
 I suspect its raison d'etre has rather been shot down these days as AI has
moved away from propositional logic to neural networks.

Some propositional logic would be very beneficial for the current babble-GPT style AI. This is exactly what they are missing. Alas, this would assume they understand a bit what they are babbling about, which is not the case.
As far as I can tell, currently their hope is that by piling more and more data and hardware on top of their AI it would accidentally discover by itself several important features:
a) a coherent world model
b) rules of logic for operating with the model
c) some way to connect the model to their huge data corpora
d) some way to check if the model corresponds to reality
Given that even many people have huge problems with a), b) and d) I would not hold my hopes high that all these things would somehow randomly emerge.