|
[[Repost because of rogue cancel by net vandal Gennady Kalmykov / Bloxy / jc]]
Archive-name: ai-faq/general/part1
Posting-Frequency: monthly
Last-Modified: 21-MAY-01 by Ric Crabbe
Version: 2.1
Maintainer: Ric Crabbe <crabbe@usna.edu> and Amit Dubey <adubey@netscape.net>
URL: http://www.faqs.org/faqs/ai-faq/general/part1/preamble.html
Size: 55548 bytes, 987 lines
;;; ****************************************************************
;;; Answers to Questions about Artificial Intelligence *************
;;; ****************************************************************
;;; Maintained by: Amit Dubey <adubey@netscape.net>
;;; Ric Crabbe <cardo@cs.ucla.edu>
;;; Written by Ric Crabbe, Amit Dubey, and Mark Kantrowitz
;;; ai_1.faq
If you think of questions that are appropriate for this FAQ, or would
like to improve an answer, please send email to the maintianers.
*** Copyright:
Some portions of this FAQ are Copyright (c) 1992-94 by Mark
Kantrowitz. The rest are Copyright (c) 1999,2000-01 by Ric Crabbe and Amit
Dubey
*** Disclaimer:
This article is provided as is without any express or implied
warranties. While every effort has been taken to ensure the
accuracy of the information contained in this article, the
author/maintainer/contributors assume(s) no responsibility for
errors or omissions, or for damages resulting from the use of
the information contained herein.
*** What's new?
;;; 21-MAY-01 rc Fixed a year's worth of reported errors.
;;; 01-NOV-00 ad Multi-agent mailing lists & web sites updated.
;;; 29-AUG-00 rc Bibliography and Resources Update.
;;; 29-APR-00 rc Grad-school question back in. Added Poplog
;;; CLIPS, and Weka URLs in section 6. 2 new definitions.
;;; 30-Mar-00 rc added CI's newsletter and job posting information.
;;; 28-Jan-00 ad Don't know very much about AI? See if the links in
;;; section [5-2] will help. Want conference information?
;;; See question [1-11]. There are resources for students
;;; in [1-9] and [5-5]. A number of general questions
;;; were added including one concerning open source
;;; software and AI [1-18], and one about statistical vs
;;; classical AI [1-9].
;;; 29-JAN-00 ad More in section 6 - IBM's Aglet workbench, PD
;;; Text-to-speech systems, new languages.
;;; 27-JAN-00 rc More web resources.
;;; 21-DEC-99 ad Updated data mining references.
;;; 13-DEC-99 rc Revamped parts 5-7. DELETED part 7.
*** Topics Covered:
Part 1:
[1-0] What is the purpose of this newsgroup?
[1-1] What is AI?
[1-2] What's the difference between strong AI and weak AI?
[1-3] I'm a programmer interested in AI. Where do I start?
[1-4] What's an agent?
[1-5] History of AI.
[1-6] What has AI accomplished?
[1-7] What are the branches of AI?
[1-8] What are good programming languages for AI?
[1-9] What's the difference between "classical" AI and "statistical" AI?
[1-10] Glossary of AI terms.
[1-11] I'm considering studying AI. What information is there for me?
[1-12] What are good graduate schools for AI?
[1-13] What are the ratings of the various AI journals?
[1-14] Where can I find conference information?
[1-15] How can I get the email address for Joe or Jill Researcher?
[1-16] What does it mean to say a game is 'solved'? Is tic-tac-toe
solved? How about X?
[1-17] What are the rules for the game of "Life"?
[1-18] What AI competitions exist?
[1-19] Open source software and AI.
[1-20] AI Job Postings
[1-21] Future Directions of AI
[1-22] Where are the FAQs for...neural nets? natural language?
artificial life? fuzzy logic? genetic algorithms?
philosophy? Lisp? Prolog? robotics?
Part 2 (AI-related News, Newsgroups and Mailing Lists):
- List of all known AI-related newsgroups, newsgroup archives, mailing
lists, and electronic bulletin board systems.
Part 3 (AI-related Associations and Journals):
- List of AI-related associations and journals, organized by subfield.
Part 4 (Bibliography):
- Bibliography of introductory texts, overviews and references
- Addresses and phone numbers for major AI publishers
- Finding conference proceedings
- Finding PhD dissertations
Part 5 (FTP and WWW Resources and Repositories):
- Information on Web resources and software repositories for AI.
- Information on Technical Papers in AI
- Web journals
- Part 5 concentrates mostly on documents and collections of links
to other AI resources
Part 6 (AI Open-Source Software by Sub-field)
- An A-Z (well A-T anyway) of Open source (or at least free)
software with relation to AI.
Search for [#] to get to question number # quickly.
*** Introduction:
Certain questions and topics come up frequently in the various network
discussion groups devoted to and related to Artificial Intelligence
(AI). This file/article is an attempt to gather these questions and
their answers into a convenient reference for AI researchers. It is
posted on a monthly basis. The hope is that this will cut down on the
user time and network bandwidth used to post, read and respond to the
same questions over and over, as well as providing education by
answering questions some readers may not even have thought to ask.
The latest version of this FAQ is available via anonymous FTP from
ftp://ftp.cs.ucla.edu/pub/AI/
as the files ai_[1-7].faq.
The FAQ postings are also archived in the periodic posting archive on
rtfm.mit.edu:/pub/usenet/news.answers/ai-faq/general/ [18.181.0.24]
If you do not have anonymous ftp access, you can access the archive by
mail server as well. Send an E-mail message to mail-server@rtfm.mit.edu
with "help" and "index" in the body on separate lines for more
information.
Subject: [1-0] What is the purpose of the newsgroup comp.ai?
Comp.ai is a moderated newsgroup whose topic is Artificial Intelligence.
It has existed since the early days of USENET (at least 10 years) and
has been a moderated newsgroup since 5th May 1999. An introduction for
new readers including the official charter, moderation policies and
posting guidelines may be found at <http://www.cs.mu.oz.au/~dnk/comp.ai>.
The current moderator is David Kinny, but the actual moderation is done
largely automatically by an intelligent :-) agent (the AI-mod-bot).
The group is meant for general discussion of AI topics (but not about
those for which specialized subgroups already exist), including:
o announcements of AI conferences, reports, books, products and jobs.
o questions and discussion about AI theory and practice, algorithms,
systems and applications, problems, history and future trends.
o distribution of AI source code (preferably indirectly by weblinks)
All contributions should be of potential interest to the general AI
community, and in English plain text without attachments. See part 2
of this FAQ for a list of other more specialized newsgroups and lists.
Every so often, somebody posts an inflammatory message, such as
Will computers every really think?
AI hasn't done anything worthwhile.
These "religious" issues serve no real purpose other than to waste
bandwidth. If you feel the urge to respond to such a post, please do
so through a private e-mail message, or post redirecting follow-ups to
comp.ai.philosophy. We suspect this will be less of a problem now
that the group is moderated.
We've tried to minimize the overlap with the FAQ postings to the
comp.lang.lisp, comp.lang.prolog, comp.ai.neural-nets, and
comp.ai.shells newsgroups, so if you don't find what you're looking
for here, we suggest you try the FAQs for those newsgroups. These FAQs
should be available by anonymous ftp in subdirectories of
ftp://rtfm.mit.edu/pub/usenet/
or by sending a mail message to mail-server@rtfm.mit.edu with subject
"help". http://www.faqs.org/ has a nice webified version.
Subject: [1-1] What is AI?
Artificial intelligence ("AI") can mean many things to many people.
Much confusion arises that the word 'intelligence' is ill-defined.
The phrase is so broad that people have found it useful to divide AI
into two classes: strong AI and weak AI.
Subject: [1-2] What's the difference between strong AI and weak AI?
Strong AI makes the bold claim that computers can be made to think on
a level (at least) equal to humans. Weak AI simply states that some
"thinking-like" features can be added to computers to make them more
useful tools... and this has already started to happen (witness expert
systems, drive-by-wire cars and speech recognition software). What
does 'think' and 'thinking-like' mean? That's a matter of much
debate.
Subject: [1-3] I'm a programmer interested in AI. Where do I start?
There's a list of introductory AI texts in the bibliography section
of the FAQ [4-0]. Also, check out the web links in section [5-2].
[1-3a] I'm writing a game that needs AI.
It depends what the game does. If it's a two-player board game,
look into the "Mini-max" search algorithm for games (see [4-1]). In
most commercial games, the AI is is a combination of high-level
scripts and low-level efficiently-coded, real-time, rule-based
systems. Often, commercial games tend to use finite state machines
for computer players. Recently, discrete Markov models have been used
to simulate unpredictible human players (the buzzword compliant name
being "fuzzy" finite state machines).
Subject: [1-4] What's an agent?
A very misused term. Today, an agent seems to mean a stand-alone
piece of AI-ish software that scours across the internet doing
something "intelligent." Russell and Norvig define it as "anything
that can can be viewed a perceiving its environment through sensors
and acting upon that environment through effectors." Several papers
I've read treat it as 'any program that operates on behalf of a
human,' similar to its use in the phrase 'travel agent'. Marvin
Minsky has yet another definition in the book "Society of Mind."
Minsky's hypothesis is that a large number of seemingly-mindless
agents can work together in a society to create an intelligent society
of mind. Minsky theorizes that not only will this be the basis of
computer intelligence, but it is also an explaination of how human
intelligence works. Andrew Moore at Carnegie Mellon University once
remarked that "The only proper use of the word 'agent' is when
preceded by the words 'travel', 'secret', or 'double'.
Subject: [1-5] History of AI.
For an online timeline of artificial intelligence milestones, see
ftp://ftp.cs.ucla.edu/AI/timeline.txt
The appendix to Ray Kurzweil's book "Intelligent Machines" (MIT Press,
1990, ISBN 0-262-11121-7, $39.95) gives a timeline of the history of AI.
Pamela McCorduck, "Machines Who Think", Freeman, San Francisco, CA, 1979.
Allen Newell, "Intellectual Issues in the History of Artificial
Intelligence", Technical Report CMU-CS-82-142, Carnegie Mellon
University Computer Science Department, October 28, 1982.
See also:
Charniak and McDermott's book "Introduction to Artificial Intelligence",
Addison-Wesley, 1985 contains a number of historical pointers.
Daniel Crevier, "AI: The Tumultuous History of the Search for
Artificial Intelligence", Basic Books, New York, 1993.
Henry C. Mishkoff, "Understanding Artificial Intelligence", 1st edition,
Howard W. Sams & Co., Indianapolis, IN, 1985, 258 pages,
ISBN 0-67227-021-8 $14.95.
Margaret A. Boden, "Artificial Intelligence and Natural Man", 2nd edition,
Basic Books, New York, 1987, 576 pages.
Subject: [1-6] What has AI accomplished?
Quite a bit, actually. In 'Computing machinery and intelligence.',
Alan Turing, one of the founders of computer science, made the claim
that by the year 2000, computers would be able to pass the Turing test
at a reasonably sophisticated level, in particular, that the average
interrogator would not be able to identify the computer correctly more
than 70 per cent of the time after a five minute conversation. AI
hasn't quite lived upto Turing's claims, but quite a bit of progress
has been made, including:
- Deployed speech dialog systems by firms like IBM, Dragon and Lernout&Hauspie
- Applications of expert systems/case-based reasoning: a computerized Lukemia
diagnosis system did a better job checking for blood disorders than human
experts!
- Machine translation for Environment Canada: software developed in the 1970s
translated natural language weather forcasts between English and French.
Purportedly stil in use.
- Deep Blue, the first computer to beat the human chess Grandmaster
- Fuzzy controllers in dishwashers, etc.
One persistent 'problem' is that as soon as an AI technique trully
succeeds, in the minds of many it ceases to be AI, becoming something
else entirely. For example, when Deep Blue defeated Kasparov, there
were many who said Deep Blue wasn't AI, since after all it was just a
brute force parallel minimax search (!)
ref:
Alan M. Turing. Computing machinery and intelligence. Mind,
LIX(236):433-460, October 1950. (http://www.abelard.org/turpap/turpap.htm)
Sheiber, S, "Lessons from a Restricted Turing Test". Communications of
the Association for Computing Machinery, volume 37, number 6, pages
70-78, 1994
Subject: [1-7] What are the branches of AI?
There are many, some are 'problems' and some are 'techniques'.
Automatic Programming - The task of describing what a program
should do and having the AI system 'write' the program.
Bayesian Networks - A technique of structuring and inferencing
with probabilistic information. (Part of the "machine learning"
problem).
Constraint Statisfaction - solving NP-complete problems, using a
variety of techniques.
Knowledge Engineering/Representation - turning what we know about
a particular domain into a form in which a computer can
understand it.
Machine Learning - Programs that learn from experience or data.
Natural Language Processing(NLP) - Processing and (perhaps)
understanding human ("natural") language. Also known as
computational linguistics.
Neural Networks(NN) - The study of programs that function in a
manner similar to how animal brains do.
Planning - given a set of actions, a goal state, and a present state,
decide which actions must be taken so that the present state
is turned into the goal state
Robotics - The intersection of AI and robotics, this field tries
to get (usually mobile) robots to act intelligently.
Speech Recogntion - Conversion of speech into text.
Search - The finding of a path from a start state to a goal
state. Similar to planning, yet different...
Visual Pattern Recognition - The ability to reproduce the
human sense of sight on a machine.
AI problems (speech recognition, NLP, vision, automatic programming,
knowledge representation, etc.) can be paired with techniques (NN,
search, Bayesian nets, production systems, etc.) to make distinctions
such as search-based NLP vs. NN NLP vs. Statistical/Probabilistic NLP.
Then you can combine techniques, such as using neural networks to
guide search. And you can combine problems, such as posing that
knowledge representation and language are equivalent. (Or you can
combine AI with problems from other domains.)
Subject: [1-8] What are good programming languages for AI?
This topic can be somewhat sensitive, so I'll probably tread on a few
toes, please forgive me. There is no authoritative answer for this
question, as it really depends on what languages you like programming
in. AI programs have been written in just about every language ever
created. The most common seem to be Lisp, Prolog, C/C++, and recently
Java.
LISP- For many years, AI was done as research in universities and
laboratories, thus fast prototyping was favored over fast execution.
This is one reason why AI has favored high-level langauges such as
Lisp. This tradition means that current AI Lisp programmers can draw
on many resources from the community. Features of the language that
are good for AI programming include: garbage collection, dynamic
typing, functions as data, uniform syntax, interactive environment,
and extensibility. Read Paul Graham's essay, "Beating the Averages"
for a discussion of some serious advantages:
http://www.paulgraham.com/avg.html
PROLOG- This language wins 'cool idea' competition. It wasn't until
the 70s that people began to realize that a set of logical statements
plus a general theorem prover could make up a program. Prolog
combines the high-level and traditional advantages of Lisp with a
built-in unifier, which is particularly useful in AI. Prolog seems to
be good for problems in which logic is intimately involved, or whose
solutions have a succinct logical characterization. Its major
drawback (IMHO) is that it's hard to learn.
C/C++- The speed demon of the bunch, C/C++ is mostly used when the
program is simple, and excecution speed is the most important.
Statistical AI techniques such as neural networks are common examples
of this. Backpropagation is only a couple of pages of C/C++ code, and
needs every ounce of speed that the programmer can muster.
Java- The newcomer, Java uses several ideas from Lisp, most notably
garbage collection. Its portability makes it desirable for just about
any application, and it has a decent set of built in types. Java is
still not as high-level as Lisp or Prolog, and not as fast as C,
making it best when portability is paramount.
Also see section [6-1] for implementations of new languages that might
be pertainant to AI practitioners and researchers.
(some of the above material is due to the comp.lang.prolog FAQ, and
Norvig's "Paradigms of Artificial Intelligence Programming: Case
Studies in Common Lisp")
Subject: [1-9] What's the difference between "classical" AI and
"statistical" AI?
Statistical AI, arising from machine learning, tends to be more
concerned with "inductive" thought: given a set of patterns, induce
the trend. Classical AI, on the other hand, is more concerned with
"deductive" thought: given a set of constraints, deduce a conclusion.
Another difference, as mentioned in the previous question, is that C++
tends to be a favourite language for statistical AI while LISP
dominates in classical AI.
A system can't be truely intelligent without displaying properties of both
inductive and deductive thought. This lends me to beleive that in the end,
there will be some kind of synthesis of statistical and classical AI.
Subject: [1-10] Glossary of AI terms.
This is the start of a simple glossary of short definitions for AI
terminology. The purpose is not to present the gorey details, but
give ageneral idea.
A*:
A search algorithm to find the shortest path through a search
space to a goal state using a heuristic. See 'search',
'problem space', 'Admissibility', and 'heuristic'.
Admissibility:
An admissible search algorithm is one that is guaranteed to
find an optimal path from the start node to a goal node, if
one exists. In A* search, an admissible heuristic is one that never
overestimates the distance remaining from the current node to
the goal.
Agent:
"Anything that can can be viewed a perceiving its environment
through sensors and acting upon that environment through
effectors." [Russel, Norvig 1995]
ai:
A three-toed sloth of genus Bradypus. This forest-dwelling
animal eats the leaves of the trumpet-tree and sounds a
high-pitched squeal when disturbed. (Based on the Random House
dictionary definition.)
Alpha-Beta Pruning:
A method of limiting search in the MiniMax algorithm. The
coolest thing you learn in an undergraduate course. If done
optimally, it reduces the branching factor from B to the
square root of B.
Animat Approach:
The design and study of simulated animals or adaptive real robots
inspired by animals. (From www-poleia.lip6.fr/ANIMATLAB - click on
"English page")
Backward Chaining:
In a logic system, reasoning from a query to the data. See
Forward chaining.
Belief Network (also Bayesian Network):
A mechanism for representing probabilistic knowledge.
Inference algorithms in belief networks use the structure of
the network to generate inferences effeciently (compared to
joint probability distributions over all the variables).
Breadth-first Search:
An uninformed search algorithm where the shallowest node in
the search tree is expanded first.
Case-based Reasoning:
Technique whereby "cases" similar to the current problem are
retrieved and their "solutions" modified to work on the current
problem.
Closed World Assumption:
The assumption that if a system has no knowledge about a
query, it is false.
Computational Linguistics:
The branch of AI that deals with understanding human language. Also
called natural language processing.
Data Mining:
Also known as Knowledge Discovery in Databases (KDD) was been defined
as "The nontrivial extraction of implicit, previously unknown, and
potentially useful information from data" in Frawley and
Piatetsky-Shapiro's overview. It uses machine learning, statistical
and visualization techniques to discover and present knowledge in a
form which is easily comprehensible to humans.
Depth-first Search:
An uninformed search algorithm, where the deepest non-terminal
node is expanded first.
Embodiment:
An approach to Artificial Intelligence that maintains that the
only way to create general intelligence is to use programs
with 'bodies' in the real world (i.e. robots). It is an
extreme form of Situatedness, first and most strongly put
forth by Rod Brooks at MIT.
Evaluation Function:
A function applied to a game state to generate a guess as to
who is winning. Used by Minimax when the game tree is too
large to be searched exhaustively.
Forward Chaining:
In a logic system, reasoning from facts to conclusions. See
Backward Chaining
Fuzzy Logic:
In Fuzzy Logic, truth values are real values in the closed
interval [0..1]. The definitions of the boolean operators are
extended to fit this continuous domain. By avoiding discrete
truth-values, Fuzzy Logic avoids some of the problems inherent in
either-or judgments and yields natural interpretations of utterances
like "very hot". Fuzzy Logic has applications in control theory.
Heuristic:
The dictionary defines it as a method that serves as an aid to
problem solving. It is sometimes defined as any 'rule of
thumb'. Technically, a heuristic is a function that takes a
state as input and outputs a value for that state- often as a
guess of how far away that state is from the goal state. See
also: Admissibility, Search.
Information Extraction:
Getting computer-understanable information from human-readable
(ie natural language) documents.
Iterative Deepening:
An uninformed search that combines good properties of
Depth-fisrt and Breadth-first search.
Iterative Deepening A*:
The ideas of iterative deepening applied to A*.
Language Acquisition:
A relatively new sub-branch of AI; traditionally computational
linguists tried to make computers understand human language by
giving the computer grammar rules. Language acquisition is a
technique for the computer to generate the grammar rules itself.
Machine Learning:
A field of AI concerned with programs that learn. It includes
Reinforcement Learning and Neural Networks among many other
fields.
MiniMax:
An algorithm for game playing in games with perfect
information. See alpha-beta pruning.
Modus Ponens:
An inference rule that says: if you know x and you know that
'If x is true then y is true' then you can conclude y.
Nonlinear Planning:
A planning paradigm which does not enforce a total (linear)
ordering on the components of a plan.
Natural Language (NL):
Evolved languages that humans use to communicate with one another.
Natural Language Queries:
Using human language to get information from a database.
Partial Order Planner:
A planner that only orders steps that need to be ordered, and
leaves unordered any steps that can be done in any order.
Planning:
A field of AI concerned with systems that constuct sequences
of actions to acheive goals in real-world-like environments.
Problem Space (also State Space):
The formulation of an AI problem into states and operators.
There is usually a start state and a goal state. The problem
space is searched to find a solution.
Search:
The finding of a path from a start state to a goal state. See
'Admissibility', 'Problem Space', and 'Heuristic'.
Situatedness:
The property of an AI program being located in an environment
that it senses. Via its actions, the program can select its
sensation input, as well as change its environment.
Situatedness is often considered necessary in the Animat
approach. Some researchers claim that situatedness is key to
understanding general intelligence. (see Embodiment)
Strong AI:
Claim that computers can be made to actually think, just like human
beings do. More precisely, the claim that there exists a class of
computer programs, such that any implementation of such a program is
really thinking.
Unification:
The process of finding a substitution (an assignment of
constants and variables to variables) that makes two logical
statements look the same.
Validation:
The process of confirming that one's model uses measureable inputs
and produces output that can be used to make decisions about the
real world.
Verification:
The process of confirming that an implemented model works as intended.
Weak AI:
Claim that computers are important tools in the modeling and
simulation of human activity.
Subject: [1-11] I'm a student considering further study AI. What information
is there for me?
Aaron Sloman was writen an essay addressing this question, aimed at people
who know little about it. Please see
http://www.cs.bham.ac.uk/~axs/misc/aiforschools.html
Subject: [1-12] What are best graduate schools for AI?
The short answer is: MIT, CMU, and Stanford are historically the
powerhouses of AI and still are the top 3 today.
There are however, hundreds of schools all over the world with at
least one or two active researchers doing interesting work in AI.
What is most important in graduate school is finding an advisor who is
doing something YOU are interested in. Read about what's going on in
the field and then identify the the people in the field that are doing
that research you find most interesting. If a professor and his
students are publishing frequently, then that should be a place to
consider.
Subject: [1-13] What are the ratings of the various AI journals?
ISI (Institute for Scientific Information not Information Sciences
Institute) produce an annual database called the Journal Impact
Factors. Check your library. Lee Giles has done a nice job of
extracting this information for some AI journals. See:
http://www.neci.nj.nec.com/homepages/giles/Citation.index/
For a more complete list of AI journals listed by area, see part 3 of
this FAQ.
Thanks to Bob Fisher and Dean Hougen for this answer.
Subject: [1-14] Where can I find conference information?
Georg Thimm maintains a webpage that lets you search for upcoming
or past conferences in a variety of AI disciplines. Check out:
http://www.drc.ntu.edu.sg/users/mgeorg/enter.epl
Subject: [1-15] How can I get the email address for Joe or Jill Researcher?
The AAAI membership directory is updated annually and contains
addresses, phone numbers, and email addresses for many members of AAAI
and other AI societies. Contact info@aaai.org for information on
getting a copy of the directory (you should get a free copy if you are
a member of one of the listed societies).
See also the Email Address FAQ posting to the newsgroups soc.college
and soc.net-people.
The Artificial Intelligence and Molecular Biology Researchers database
contains names, institutions, addresses, phone, fax, email,
research interests and other related information about more than 200
researchers worldwide. The database is available via anonymous ftp from the
ftp://lhc.nlm.nih.gov/pub/aimb-db/
There are computer- and human-readable versions available. Get the
README file for more information or send email to Larry Hunter,
<hunter@nlm.nih.gov>.
E-mail addresses for members of the Linguistics Society of America
(LSA) are available by anonymous ftp as
ftp://linguistics.archive.umich.edu/linguistics/
or by sending a message to listserv@tamvm1.tamu.edu with
"get lsa lst linguist" in the message body.
A list of "Who's Who in Fuzzy Logic" may be obtained by sending a
message to listserver@vexpert.dbai.tuwien.ac.at with
GET LISTSERVER WHOISWHOINFUZZY
in the message body. New entries and corrections should be sent to
Robert Fuller <rfuller@finabo.abo.fi>.
WHO's On-Line is a WWW biographical database of folks on the internet.
http://www.ictp.trieste.it/Canessa/ENTRIES/entries.html
For more information, contact E. Canessa <canessae@ictp.trieste.it>.
The Association for Logic Program (ALP) membership list was published
in the February 1994 issue of the newsletter (Volume 7/1). It will be
made available by anonymous ftp from Imperial College in October 1994.
Subject: [1-16] What does it mean to say a 2-player game is 'solved'?
Is tic-tac-toe solved? How about game z?
We say a game is solved when we know for sure the result when both
players play optimally. The result is either a guaranteed win for the
first player, a guaranteed win for the second player, or a draw. We
find this out by searching the mini-max game tree to the game ending
positions. If you do this for 3x3 tic-tac-toe, it is easy to see that it
is a forced draw.
other games:
3x3x3 tic-tac-toe: win for the first player.
4x4x4 tic-tac-toe: win for the first player.
Connect-4: win for the first player.
Go-Moku: win for the first player.
[Maintainer's note: Please let us know about your favorite solved
game.]
Subject: [1-17] What are the rules for the game of "Life"?
Cellular Automata, of which Life is an example, were suggested by
Stanislaw Ulam in the 1940s, and first formalized by von Neumann.
Conway's "Game of Life" was popularized in Martin Gardner's
mathematical games column in the October 1970 and February 1971 issues
of Scientific American. (Shorter notes on life are alse given in the
column in each month from October 1970 to April 1971, and well as
November 1971, January 1972, and December 1972.) There's also quite a
bit on the game in "The Recursive Universe", by William Poundstone,
Oxford University Press, 1987, 252 pages.
The rules for the game of life are quite simple. The game board is a
rectangular cell array, with each cell either empty or filled. At each
tick of the clock, we generate the next generation by the following rules:
if a cell is empty, fill it if 3 of its neighbors are filled
(otherwise leave it empty)
if a cell is filled, it
dies of loneliness if it has 1 or fewer neighbors
continues to live if it has 2 or 3 neighbors
dies of overcrowding if it has more than 3 neighbors
Neighbors include the cells on the diagonals. Some implementations use
a torus-based array (edges joined top-to-bottom and left-to-right) for
computing neighbors.
For example, a row of 3 filled cells will become a column of 3 filled
cells in the next generation. The R pentomino is an interesting
pattern:
xx
xx
x
Try it with other patterns of 5 cells initially occupied. If you
record the ages of cells, and map the ages to colors, you can get a
variety of beautiful images.
When implementing Life, be sure to maintain separate arrays for the
old and new generation. Updating the array in place will not work
correctly. Another optimization to to maintain a list of the cells
that changed.
Conway has demonstrated that it is possible to construct the basic
building blocks of a computer from Life using modified glider guns.
See the last chapter of
Elwyn R. Berlekamp, John H. Conway, and Richard K. Guy, "Winning
Ways", Academic Press, New York, 1982, ISBN 0-120911-507.
for details.
Some interesting patterns to use include:
*
* * ** * *
** * ** * * * *
** *** * * ****
* **** *** *** * *
* ** *
Clock Glider Block Spaceship * * *
* ****
*
Traffic Light Cheshire Cat
Subject: [1-18] What AI competitions exist?
The Loebner Prize, based on a fund of over $100,000 established by New
York businessman Hugh G. Loebner, is awarded annually for the computer
program that best emulates natural human behavior. During the
contest, a panel of independent judges attempts to determine whether
the responses on a computer terminal are being produced by a computer
or a person, along the lines of the Turing Test. The designers of the
best program each year win a cash award and a medal. If a program
passes the test in all its particulars, then the entire fund will be
paid to the program's designer and the fund abolished. For further
information about the Loebner Prize, see the URL
http://www.loebner.net/Prizef/loebner-prize.html
or write to Cambridge Center for Behavioral Studies, 11
Waterhouse Street, Cambridge, MA 02138, or call 617-491-9020.
Also look at:
http://www.eecs.harvard.edu/~shieber/papers/loebner-rev-html/loebner-rev-html.html
for a published criticism of the Loebner.
The Robot World Cup Initiative (RoboCup) is an attempt to foster AI
and intelligent robotics research by providing a standard problem
where wide range of technologies can be integrated and examined. For
this purpose, RoboCup chose to use soccer game, and organize RoboCup:
The Robot World Cup Soccer Games and Conferences. In order for a robot
team to actually performa soccer game, various technologies must be
incorporated including: design principles of autonomous agents,
multi-agent collaboration, strategy acquisition, real-time reasoning,
robotics, and sensor-fusion. RoboCup is a task for a team of multiple
fast-moving robots under a dynamic environment. RoboCup also offers a
software platform for research on the software aspects of RoboCup.
Information can be found at: http://www.robocup.org/02.html
The BEAM Robot Olympics is a robot exhibition/competition started in
1991. For more information about the competition, write to BEAM Robot
Olympics, c/o: Mark W. Tilden, MFCF, University of Waterloo, Ontario,
Canada, N2L-3G1, 519-885-1211 x2454, mwtilden@watmath.uwaterloo.ca.
The Gordon Bell Prize competition recognizes outstanding achievements
in the application of parallel processing to practical scientific and
engineering problems. Entries are considered in performance,
price/performance, compiler parallelization and speedup categories,
and a total of $3,000 will be awarded. The prizes are sponsored by
Gordon Bell, a former National Science Foundation division director
who is now an independent consultant. Contestants should send a
three- or four-page executive summary to 1993 Gordon Bell Prize,
c/o Marilyn Potes, IEEE Computer Society, 10662 Los Vaqueros Cir.,
PO Box 3014, Los Alamitos, CA 90720-1264, before May 31, 1993.
AAAI has an annual robot building competition. The anonymous FTP site
for the contest is/was
aeneas.mit.edu:/pub/ACS/6.270/AAAI/
This site has the manual and the rules. To be added to the
rbl-94@ai.mit.edu mailing list for discussing the AAAI robot building
contest, send mail to rbl-94-request@ai.mit.edu. See also the 6.270
robot building guide in part 4 of this FAQ.
CASC theorem prover competition is held annually at the CADE
conference. First-order logic theorem prover compete for recognition
and plaques. The web page for this years contest (1999) is found at:
http://www.cs.jcu.edu.au/~tptp/CASC-16/
The International Computer Chess Association presents an annual prize
for the best computer-generated annotation of a chess game. The output
should be reminiscent of that appearing in newspaper chess columns,
and will be judged on both the correctness and depth of the variations
and also on the quality of the program's written output. The deadline
is December 31, 1994. For more information, write to Tony Marsland
<tony@cs.ualberta.ca>, ICCA President, Computing Science Department,
University of Alberta, Edmonton, Canada T6G 2H1, call 403-492-3971, or
fax 403-492-1071.
Subject: [1-19] Open Source Software and AI
Some of the more interesting AI programs end up getting released to the
Web, usually with liscence granting redistrubition for non-commercial
purposes, or, increasingly, under the GNU Public License. See Part 6 of the
FAQ for more information.
Subject: [1-20] AI Job Postings
Computists International publishes a list of AI related jobs, which is
also posted periodically to comp.ai at the request of the moderator.
Computists International also publishes a set of informative newsletters
that may be subscribed to at http://www.computists.com with membership.
Student fees are (as of 3/30/00) $22.50 and professional fees are $47.50.
For neural networks, the Neuron Digest and Connectionists mailing
lists are a good source of job postings. For computer vision, the
VISION-LIST digest includes occasional job announcements. A good
source for general AI is Computists' Communique. For postdoctoral
appointments, see sci.research.postdocs.
Subject: [1-21] Future Directions of AI
The purpose of this question is to compile a list of major ongoing and
future thrusts of AI. To be included in this list a research problem
or application must have the following characteristics:
[1] Collaborative Community Effort: It must span several subfields
of AI, requiring some degree of collaboration between AI
researchers of different specialties. The idea is to help
unify the fragmented subfields with a common purpose or
purposes.
[2] High Impact: It must address important problems of widespread interest.
Solving the problem must matter to many people and not simply
be adding another grain of sand on the anthill. This will help
motivate and excite researchers, and justify the field to outsiders.
[3] Short Horizon for Progress: It must be possible to have incremental
progress and not be an all or nothing problem. For example,
problems where we can reasonably expect to make significant
measurable progress over the next 10 years or so.
[4] Drive Basic Research: It should involve more than just
applying current technology, but should drive basic research
and the development of new technology (possibly in completely
new directions).
In short, these problems should be "Grand Challenges" for AI. If you
were trying to describe the field of AI to a layman, what concrete
problems would you use to illustrate the overall vision of the field?
Saying that the goal of AI is to produce "thinking machines that solve
problems" doesn't quite cut it.
o Knowbots/Infobots, Web Agents and Intelligent Help Desks
Unified NLU, NLG, Information Retrieval, KR, Reasoning,
Intelligent User Interfaces, Qualitative Reasoning.
o Autonomous Vehicles
Unified Robotics, Machine Vision, Machine Learning,
Intelligent Control, Planning
o Machine Translation
Unified NLU, NLG, Knowledge Representation, Speech Understanding,
Speech Synthesis
It seems appropriate to mention, in this context, some of the early
goals of AI. In 1958 Newell and Simon predicted that computers would
-- by 1970 -- be capable of composing classical music, discovering
important new mathematical theorems, playing chess at grandmaster
level, and understanding and translating spoken language. Although
these predictions were overly optimistic, they did represent a set of
focused goals for the field of AI. [See H. A. Simon and A. Newell,
"Heuristic Problem Solving: The Next Advance in Operations Research",
Operation Research, pages 1-10, January-February 1958.]
Subject: [1-22] Where are the FAQs for...neural nets? natural
language? artificial life? fuzzy logic? genetic algorithms?
philosophy? Lisp? Prolog? robotics?
The FAQs for various related AI fields can be found:
( this list is obviously incomplete)
comp.ai.neural-nets: ftp://ftp.sas.com/pub/neural/FAQ.html
comp.ai.nat-lang: http://www.cs.columbia.edu/~acl/nlpfaq.txt
comp.ai.alife: ?
comp.ai.fuzzy: ?
comp.ai.genetic: ftp://rtfm.mit.edu/pub/usenet/comp.ai.genetic/
comp.ai.philosophy: ?
comp.lang.lisp: ftp://ftp.think.com/public/think/lisp/
In general, http://www.faqs.org/ is a good place to check for the
latest FAQs in most areas.
---
[ comp.ai is moderated. To submit, just post and be patient, or if ]
[ that fails mail your article to <comp-ai@moderators.isc.org>, and ]
[ ask your news administrator to fix the problems with your system. ]
|
english essay writer https://essaywritingservicehelp.com unique college essay https://englishessayhelp.com