Randall R Schulz <rrschulz at cris.com> wrote in message news:<1hSra.10088$JX2.617161 at typhoon.sonic.net>...
> It's not new. Extensive research has already been done on so-called
> "qualitative reasoning." This includes diagrammatic and analogic
> reasoning, e.g.
Thanks for the references. Actually, I'm not looking for any logic
system, just saying that logic used in most real-world reasoning
needs to incorporate probability. I think different logic(s) will be
needed for different types of questions. I would favor just a few
simple probability calculations in a first-step reasoner, though it
might run out of applications pretty fast.
Agree it's nothing new.
Larry
>My library includes this title:
>>"Diagrammatic Reasoning; Cognitive and Computational Perspectives"
>Ed. Janice Glasgow, N. Hari Narayanan, B. CHandrasekaran
>Pub. AAAI Press / The MIT Press
>ISBN 0-262-57112-9
>>>I also know of the "Qualitative Reasoning Group" at Northwestern
>(<http://www.qrg.northwestern.edu/>).
>>Though I'm unaware of specifics, there's much more going on. Just search
>the Web for "Qualitative Reasoning" or other related topic phrases.
>>Randall Schulz
> My library includes this title:
>> "Diagrammatic Reasoning; Cognitive and Computational Perspectives"
> Ed. Janice Glasgow, N. Hari Narayanan, B. CHandrasekaran
> Pub. AAAI Press / The MIT Press
> ISBN 0-262-57112-9
>>> I also know of the "Qualitative Reasoning Group" at Northwestern
> (<http://www.qrg.northwestern.edu/>).
>> Though I'm unaware of specifics, there's much more going on. Just search
> the Web for "Qualitative Reasoning" or other related topic phrases.
>> Randall Schulz
>>> Acme Debugging wrote:
> > uj797 at victoria.tc.ca (Arthur T. Murray) wrote in message
> > news:<3eac29d7 at news.victoria.tc.ca>...
> >
> >> http://www.scn.org/~mentifex/ai4udex.html#reasoning in the
> >>
> >> AI4U textbook of artificial intelligence (q.v.) distinguishes
> >>
> >> between imagistic and syllogistic reasoning.
> >
> >
> > Seems like a worthy (introductory?) book on AI. I am unfamiliar with
> > imagistic reasoning. Is this analogous to the logic of music, or the
> > "logical" interpretation thereof?
> >
> > I saw nothing on the integration of logic and probability which is a
> > necessary condition to the first-step AI reasoner as defined in this
> > thread.
> >
> > Thanks,
> >
> > Larry
