Article View: alt.folklore.computers
Article #624628Re: PORT 3 Mathematical Subroutine Library
From: menti...
Date: Fri, 29 Jun 2018 21:16
Date: Fri, 29 Jun 2018 21:16
16 lines
2445 bytes
2445 bytes
On Friday, June 29, 2018 at 11:00:07 AM UTC-7, Ahem A Rivet's Shot wrote: > On 29 Jun 2018 15:56:55 GMT > maus <ma...@mail.com> wrote: > > > Are there any reallife AI achievements? > > Many. > > -- > Steve O'Hara-Smith | Directable http://www.sohara.org/ The ghost.pl First Working AGI in Perl Five can now engage in automated reasoning with logical inference. The artificial general intelligence already knows the general premise "women have a child". If the user types in "anna is a woman", the AGI asks for confirmation of a silent inference, "Does Anna have a child?" If the user answers "yes", the Ghost AI accepts the inferred idea. If the user answers "no", the mind-module KbRetro adjusts the knowledge base retroactively to negate the inferred idea and the AI says "ANNA DOES NOT HAVE CHILD". Q.E.D. Mentifex (Arthur)
Technical Details
Message-ID:
<255d24f0-9b2d-4c2d-a1c4-0e4e9f8edd16@googlegroups.com>Path:
mbox-mo1.pugleaf.net!a20-v6ni629qtj.1!nntp.google.com!h2-v6no2131931qtp.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mailReferences:
<8daa0d3e-6bb3-4a89-9f60-76b0b6f677c5@googlegroups.com> <b47415c0-d958-4945-bbf8-c504a9ee1eb7@googlegroups.com> <ph56qq$j6v$2@dont-email.me> <slrnpjclm7.3ko.mausg@dmaus.org> <20180629183759.8efb404cda001d9da348ca60@eircom.net>Show Full Headers
Complete Article Headers
X-Received: by 2002:a37:49d8:: with SMTP id w207-v6mr8584844qka.27.1530307015504; Fri, 29 Jun 2018 14:16:55 -0700 (PDT) X-BeenThere: alt.folklore.computers@googlegroups.com Received: by 2002:ac8:5196:: with SMTP id c22-v6ls6819588qtn.8.gmail; Fri, 29 Jun 2018 14:16:54 -0700 (PDT) X-Received: by 2002:ac8:29b7:: with SMTP id 52-v6mr8436182qts.6.1530307014690; Fri, 29 Jun 2018 14:16:54 -0700 (PDT) X-Received: by 2002:a81:7a10:: with SMTP id v16-v6mr1504397ywc.3.1530307014514; Fri, 29 Jun 2018 14:16:54 -0700 (PDT) Path: mbox-mo1.pugleaf.net!a20-v6ni629qtj.1!nntp.google.com!h2-v6no2131931qtp.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: alt.folklore.computers Date: Fri, 29 Jun 2018 14:16:54 -0700 (PDT) In-Reply-To: <20180629183759.8efb404cda001d9da348ca60@eircom.net> Complaints-To: groups...@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=73.254.249.249; posting-account=rS-ITgoAAAC4XLmmHKI5_C5lMSeqZBAF NNTP-Posting-Host: 73.254.249.249 References: <8daa0d3e-6bb3-4a89-9f60-76b0b6f677c5@googlegroups.com> <b47415c0-d958-4945-bbf8-c504a9ee1eb7@googlegroups.com> <ph56qq$j6v$2@dont-email.me> <slrnpjclm7.3ko.mausg@dmaus.org> <20180629183759.8efb404cda001d9da348ca60@eircom.net> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <255d24f0-9b2d-4c2d-a1c4-0e4e9f8edd16@googlegroups.com> Subject: Re: PORT 3 Mathematical Subroutine Library From: menti...@gmail.com Injection-Date: Fri, 29 Jun 2018 21:16:54 +0000 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit