Re: Economic libertarianism [was Re: The first-to-market effect [WAS Re: [agi] Religion-free technical content]

2007-10-08 Thread Bob Mottram
Economic libertarianism would be nice if it were to occur. However, in practice companies and governments put in place all sorts of anti-competitive structures to lock people into certain modes of economic activity. I think economic activity in general is heavily influenced by cognitive biases of

Turing Completeness of a Lump of Dirt [WAS Re: [agi] Conway's Game of Life and Turing machine equivalence]

2007-10-08 Thread Richard Loosemore
William Pearson wrote: On 07/10/2007, Richard Loosemore <[EMAIL PROTECTED]> wrote: William Pearson wrote: On 07/10/2007, Richard Loosemore <[EMAIL PROTECTED]> wrote: The TM implementation not only has no relevance to the behavior of GoL(-T) at all, it also has even less relevance to the part

Re: Turing Completeness of a Lump of Dirt [WAS Re: [agi] Conway's Game of Life and Turing machine equivalence]

2007-10-08 Thread William Pearson
On 08/10/2007, Richard Loosemore <[EMAIL PROTECTED]> wrote: > William Pearson wrote: > > On 07/10/2007, Richard Loosemore <[EMAIL PROTECTED]> wrote: > >> William Pearson wrote: > >>> On 07/10/2007, Richard Loosemore <[EMAIL PROTECTED]> wrote: > > > >> The TM implementation not only has no relevance

Re: Turing Completeness of a Lump of Dirt [WAS Re: [agi] Conway's Game of Life and Turing machine equivalence]

2007-10-08 Thread Mark Waser
From: "William Pearson" <[EMAIL PROTECTED]> Laptops aren't TMs. Please read the wiki entry to see that my laptop isn't a TM. But your laptop can certainly implement/simulate a Turing Machine (which was the obvious point of the post(s) that you replied to). Seriously, people, can't we lose al

Re: [agi] Do the inference rules of categorical logic make sense?

2007-10-08 Thread Charles D Hixson
Pei Wang wrote: Charles, What you said is correct for most formal logics formulating binary deduction, using model-theoretic semantics. However, Edward was talking about the categorical logic of NARS, though he put the statements in English, and omitted the truth values, which may caused some mi

Re: Turing Completeness of a Lump of Dirt [WAS Re: [agi] Conway's Game of Life and Turing machine equivalence]

2007-10-08 Thread William Pearson
On 08/10/2007, Mark Waser <[EMAIL PROTECTED]> wrote: > From: "William Pearson" <[EMAIL PROTECTED]> > > Laptops aren't TMs. > > Please read the wiki entry to see that my laptop isn't a TM. > > But your laptop can certainly implement/simulate a Turing Machine (which was > the obvious point of the pos

Re: [agi] Religion-free technical content

2007-10-08 Thread Charles D Hixson
Derek Zahn wrote: Richard Loosemore: > > a... I often see it assumed that the step between "first AGI is built" (which I interpret as a functoning model showing some degree of generally-intelligent behavior) and "god-like powers dominating the planet" is a short one. Is that really likely? N

Re: Economic libertarianism [was Re: The first-to-market effect [WAS Re: [agi] Religion-free technical content]

2007-10-08 Thread Charles D Hixson
a wrote: Linas Vepstas wrote: ... The issue is that there's no safety net protecting against avalanches of unbounded size. The other issue is that its not grains of sand, its people. My bank-account and my brains can insulate me from small shocks. I'd like to have protection against the bigg

Re: [agi] Conway's Game of Life and Turing machine equivalence

2007-10-08 Thread Linas Vepstas
On Sun, Oct 07, 2007 at 02:17:30PM -0400, J Storrs Hall, PhD wrote: > > This is the same kind of reasoning that leads Bostrom et al to believe that > we > are probably living in a simulation, which may be turned off at any ti

Re: Economic libertarianism [was Re: The first-to-market effect [WAS Re: [agi] Religion-free technical content]

2007-10-08 Thread a
Bob Mottram wrote: Economic libertarianism would be nice if it were to occur. However, in practice companies and governments put in place all sorts of anti-competitive structures to lock people into certain modes of economic activity. I think economic activity in general is heavily influenced b

Re: Economic libertarianism [was Re: The first-to-market effect [WAS Re: [agi] Religion-free technical content]

2007-10-08 Thread Linas Vepstas
On Sat, Oct 06, 2007 at 10:05:28AM -0400, a wrote: > I am skeptical that economies follow the self-organized criticality > behavior. Oh. Well, I thought this was a basic principle, commonly cited in microeconomics textbooks: when there's a demand, producers rush to fill the demand. When there's

Re: [agi] Do the inference rules of categorical logic make sense?

2007-10-08 Thread Pei Wang
Charles, I fully understand your response --- it is typical when people interpret NARS according to their ideas about how a formal logic should be understood. But NARS is VERY different. Especially, it uses a special semantics, which defines "truth" and "meaning" in a way that is fundamentally di

Re: [agi] Do the inference rules of categorical logic make sense?

2007-10-08 Thread Charles D Hixson
OK. I've read the paper, and don't see where I've made any errors. It looks to me as if NARS can be modeled by a prototype based language with operators for "is an ancestor of" and "is a descendant of". I do have trouble with the language terms that you use, though admittedly they appear to

Re: [agi] Do the inference rules of categorical logic make sense?

2007-10-08 Thread Vladimir Nesov
Charles, In experience-based learning there are two main problems relating to knowledge acquisition: you have to come up with hypotheses and you have to assess their plausibility. Theoretically, you can regard all hypotheses, but you can't actually do it explicitly because of combinatorial explosi

Re: [agi] Do the inference rules of categorical logic make sense?

2007-10-08 Thread Pei Wang
Charles, To be concrete, let me summarize the assumptions in your previous comments, and briefly explain why they don't apply to NARS. *. The meaning of "Fred" is an entity referred to by the term --- in NARS, the meaning of a term is its relations with other terms (according to the system's expe

RE: [agi] Do the inference rules of categorical logic make sense?

2007-10-08 Thread Edward W. Porter
Charles D. Hixson’s post of 10/8/2007 5:50 PM, was quite impressive as a first reaction upon reading about NARS. After I first read Pei Wang’s “A Logic of Categorization”, it took me quite a while to know what I thought of it. It was not until I got answers to some of my basic questions from Pei

RE: [agi] Religion-free technical content & breaking the small hardware mindset

2007-10-08 Thread Edward W. Porter
Dear indefinite article, The Wikipedia entry for "Flynn Effect" suggests -- in agreement with your comment in the below post -- that older people (at least those in the pre-dementia years) don't get dumber with age relative to their younger selves, but rather relative to the increasing intellige

Re: [agi] Do the inference rules of categorical logic make sense?

2007-10-08 Thread Pei Wang
On 10/8/07, Edward W. Porter <[EMAIL PROTECTED]> wrote: > > --(1) How are episodes represented in NARS? As "events" --- see http://nars.wang.googlepages.com/wang.roadmap.pdf , pages 7-8 > --(2) How are complex pattern and sets of patterns with many interrelated > elements represented in NARS? (I

Re: [agi] Do the inference rules of categorical logic make sense?

2007-10-08 Thread Charles D Hixson
Mike Tintner wrote: Vladimir: In experience-based learning there are two main problems relating to knowledge acquisition: you have to come up with hypotheses and you have to assess their plausibility. ...you create them based on various heuristics. How is this different from narrow AI? It see

Re: [agi] Do the inference rules of categorical logic make sense?

2007-10-08 Thread Pei Wang
Charles, The "computational complexity" or "resources expense" of NARS is another aspect on which this system is fundamentally different from existing systems. I understand that from the inference rules alone, people will think it is too expensive to be actually implemented, simply because there a