Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Paavo Helde <eesnimi@osa.pri.ee>
Newsgroups: comp.lang.c++
Subject: Re: Is this program OOP?
Date: Thu, 12 Dec 2024 09:59:14 +0200
Organization: A noiseless patient Spider
Lines: 52
Message-ID: <vje54h$21d5b$1@dont-email.me>
References: <63cd41709a703e4ac6d76427d53fe06d7ee8b8b1.camel@gmail.com>
 <86plm0iwtj.fsf@linuxsc.com>
 <035b9e2186f9dc6467806e27a76d98525c104e54.camel@gmail.com>
 <86h67chxn8.fsf@linuxsc.com>
 <03fcd46b8d44390c78ca1719e2311b528570d276.camel@gmail.com>
 <vj9oql$114ip$1@dont-email.me> <vj9qkr$11ob7$1@dont-email.me>
 <vjbgom$1eibh$1@dont-email.me> <vjbj5n$1f4nv$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Thu, 12 Dec 2024 08:59:13 +0100 (CET)
Injection-Info: dont-email.me; posting-host="b7e79645ddb21ea901e61a29f64233f5";
	logging-data="2143403"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19qezKimyEnmPTstff50m8hvnVoikXEaMw="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:APYCvS1FAn8ZEEyrVtX0E1i96sI=
Content-Language: en-US
In-Reply-To: <vjbj5n$1f4nv$1@dont-email.me>
Bytes: 3445

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.