We do up to a point.  But we, if we study it, learn more formal rules for logic as used in mathematics.  Sure the formal rules were historically abstracted from examples, but they were /selected/ examples, not just what ever's on the internet.

Brent


On 12/21/2024 1:25 PM, John Clark wrote:
On Sat, Dec 21, 2024 at 4:19 PM Brent Meeker <[email protected]> wrote:

    //
    /> I wonder? Do any of these any of these AI's use logic
    subprograms like Prolog or do they get their logic by learning
    from examples the same way they get their facts?/


*I think they learn from exampleshow to use logic to solve problems, the same thing that we do. *

*John K Clark    See what's on my new list at Extropolis <https://groups.google.com/g/extropolis>*
dwt
--
You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion visit https://groups.google.com/d/msgid/everything-list/CAJPayv2dLyMOvxLr_sah3EXxa5AD-KKd6gwtX1KBdmSR%2BfJ--Q%40mail.gmail.com <https://groups.google.com/d/msgid/everything-list/CAJPayv2dLyMOvxLr_sah3EXxa5AD-KKd6gwtX1KBdmSR%2BfJ--Q%40mail.gmail.com?utm_medium=email&utm_source=footer>.

--
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To view this discussion visit 
https://groups.google.com/d/msgid/everything-list/66860958-6a8b-4c94-90c2-02d6e81f7d0d%40gmail.com.

Reply via email to