Re: *** ROBOT'S 1ST WORDS ***

[Graham Cooper]

On May 17, 7:57 am, Malcolm McMahon <malc...@theriomorph.me.uk> wrote:
> On Sat, 11 May 2013 00:06:33 -0700, Graham Cooper wrote:
> > 1 year of debugging later...
>
> >http://blockprolog.com/1st-AI-code.png
>
> > ..
> > ..
>
> > PROLOG is a Natural at generating code...
>
> > here the answer should be  PNT ( 1 , ANY )
>
> > Getting Close!
>
> > ------------------
>
> > Herc
>
> I came across a group of AI people who were using a Prolog interpreter
> which was written in LISP, which in turn was running on a Pop3
> interpreter.
>
> I suspect, sometimes, that AI people come up with the least efficient use
> of computer power they can devise so that they can blame their failures
> on lack of computer power.
>

You mean the fundamental 'complexity explosion' when expanding AI
applications to work on larger domains is really just an excuse for
"It doesn't work on much!"

Block Prolog will be completed on schedule!

It's now up to proving

DOG+1 is not a NUMBER!

http://blockprolog.com/nat-s-dog.png

Herc

[Jeff Barnett]

I would think the problem is undecidable in any real logic. Both is and
is not a NUMBER are consistent with what you know to date. Any logic
that would prove either result is too weird for heavy duty use. You need
to pick a more adult system.

Since you are posting in an AI group, a MUCH BETTER RESULT is for the
system to output "Tell me more about dog." If it isn't moving in this
direction, I wouldn't wast this group's time with your approach.

Jeff Barnett

[Graham Cooper]

PROLOG only outputs

X = 3
A = s ( s ( s ( 0 ) ) )

;

X = 4
A = s ( s ( s ( s ( 0 ) ) ) )

;

X = 5
A = s ( s ( s ( s ( s ( 0 ) ) ) ) )


---------------

BP will output the answer in the form of the Query.

USER> printboth ( 4 , X , A ) ?

BP> printboth ( 4 , 4 , s(s(s(s(0)))) ).


---------------

this does open a few door for multiple Prolog Processes
passing queries between each other in a conversation
or referring to a expert source for specific topics.

i.e. you could put a Question Mark on the OUTPUT.

printboth ( 4 , 4 , s(s(s(s(0)))) ) ?

then another process could interpret that!

Changing a TERM to a VAR

> DOG = ?

is not something I have looked into yet.


Herc

--
www.BLoCKPROLOG.com