Jiri, IMO, proceeding with AGI development using formal-language input rather than NL input is **not** necessarily a bad approach.
However, one downside is that your incremental steps toward AGI, in this approach, will not be very convincing to skeptics. Another downside is that in this approach it's easier to fool yourself that you're really making progress when you're not... For me to be convinced a formal-language-based AI system was a real step along the path to AGI, I'd have to know something about the internals of the system and assess it in that context. Formal-language-based interaction certainly lends itself to "cheating" (i.e. brittle approaches that won't be able to deal with the nasty richness and noisiness of real language or the real world), but this doesn't mean every formal-language-interaction-based system will **necessarily** be based on "cheating"... Inevitably, the interpretation of partial results is always based on some theoretical framework.... So assessments of incremental progress will never be very objective. For instance, whether or not creating model rockets zooming 200 feet in the air counts as evidence that one is on the path to space-bound rocketry, depends on one's theoretical framework... -- Ben G On 11/4/07, Matt Mahoney <[EMAIL PROTECTED]> wrote: > --- Jiri Jelinek <[EMAIL PROTECTED]> wrote: > > If you can't get meaning from clean input format then what makes you > > think you can handle NL? > > Humans seem to get meaning more easily from ambiguous statements than from > mathematical formula. Otherwise you are programming, not teaching. > > > When working on an AGI proof of concept, NL just adds unnecessary > > complexity. > > Do you think you could pass a Turing test without natural language? This is a > minimal test for AI, without the added complexity of vision, robotics, speech, > etc. How do you propose to measure intelligence in a proof of concept? > > > -- Matt Mahoney, [EMAIL PROTECTED] > > ----- > This list is sponsored by AGIRI: http://www.agiri.org/email > To unsubscribe or change your options, please go to: > http://v2.listbox.com/member/?&; > ----- This list is sponsored by AGIRI: http://www.agiri.org/email To unsubscribe or change your options, please go to: http://v2.listbox.com/member/?member_id=8660244&id_secret=60963713-fc5517
