Re: [agi] two types of semantics [Was: NARS and probability]

2008-10-12 Thread Ben Goertzel
Thanks Pei, I would add (for others, obviously you know this stuff) that there are many different theoretical justifications of probability theory, hence that the use of probability theory does not imply model-theoretic semantics nor any other particular approach to semantics. My own philosophy

Re: [agi] two types of semantics [Was: NARS and probability]

2008-10-12 Thread Pei Wang
Ben, Of course, probability theory, in its mathematical form, is not bounded to any semantics at all, though it implicitly exclude some possibilities. A semantic theory is associated to it when probability theory is applied to a practical situation. There are several major schools in the

Re: [agi] two types of semantics [Was: NARS and probability]

2008-10-12 Thread Abram Demski
Pei, In this context, how do you justify the use of 'k'? It seems like, by introducing 'k', you add a reliance on the truth of the future after k observations into the semantics. Since the induction/abduction formula is dependent on 'k', the truth values that result no longer only summarize

Re: [agi] two types of semantics [Was: NARS and probability]

2008-10-12 Thread Ben Goertzel
On the other hand, in PLN's indefinite probabilities there is a parameter k which plays a similar mathematical role, yet **is** explicitly interpreted as being about a number of hypothetical future observations ... Clearly the interplay btw algebra and interpretation is one of the things that

Re: [agi] two types of semantics [Was: NARS and probability]

2008-10-12 Thread Pei Wang
True. Similar parameters can be found in the work of Carnap and Walley, with different interpretations. Pei On Sun, Oct 12, 2008 at 2:11 PM, Ben Goertzel [EMAIL PROTECTED] wrote: On the other hand, in PLN's indefinite probabilities there is a parameter k which plays a similar mathematical

Re: [agi] two types of semantics [Was: NARS and probability]

2008-10-12 Thread Abram Demski
Pei, You are right, it doesn't make any such assumptions while Bayesian practice does. But, the parameter 'k' still fixes the length of time into the future that we are interested in predicting, right? So it seems to me that the truth value must be predictive, if its calculation depends on what

Re: [agi] two types of semantics [Was: NARS and probability]

2008-10-12 Thread Pei Wang
On Sun, Oct 12, 2008 at 3:06 PM, Abram Demski [EMAIL PROTECTED] wrote: Pei, You are right, it doesn't make any such assumptions while Bayesian practice does. But, the parameter 'k' still fixes the length of time into the future that we are interested in predicting, right? So it seems to me