Newsgroups: comp.ai
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!oitnews.harvard.edu!purdue!lerc.nasa.gov!news.larc.nasa.gov!news.msfc.nasa.gov!newsfeed.internetmci.com!news.uoregon.edu!vixen.cso.uiuc.edu!howland.reston.ans.net!EU.net!sun4nl!cs.vu.nl!embronne
From: embronne@cs.vu.nl (Bronneberg EM)
Subject: Re: A General Theory of Patterns?
Nntp-Posting-Host: sloep10.cs.vu.nl
References: <403do0$p46@Venus.mcs.com>
Sender: news@cs.vu.nl
Organization: Fac. Wiskunde & Informatica, VU, Amsterdam
Date: Mon, 7 Aug 1995 17:53:29 GMT
X-Newsreader: TIN [version 1.2 PL2]
Message-ID: <DCyCD5.L1z.0.-s@cs.vu.nl>
Lines: 27

Jorn Barger (jorn@MCS.COM) wrote:

: Has anybody ever built an AI for solving the sort of IQ-test problems
: that involve *mathematical sequences*?

: Like: 1, 1, 2, 3, 5, ...?

: By the complementarity principle, the same program that can recognize
: these ought to be able to *generate* an infinite range of sequences... 
: and a more generalized version might be able to generate infinite
: other varieties of *patterns*...

: Is there some level of extreme mathematical abstraction where there
: are general laws about patterns and combinations, independent of
: all pattern *content*?

I'm not sure if it's exactly what you mean, but the FOIL system might be
helpful. I'm pretty sure that it can solve the sort of problems as the one
above. About the complementary principle I don't know. The system is
described in:
        J.R. Quinlan.
        Learning Logical Definitions from Relations,
        Basser Department of Computer Science,
        University of Sydney, Australia.

Greetings, Miel Bronneberg,
	   embronne@cs.vu.nl
