Here is an example of a problematic inference:
1. Mary has cybersex with many different partners
2. Cybersex is a kind of sex
3. Therefore, Mary has many sex partners
4. Having many sex partners - high chance of getting STDs
5. Therefore, Mary has a high chance of STDs
What's wrong with
On Mon, Jul 28, 2008 at 10:04 AM, YKY (Yan King Yin)
[EMAIL PROTECTED] wrote:
Here is an example of a problematic inference:
1. Mary has cybersex with many different partners
2. Cybersex is a kind of sex
3. Therefore, Mary has many sex partners
4. Having many sex partners - high chance
The eternal flaw in all this, it seems to me, is that you are still doing
logic which assumes that agents know what the premises refer to, and those
premises can be taken for granted.
Real world thinking, which is vastly more important and extensive than the
logical variety, is interested in
I didn't emphasize the first flaw in logic, (which is more relevant to your
question, and why such questions will keep recurring and can never be
*methodologically* sorted out) - the assumption that we know what the terms
*refer to*. Example:
Mary says Clinton had sex with her.
Clinton says
On 7/28/08, Pei Wang [EMAIL PROTECTED] wrote:
Every rule is general to a degree, which means it ignores
exception. It is simply impossible to list all exceptions for any
given rule. This issue has been discussed by many people in the
non-monotonic logic community.
The solution is not to
Your inference trajectory assumes that cybersex and STD are
probabilistically independent within sex but this is not the case.
PLN would make this error using the independence-assumption-based term logic
deduction rule; but in practice this rule is supposed to be overridden in
cases of known
On 7/28/08, Mike Tintner [EMAIL PROTECTED] wrote:
Mary says Clinton had sex with her.
Clinton says he wouldn't call that sex.
LOL...
But your examples are still symbolic in nature. I don't see why they
can't be reasoned via logic.
In the above example the concept sex may be a fuzzy concept.
Mike said:
I didn't emphasize the first flaw in logic, (which is more relevant to
your question, and why such questions will keep recurring and can
never be *methodologically* sorted out) - the assumption that we know
what the terms *refer to*. Example:
Mary says Clinton had sex with her.
Clinton
It is an application of the rule error. One of my main arguments is
that while weighted reasoning systems (such as fuzzy logic) could be
shaped to accommodate this kind of rule error (by finding the
additional information that is needed to resolve it), I believe it is
more insightful to recognize
Exclusively searching KB for all possible derivations on a given
statement will lead to combinatorial explosion. What NARS does is to
resolve conflicts whenever they are encountered by the system. That
is, the system looks for better (more confident) conclusions until
spent all the time allocated
On Mon, Jul 28, 2008 at 10:58 AM, Ben Goertzel [EMAIL PROTECTED] wrote:
Your inference trajectory assumes that cybersex and STD are
probabilistically independent within sex but this is not the case.
PLN would make this error using the independence-assumption-based term logic
deduction rule;
On 7/28/08, Ben Goertzel [EMAIL PROTECTED] wrote:
Your inference trajectory assumes that cybersex and STD are
probabilistically independent within sex but this is not the case.
We only know that:
P(sex | cybersex) = high
P(STD | sex) = high
If we're also given that
P(STD | cybersex)
On Mon, Jul 28, 2008 at 11:10 AM, YKY (Yan King Yin)
[EMAIL PROTECTED] wrote:
On 7/28/08, Ben Goertzel [EMAIL PROTECTED] wrote:
Your inference trajectory assumes that cybersex and STD are
probabilistically independent within sex but this is not the case.
We only know that:
P(sex |
On 7/28/08, Ben Goertzel [EMAIL PROTECTED] wrote:
PLN uses confidence values within its truth values, with a different
underlying semantics and math than NARS; but that doesn't help much with the
above problem...
There is a confidence-penalty used in PLN whenever an independence assumption
On Monday 28 July 2008 07:04:01 am YKY (Yan King Yin) wrote:
Here is an example of a problematic inference:
1. Mary has cybersex with many different partners
2. Cybersex is a kind of sex
3. Therefore, Mary has many sex partners
4. Having many sex partners - high chance of getting STDs
On Mon, Jul 28, 2008 at 12:14 PM, YKY (Yan King Yin)
[EMAIL PROTECTED] wrote:
On 7/28/08, Ben Goertzel [EMAIL PROTECTED] wrote:
PLN uses confidence values within its truth values, with a different
underlying semantics and math than NARS; but that doesn't help much with the
above
On 7/28/08, Pei Wang [EMAIL PROTECTED] wrote:
A new version of NARS (Open-NARS 1.1.0)...
I'm writing a paper on a probabilistic-fuzzy logic that is suitable
for AGI. It uses some of your ideas. I will put it on the net when
it's finished...
YKY
---
YKY/MT
Mary says Clinton had sex with her.
Clinton says he wouldn't call that sex.
LOL...
But your examples are still symbolic in nature. I don't see why they
can't be reasoned via logic.
In the above example the concept sex may be a fuzzy concept. So
certain forms of sex may be construed
On 7/29/08, Charles Hixson [EMAIL PROTECTED] wrote:
There's nothing wrong with the logical argument. What's wrong is that you
are presuming a purely declarative logic approach can work...which it can in
extremely simple situations, where you can specify all necessary facts.
My belief about
On 7/29/08, Mike Tintner [EMAIL PROTECTED] wrote:
Why isn't science done via logic? Why don't physicists, chemists,
biologists, psychologists and sociologists just use logic to find out about
the world? Do you see why?And bear in mind that scientists are only formal
representatives of every
On Monday 28 July 2008 09:30:08 am YKY (Yan King Yin) wrote:
On 7/29/08, Charles Hixson [EMAIL PROTECTED] wrote:
There's nothing wrong with the logical argument. What's wrong is that
you are presuming a purely declarative logic approach can work...which it
can in extremely simple
On Monday 28 July 2008 07:04:01 am YKY (Yan King Yin) wrote:
Here is an example of a problematic inference:
1. Mary has cybersex with many different partners
2. Cybersex is a kind of sex
3. Therefore, Mary has many sex partners
4. Having many sex partners - high chance of getting STDs
Pei:
Charles Hixson wrote:
There's nothing wrong with the logical argument. What's wrong is that
you
are presuming a purely declarative logic approach can work...which it can
in
extremely simple situations, where you can specify all necessary facts.
My belief about this is that the proper
On 7/29/08, Charles Hixson [EMAIL PROTECTED] wrote:
This is true, but the logic statements of the model are rather different
than simple assertions, much more like complex statements specifying
proportional relationships and causal links. I envision the causal links
as being at statements
YKY,
There's nothing wrong with the logical argument. What's wrong is that
you
are presuming a purely declarative logic approach can work...which it can
in
extremely simple situations, where you can specify all necessary facts.
My belief about this is that the proper solution is to
On 7/29/08, Mike Tintner [EMAIL PROTECTED] wrote:
YKY: The key word here is model. If you can reason with mental models,
then of course you can resolve a lot of paradoxes in logic. This
boils down to: how can you represent mental models? And they seem to
boil down further to logical
Charles:Sensory data would be more
significant, but there's considerable evidence that even sensory data has a
hard time in overruling a strong model belief.
That's a really good point. Both individuals' and social groups' willingness
to change their models in the light of the evidence, has a
All,
Here's a question for you:
What does fomlepung mean?
If your immediate (mental) response was I don't know. it means you're not a
slang-slinging Norwegian. But, how did your brain produce that feeling of not
knowing? And, how did it produce that feeling so fast?
Your brain may
On Mon, Jul 28, 2008 at 2:58 PM, Brad Paulsen [EMAIL PROTECTED] wrote:
All,
What does fomlepung mean?
If your immediate (mental) response was I don't know. it means you're not
a slang-slinging Norwegian. But, how did your brain produce that feeling
of not knowing? And, how did it
It seems like you have some valid points, but I cannot help but point
out a problem with your question. It seems like any system for pattern
recognition and/or prediction will have a sensible I Don't Know
state. An algorithm in a published paper might suppress this in an
attempt to give as
I think I decided pretty quickly that I don't know any words starting
with foml.
I don't know if this is a clue
On 7/28/08, Abram Demski [EMAIL PROTECTED] wrote:
It seems like you have some valid points, but I cannot help but point
out a problem with your question. It seems like any system for
In fact, had you asked me right away, I'd have said I don't know any
words starting with fom. But on some reflection I was able to think
of foment.
Certainly there's some kind of habituation/reflex involved here, where
a word falls off in familiarity as you sound it out. I don't know
about other
You will probably never encounter the fomlepung question again, so the fact
that you
don't know what it means will become less and less important and eventually it
will drop
off the end of the list.
Does it email you when this occurs?
xD
On 7/28/08, Eric Burton [EMAIL PROTECTED] wrote:
In
Jim Bromer wrote:
On Mon, Jul 28, 2008 at 2:58 PM, Brad Paulsen [EMAIL PROTECTED] wrote:
All,
What does fomlepung mean?
If your immediate (mental) response was I don't know. it means you're not
a slang-slinging Norwegian. But, how did your brain produce that feeling
of not knowing? And,
Brad Paulsen wrote:
All,
Here's a question for you:
What does fomlepung mean?
If your immediate (mental) response was I don't know. it means you're
not a slang-slinging Norwegian. But, how did your brain produce that
feeling of not knowing? And, how did it produce that feeling so
It is fairly simple at that point, we have enough context to have a very
limited domain
world series - baseball
1924
answer is a team,
so we can do a lookup in our database easily enough, or realize that we really
dont have a lot of information about baseball in our mindset.
And for the other
I see the failure in this argument at step 2. Cybersex is a kind of erotic
interaction. Erotic interactions are often called sex in general
conversation, even though there are many kinds of erotic interactions that
don't result in the transmission of STDs, that can't lead to children, that
don't
Well, I can put the components of who won the 1924 world series and
determine that I don't know the answer (unless it was the Yankees
since I think Babe Ruth might have done something significant in
1924). However, the fact that I was able to interpret the sentence
without seeming to search for
38 matches
Mail list logo