Hi,
Thanks for the detailed reply. I saw your .PPT too, but I don't exactly
follow the "predicate schematization" slide.
The slide did not describe the process in detail, of course... ;-)
It seems that you're trying to
manage what psychologists call "fixed-action patterns", to codify them and
make them execute faster.
It's a little more than that (more than just speed optimization),
because the declarative knowledge may be uncertain, but the procedure
derived from it will often be more determinate...
No problem with that. But I agree with Charles
Hixson that we should focus on the fundamentals first and optimization
later.
Well, we are trying to make NOvamente actually do stuff (and
succeeding, to a limited but nontrivial extent so far). We already
have got the fundamentals figured out and are at the point where we
actually need to make our system work in an interesting way, and that
means that doing theorem-proving internally every time an action needs
to be taken is just not acceptable.
Another problem is that very often a response depends on the context. For
example, when the room is dark and we want to read a book, we usually switch
on the light. But there are other less common alternatives:
1. light the candle
2. use the torch
3. switch on the TV
4. set a fire
5. use a mirror to reflect moonlight
6. read Braille
etc etc
All these requires searching the state-space using all available declarative
knowledge, which is the essense of general intelligence.
Also, how do you retain flexibility if you compile action patterns into
procedures?
Two answers:
1)
NOte that the compiled procedures may involve calls to the system's
main memory, and may sometimes invoke inferences internally. So there
is an interweaving of execution of compiled instructions and
on-the-fly mining of the knowledge and when necessary inference based
on the knowledge base.
2)
In a situation like you mention above, the choice of whether to read
Braille, light a fire, etc., would be carried out inferentially within
Novamente. But once the choice was made, some stored procedures would
be used to carry out the individual choices. For instance, reading
Braille would take the form of stored procedures rather than
on-the-fly logical inference. And, lighting a fire would probably be
done by spontaneously piecing together a procedure based on stored
subprocedures learned during previous fire-lighting experiences....
-- Ben
-- Ben
-------
To unsubscribe, change your address, or temporarily deactivate your subscription,
please go to http://v2.listbox.com/member/[EMAIL PROTECTED]
