OK, how's that different from the collaboration inherent in any human project?
Can you just explain your viewpoint?
--- On Tue, 9/16/08, Bryan Bishop [EMAIL PROTECTED] wrote:
On Tuesday 16 September 2008, Terren Suydam wrote:
Not really familiar with apt-get. How is it a
complex system?
2008/9/16 Terren Suydam [EMAIL PROTECTED]:
Hi Will,
Such an interesting example in light of a recent paper, which deals with
measuring the difference between activation of the visual cortex and blood
flow to the area, depending on whether the stimulus was subjectively
invisible. If the
Hi everyone,
Most people on this list should know about at least 3 uncertain logics
claiming to be AGI-grade (or close):
--Pie Wang's NARS
--Ben Goertzel's PLN
--YKY's recent hybrid logic proposal
It seems worthwhile to stop and take a look at what criteria such
logics should be judged by. So,
On Thu, Sep 18, 2008 at 1:46 AM, Abram Demski [EMAIL PROTECTED] wrote:
Speaking of my BPZ-logic...
2. Good at quick-and-dirty reasoning when needed
Right now I'm focusing on quick-and-dirty *only*. I wish to make the
logic's speed approach that of Prolog (which is a fast inference
algorithm
Prolog is not fast, it is painfully slow for complex inferences due to using
backtracking as a control mechanism
The time-complexity issue that matters for inference engines is
inference-control ... i.e. dampening the combinatorial explosion (which
backtracking does not do)
Time-complexity
On Wednesday 17 September 2008, Terren Suydam wrote:
OK, how's that different from the collaboration inherent in any human
project? Can you just explain your viewpoint?
When you have something like 20,000+ contributors writing software that
can very, very easily break, I think it's an
On Wed, Sep 17, 2008 at 1:46 PM, Abram Demski [EMAIL PROTECTED] wrote:
Hi everyone,
Most people on this list should know about at least 3 uncertain logics
claiming to be AGI-grade (or close):
--Pie Wang's NARS
Yes, I heard of this guy a few times, who happens to use the same name
for his
--- On Wed, 9/17/08, Abram Demski [EMAIL PROTECTED] wrote:
Most people on this list should know about at least 3
uncertain logics
claiming to be AGI-grade (or close):
--Pie Wang's NARS
--Ben Goertzel's PLN
--YKY's recent hybrid logic proposal
It seems worthwhile to stop and take a look
On Wed, Sep 17, 2008 at 9:00 PM, YKY (Yan King Yin)
[EMAIL PROTECTED] wrote:
--a. Makes unwarranted independence assumptions
Yes, I think independence should always be assumed unless otherwise
stated -- which means there exists a Bayesian network link between X
and Y.
Small question...
That is interesting. Sorry if I was short before, but I wish you would have
just explained that from the start. Few here are going to be familiar with
linux install tools or the communities around them.
I think a similar case could be made for a lot of large open source projects
such as Linux
Good point, this applies to me as well (I'll let YKY answer as it
applies to him). I should have said conditional independence rather
than just independence.
--Abram
On Wed, Sep 17, 2008 at 4:21 PM, Kingma, D.P. [EMAIL PROTECTED] wrote:
On Wed, Sep 17, 2008 at 9:00 PM, YKY (Yan King Yin)
YKY,
Thanks for the reply. It seems important to me to be able to do more
than just the fast reasoning. When given more time, a reasoning method
should reconsider its independence assumptions, employ more
sophisticated models, et cetera.
By the way, when I say markov model I mean markov chain as
Pei,
You are right, that does sound better than quick-and-dirty. And more
relevant, because my primary interest here is to get a handle on what
normative epistemology should tell us to conclude if we do not have
time to calculate the full set of consequences to (uncertain) facts.
It is
2008/9/17 JDLaw [EMAIL PROTECTED]:
IMHO to all,
There is an important morality discussion about how sentient life will
be treated that has not received its proper treatment in your
discussion groups. I have seen glimpses of this topic, but no real
action proposals. How would you feel if
Lets take the opencog list off this email, and move the
conversation to the agi list .
2008/9/17 [EMAIL PROTECTED]:
James,
I agree that the topic is worth careful consideration. Sacrificing the
'free as in freedom' aspect of AGPL-licensed OpenCog for reasons of
AGI safety and/or the
15 matches
Mail list logo
