[agi] Project proposal: MindPixel 2

2007-01-13 Thread YKY (Yan King Yin)
I'm considering this idea: build a repository of facts/rules in FOL (or Prolog) format, similar to Cyc's. For example water is wet, oil is slippery, etc. The repository is structureless, in the sense that it is just a collection of simple statements. It can serve as raw material for other

Re: [agi] Project proposal: MindPixel 2

2007-01-13 Thread Pei Wang
How do you plan to represent water is wet? Pei On 1/13/07, YKY (Yan King Yin) [EMAIL PROTECTED] wrote: I'm considering this idea: build a repository of facts/rules in FOL (or Prolog) format, similar to Cyc's. For example water is wet, oil is slippery, etc. The repository is structureless,

Re: [agi] Project proposal: MindPixel 2

2007-01-13 Thread YKY (Yan King Yin)
On 1/14/07, Pei Wang [EMAIL PROTECTED] wrote: How do you plan to represent water is wet? Pei Well, we need to agree on some conventions. A pretty standard way is: Is(water,wet). But the one I use in my system is: R(is, water, wet) where R is a generic predicate representing a

Re: [agi] Project proposal: MindPixel 2

2007-01-13 Thread Bob Mottram
Actually it doesn't matter what convention you use. You could simply have an entry box on the screen, with a prompt saying please type a short statement that you believe to be either true or false. Some parsing can do the rest. To avoid getting too verbose simply restrict the maximum number of

Re: [agi] Project proposal: MindPixel 2

2007-01-13 Thread Chuck Esterbrook
On 1/13/07, Bob Mottram [EMAIL PROTECTED] wrote: Actually it doesn't matter what convention you use. You could simply have an entry box on the screen, with a prompt saying please type a short statement that you believe to be either true or false. Some parsing can do the rest. To avoid

Re: [agi] Project proposal: MindPixel 2

2007-01-13 Thread YKY (Yan King Yin)
On 1/14/07, Pei Wang [EMAIL PROTECTED] wrote: Well, we need to agree on some conventions. A pretty standard way is: Is(water,wet). In the standard way of knowledge representation, a constant is either a predicate name or an individual name. Mass noun like water is neither. There is no

Re: [agi] Project proposal: MindPixel 2

2007-01-13 Thread YKY (Yan King Yin)
On 1/14/07, Bob Mottram [EMAIL PROTECTED] wrote: If Mindpixel does get revived I think it should be an open source project, with the results available to everyone. The idea of doing this on a commercial basis with the issuing of shares turned out not to be viable. This kind of effort is a

Re: [agi] Project proposal: MindPixel 2

2007-01-13 Thread Benjamin Goertzel
Well, I don't really think that Mindpixel shares are going to be a big motivator for folks to encode knowledge, in the current economic/business climate. The original mindpixel shares were part of the dot-com-era mentality, I think. But I think the key point is whether there is a committment to

Re: [agi] Project proposal: MindPixel 2

2007-01-13 Thread Joel Pitt
On 1/14/07, YKY (Yan King Yin) [EMAIL PROTECTED] wrote: I'm considering this idea: build a repository of facts/rules in FOL (or Prolog) format, similar to Cyc's. For example water is wet, oil is slippery, etc. The repository is structureless, in the sense that it is just a collection of

Re: [agi] Project proposal: MindPixel 2

2007-01-13 Thread Gabriel R
A few other considerations -- It is possible to reduce the need for after-the-fact parsing by imposing constraints on the knowledge-entry process, and this actually makes it easier for users to come up with facts. For example, the MIT Open Mind Common Sense project asked users to fill in the