Understanding descriptions




State class descriptions are a neglected _part_ of A(G)I development
(including reinforcement learning type approaches to A(G)I
development)

(
Some of you may feel it improbable that this is really about general
intelligence(in addition to other, narrow kind of AIs)(or, to be more
precise, general AI's seed AI), but is it somehow known that the
workings of general intelligence must feel intuitive and seem
obviously right when described?

(
Partly conversely, part of AGI related philosophy may be described as
school textbook ideas, but the extreme difficulty is in knowing which
such ideas to include in programming to describe components.

Speaking of decisions about component inclusion, AI development must
have philosophical test(s) / thought experiment(s) for evaluating
theorized/ thought software component's potential for componentness in
the input-output-relation causing system called "general
intelligence". That is because any such component probably won't exist
at the time that it's need is conjectured for the first time (it may
exist by coincidence or because part of narrow-AI development was on
right track) and it is not efficient to do code from every whim of
conjecture, and because practical tests on partial systems would not
reveal enough.

It is a confusing parallel between AI-field's substance and AI-field's
metalevel, that AI itself must have a component for evaluating
speculated software- or physical component's or phenomenon's potential
for componentness in some effect causing system, or cause-effect- or
data-input-output-relation causing system or data-output causing
system(fixed-file-decompressing/generating program), for it's
day-to-day work.

Final decision about componentness is made by considering and
calculating the component candidate as a part of whole plan.
))


The main reason (or, the most interesting explanation) why chess AIs
have used enormous amounts of computation but still barely win best
humans, is that they have'nt processed board state class descriptions,
just evaluated millions of individual board states by working in the
lowest possible level of abstraction / level of description.

If chess AI could handle board state descriptions, that instead of
meaning just 1 position, could refer in one little statement set to a
class of positions that is meaning thousands or millions of positions,
then it would be possible that a software running in a mere mobile
phone could win anybody.

Similarly, even AI could not program ordinary lenght software from
algorithm invariant specification by adding more lines after another
on the basis of previous lines and by rearranging existing
lines(making it less partial and less wrong). That would be practical
for only short programs. Similar thing applies for bridge plans and
natural language sentences. AI must find/produce descriptions of
classes, software component classes, bridge part classes, engine part
classes, word or sentence sequence meaning classes etc. That makes the
goal setting statements less vague, while the procedures of 'less
partial' and 'less wrong' get also used in their proper turn. Only at
the last and lowest description level AI settles to particular
instances and - if applicable - points in continuum.

Ever more efficient search methods by limiting search are not enough
and lack some ways of problem solving that can be described as having
philosophical-level counterparts in nature.

Depending on the nature of the problem and point of view to the
problem, we might call the statement set that means and sets AI's
motivation, as "desired state", "goal", "optimization target",
"specification", "end state", "constraint", "result"... Now 'goal' is
the choice.

Broadest possible meaning of 'goal' and it's minimal size definition
should be used, as with the concept of 'symbol', for example. All
version-specific and context-specific meanings should be left out, if
it is possible to decide what those are.

A 'goal' may not be just something that AI's design(AI's output that
is blueprint, source code or other kind of design sort of thingie)
must do to matter and energy(as in mechanical and civil engineering),
or to data(as in programming). Piece of data meaning 'goal' and an
output resulting from it (+from previous learning results), could also
be something that we aren't normally aware of and which is difficult
to refer at, but without which the AI could not be considered
"general".


(This usenet message may require extensive parsing, but if you wan't
something easy, don't do AI.)



Mik-ko Heis-ka

.



Relevant Pages

  • Re: To Richard Heathfield: enoughs enough
    ... Hungarian notation, the identifiers are easier than non-Hungarian ... the SAME conscientiousness that uses Hungarian notation in the ... neither subject in any way to management whims and meaning ... there are in programming different discourse communities. ...
    (comp.programming)
  • Internalising new linguistic symbols and patterns
    ... Obscure words with precise meaning ... Something similar happens when programming, ... your program seem unclear but can provide the reader with an insight ... The powerfully general idiom seems ...
    (sci.lang)
  • Re: Terms for method types?
    ... >languages. ... has a great deal of meaning to her. ... keyword consisting of the sequence of six character "static". ... going into description of a particular programming language. ...
    (comp.lang.javascript)
  • Re: Looking for recommendations: schematic reading turotial
    ... the term carries real meaning to practitioners. ... difference in mindset, skills, interests, talents and so on that work ... time been a difference between programming work performed upon general ... know about memory segments (and here I'm using the term NOT in the ...
    (comp.arch.embedded)
  • Re: 16/32 bit processor for OS development
    ... The key point is, as I like to phrase it, that an embedded system ... and everyday use within the programming world. ... closer to hardware than those using general purpose operating systems ... should shape the meaning of it. ...
    (comp.arch.embedded)

Loading