| Version 10 |
Version 9 |
| \emph{Artificial intelligence} aims to mimic the `operation' of the human mind using sequential machines, automata, robots, or computers. Indeed there are two different claims on how far AI can go in exhibiting human behaviors, and especially in emulating the actions of the human mind: |
\emph{Artificial intelligence} aims to mimic the `operation' of the human mind using sequential machines, automata, robots, or computers. Indeed there are two different claims on how far AI can go in exhibiting human behaviors, and especially in emulating the actions of the human mind: |
|
|
| \begin{itemize} |
\begin{itemize} |
| \item Strong AI thesis, or |
\item Strong AI thesis, or |
| \PMlinkexternal{`general intelligence'}{http://en.wikipedia.org/wiki/Artificial_intelligence}, |
\PMlinkexternal{`general intelligence'}{http://en.wikipedia.org/wiki/Artificial_intelligence}, |
| is a very long term aim of AI research in Computer Science that might not be achievable |
is a very long term aim of AI research in Computer Science that might not be achievable |
| within the bounds of Boolean logic if it does aim to match human intelligence that often operates |
within the bounds of Boolean logic if it does aim to match human intelligence that often operates |
| beyond chrysippian, formal or even symbolic two-value logic, and indeed as it remains currently undefined (or undefinable ?) in terms of either Boolean or symbolic, two-value logic. \\ |
beyond chrysippian, formal or even symbolic two-value logic, and indeed as it remains currently undefined (or undefinable ?) in terms of either Boolean or symbolic, two-value logic. \\ |
| \bigbreak |
\bigbreak |
|
|
| \item Weak AI thesis: |
\item Weak AI thesis: |
|
|
| \begin{enumerate} |
\begin{enumerate} |
| \item Knowledge-based AI |
\item Knowledge-based AI |
|
|
| \item Symbolic computation AI |
\item Symbolic computation AI |
|
|
| \item Sub-symbolic AI |
\item Sub-symbolic AI |
|
|
| \item Computational `Intelligence' and `Neural' Networks or Nets |
\item Computational `Intelligence' and `Neural' Networks or Nets |
|
|
| \end{enumerate} |
\end{enumerate} |
|
|
| \end{itemize} |
\end{itemize} |
|
|
| {\bf Remarks:} |
{\bf Remarks:} |
| \begin{enumerate} |
\begin{enumerate} |
| \item A \PMlinkexternal{Super-complex Computer System Architecture}{http://etd.library.pitt.edu/ETD/available/etd-03102008-120235/unrestricted/ColinIhrig-ms-3-18-08.pdf} may give one the illusion of `strong AI' in spite of its |
\item A \PMlinkexternal{Super-complex Computer System Architecture}{http://etd.library.pitt.edu/ETD/available/etd-03102008-120235/unrestricted/ColinIhrig-ms-3-18-08.pdf} may give one the illusion of `strong AI' in spite of its |
| Boolean logic limitations, as there are no stringent tests capable of correctly `measuring' intelligence either in humans or in computers. Until a satisfactory definition of `human intelligence' is arrived at, it will not |
Boolean logic limitations, as there are no stringent tests capable of correctly `measuring' intelligence either in humans or in computers. Until a satisfactory definition of `human intelligence' is arrived at, it will not |
| be possible to design acceptable means or tests to `measure' such intelligence, and therefore one could not establish |
be possible to design acceptable means or tests to `measure' such intelligence, and therefore one could not establish |
| if the `strong AI' thesis is valid or not. It may be indeed remain an undecidable issue on a chrysippian logic basis. |
if the `strong AI' thesis is valid or not. It may be indeed remain an undecidable issue on a chrysippian logic basis. |
|
|
| \item An universal Turing machine ({\em $AUTM$}) was shown to be able to simulate any other sequential machine, automaton, robot, or computer by employing steps that humans do not consider to require `intelligence', i.e., |
\item An universal Turing machine ({\em $AUTM$}) was shown to be able to simulate any other sequential machine, automaton, robot, or computer by employing steps that humans do not consider to require `intelligence', i.e., |
| human intelligence. |
human intelligence. |
|
|
| \end{enumerate} |
\end{enumerate} |
|
|
