Re: [sl4] Re: More silly but friendly ideas

From: Vladimir Nesov (
Date: Sat Jun 28 2008 - 04:54:52 MDT

On Sat, Jun 28, 2008 at 2:30 PM, Stuart Armstrong
<> wrote:
>>> I don't see at all analogy between goals and axioms.
>> Not at all? I don't believe you are being entirely candid with me, I
>> think you do see that analogy.
> I don't actually. I thought I did initially, but then when I analysed
> it, the whole thing fell apart. Goals seem to be the opposite of
> axioms; they are the end point, not the beggining of the processes. An
> AI with a goal X will be building a sequence of logical steps that end
> up with X, then compare this with other sequences with similar
> consequences; this is the reverse construction to an axiom.

You are discussing specific search algorithms now, not a problem
statement that needs to be addressed by whatever algorithm is best to
do that. Both axioms and goals specify preference on the set of all
possibilities, axioms specify a clear-cut language, and goals specify
a preference distribution. If your axiom is having the goal
accomplished, you want to build a proof that you have an
action-sequence leading to the goal. If goal is reached last
temporally, it doesn't mean that the search algorithm also needs to
place the goal thing at the end of its runtime.

Vladimir Nesov

This archive was generated by hypermail 2.1.5 : Wed Jul 17 2013 - 04:01:03 MDT