Xref: utzoo comp.ai:3034 talk.philosophy.misc:1800
Path: utzoo!attcan!uunet!lll-winken!ames!oliveb!pyramid!prls!philabs!linus!mbunix!bwk
From: bwk@mbunix.mitre.org (Barry W. Kort)
Newsgroups: comp.ai,talk.philosophy.misc
Subject: Re: Artificial Intelligence and Intelligence
Summary: How do I know thee?  Let me count the ways.
Keywords: Reasoning Methods, Truth Detection Algorithms
Message-ID: <43470@linus.UUCP>
Date: 8 Jan 89 13:38:58 GMT
References: <552@soleil.UUCP> <687@htsa.uucp>
Sender: news@linus.UUCP
Reply-To: bwk@mbunix (Barry Kort)
Organization: IdeaSync, Inc., Chronos, VT
Lines: 36

In article <687@htsa.uucp> fransvo@htsa.UUCP (Frans van Otten) writes
proposes a definition of intelligence:

 >  ***  Intelligence: The ability to draw a conclusion.
 >
 >  ***  Needed:        A database and an algorithm to reach a conclusion
 >                      based on the data.
 >
 >  ***  Improvements:  The ability to change the database.
 >		        The conclusion-algorithm being part of the database,
 >		        so that the system can add/change algorithms.
 >
 > I would like to know how other people think about my definition.

I would suggest amending the first part to read "The ability to
efficiently draw provably valid conclusions."  This change suggests
criteria for the improvements sought in the third part of your
definition.  Children (and adults) can easily draw invalid conclusions,
but I'm not sure I want to label such behavior as highly intelligent.

I am interested in the names of the distinct methods (algorithms) for
efficiently drawing provably valid conclusions.  So far, I have come
up with:

	Adductive reasoning
	Deductive reasoning
	Inductive reasoning
	Inferential reasoning
	Model-based reasoning
	Combinatorial logic
	Intuitionist logic

I would appreciate some discussion aimed at completing the list of
known reasoning methods, together with their definitions.

--Barry Kort