• CYC - Human common sense knowledge base
PDKB Public Domain Knowledge Bank
CYC® Ontology Guide: Table of Contents A good place to start
An Assessment of Cyc for Natural Language Processing (1996) pdf file, anything more recent?
Cyc A Mid-Term Report by Douglas B. Lenat (1994)
A report on Cyc by a skeptic
The Unofficial, Unauthorized CYC FAQ by David Whitten
The Unofficial FoxPro hack of the Upper Level CYC ontology By Seth
• KIF - Knowledge Interchange Format developed at Stanford
Knowledge Interchange Format (KIF)
Repositories of Highly Expressive Reusable Knowledge Paper re KIF and DARPA
The Knowledge Systems Lab at Stanford (KSL)
KSL Interactive Ontology Server
• KQLM - Knowledge Query and Manipulation Language
• ACL - Agent Communication Language
• OKBC - Open Knowledge Base Connectivity
• SVO - All knowledge can be respesented by labeled directed graphs  where each subject node has many arrows each lebeled with a verb pointing at objects .
•  SKC - Scalable Knowledge Composition
• LOOM - A language and environment for constructing intelligent applications
• Ariadne -
• HPKB - Participants in the High Performance Knowledge Base
• Protégé -
allows developers to build knowledge-based systems by selecting and modifying reusable problem-solving methods and ontologies. Protégé is a suite of tools that generates domain-specific knowledge-acquisition tools and applications from ontologies.

Research Labs

MIT Ai Lab

Projects

 http://www.ontology.org Standardizing vocabularies through XML
Interactive online CL Demos Demos of Linguistic programs etc ...
Semantic Web vision paper I share this vision!!  How can we make it happen now ??
We answer every question FREE Just opened ... try it you may like it !!!!!!
Ask a question and receive an answer on the Web NOT-FREE   ... and not open ...
A mock up of how to start an AI transaction (my project).
Anyone care to help ??  email sethruss@clickshop.com

Interesting human interfaces to knowledge

An Atlas of Cyberspaces new ways to visualize information
The brain: a information system that works the way you think
 Plumbdesign interesting way to look at word net
AI Core interesting user interface to info

 Server side search engines - find a needle in a heystack

Search Engine Watch
How To Use Web Search Engines
Wise Search Engine FAQ
Needle in a CyberStack - the InfoFinder
Meta Spy Spy on what's being searched for right now at MetaCrawler.
Magellan Vouyeur Be a voyeur at Magellan Internet guide ... see what people search for?

Client side search agents

ZurfRider $19.95 I bought it ... and it works!!
WebCompass $49.95 Interesting but doesn't do as good as ZurfRider.
Any others ... i'm still in the market?

Markup Languages

XML Faq This proposed extension of HTML can be used to code semantic information into web pages?
SGML and XML News The latest about what is happening with markup languages.
Meta Knowledge knowledge about knowledge
... but "There is no clear line between content and meta-content." RV Guha
 
Towards a theory of meta-content by R.V.Guha
Resource Description Framework (RDF) Meta data coded in XML (examples of SVO diagrams :)
An Introduction to the Resource Description Framework
http://www.w3.org/Metadata/ Information about information, but not the information itself.
Dublin Core Metadata Element Set International agreement on how to describe web pages.
Dublin Core Metadata Template Use this to tell search engines about your page.
Dublin Core Metadata in the RLG Information Current status paper December 1997
Context and Concept Filtering - Finding knowledge by SIG group language

 The economics of Robust AI on the Web

Open Trading Protocol Defined in xml ...includes SET... hmmm...
Some thoughts on multi-agent systems and hyper-economy Hmmm...
Defining a Internet Economy Needs some work but we need something like this...

Other links to check out:

Principia Cybernetica Web
http://birch.eecs.lehigh.edu/alice/readme.html AI Markup language? http://ksl-web.stanford.edu/people/axf/ontology-sites.html
The Global Mind Project Is anything happening here?
http://www.htmlcompendium.org/mainfram.htm Html guides

Agents

The @gency An agent jump list
Agent Builder An Integrated Toolkit for Constructing Intelligent Software Agents
 UMBC KQML Web How agents talk to agents
Pattie Maes' Home Page
UMBC Agent Web
Survey Article http://ai.eecs.umich.edu/cogarch0/
http://www-ksl.stanford.edu/knowledge-sharing/agents.html
http://www.isi.edu/soar/tambe/agent.html
http://www.dcs.warwick.ac.uk/~fomas/resources.html

(NLP) Natural Language Processing  (Computational Linguistics)

Demo of 82% robust parser (C sourse available)
Framenet Building a db of frames ... understanding a concept is to know its "conceptual frame"
 The Digital Alta Vista translator installed on IRC (#babel)
 John M. Lawler The Chomskybot
 William J. Rapaport Computational Linguistics, Cognitive Science, Philosophical Issues
 Application Can Understand Plain English Hmmmmmmmm....
 AltaVista Translation Service A good start or still a toy?
 http://www.cse.ogi.edu/CSLU/HLTsurvey/ Academic Summary
 The Virtual Library: Linguistics   http://www.emich.edu/~linguist/www-vl.html
 Linguist Projects http://www.emich.edu/~linguist/projects.html
 John Barger's Summary worth a second reading
 START Natural Language Query and Response  Only knows about MIT AI Lab
WordNet  http://www.cogsci.princeton.edu/~wn/
Webster http://WWW-KSL-SVC.stanford.edu:5915/WEBSTER/
Actual Parser ERGO http://eoan.stanford.edu/ergo/parser.html
Actual Parser  http://mu.www.media.mit.edu/parser.html
 Demos at MIT
The CYC project http://eoan.stanford.edu/ergo/parser.html What is happening now with this and why ???
 * Dictionary of Computing   http://wombat.doc.ic.ac.uk/foldoc/index.html GREAT !
http://ai.eecs.umich.edu/cogarch0/www.html   - list of running systems ?
Summary of HPSG ERGO CSLI  http://hpsg.stanford.edu/hpsg/erg.html 2/97
The FAQ Finder NL question answering system ... but don't stray far from the FAQs.

(AL) Artificial Life and Genetic Programming

Genetic Programming Notebook
The Hitch-Hiker's Guide to Evolutionary Computation
Evolvuton and Other software components Free Genetic Programming libraries.
http://www.calresco.force9.co.uk/tutorial.htm
http://www.hhsoft.com/

Expert and Rule based system

Jess the Java Expert System Shell Demo !!
Soar: public-domain software Looks solid and useable ... wher's the Web demo???

Logic

Alessandro Saffiotti's papers on Reasoning with uncertainty
Guide to Papers on Chu Spaces Too new to know ... but wiggy wiggy wow !
Metamath Solitaire (Java Applet) Wanna play with logic on the web?
 Fallacies An exaustive presentation !
 Poly Valued Logic by Åke Persson
 Godel goofed, and Turing missed it Contraversial Proof that we need multi valued logic ?
The Journal of Symbolic Logic
Multiple and Mixed Value Logic I'll bet you thought a proposition could only be true or false.
Graphs of propositional logic and set-theory Niek Sparkel's homepage
Mark Roger's The Laws of Thought  if broken, you can prove anything ... at least on a binary track!

The Internet "Who's in control?"

The Internet Engineering Task Force The real work groups - make it work then make it spec
The World Wide Web Consortium  Dominated by major companies - spec first, then implementation
How you can contribute
The Roads and Crossroads of Internet History  Shows how the Internet emerged!

Library Science & Information Retrieval

D-Lib Magazine * A must visit !
Research Libraries Group Watch this space ... the web is becomming better than the library stacks.
DigiNews a quarterly web-based newsletter from RLG above
http://www.eiq.com/
http://www.emich.edu/~linguist/www-vl.html

 Cool AI related sites

John McCarthy's Home Page
Marvin Minsky's Home Page
Douglas Hofstadter's Home Page
 dea Exchange http://learning.mit.edu/ide/index.html
Chaords http://www.cyberspace.com/~building/ofc_21clidhock.html

Robots ... http://www.westsound.com/jskinner/robots.html
Prizes ... http://acm.org/~loebner/loebner-prize.htmlx

Seth's Conjecture - supporting views:

 In Search of a Common Language by Francis Van Aeken
Darwin Among the Machines
Technological Singularity A rather gloomy prediction made in 1993.
More comming soon ...

News groups

comp.ai.*
sci.logic
ATT reads UseNet and automatically finds posted resources But why isn't it useful ... when did they stop updating?

On-line Publications & Associations

 American Association for Artificial Intelligence
 Alma : Scores of the unfinished thought
 Journal of Artificial Intelligence Research
 Natural Language Translation BCS Specialist Group
 IEEE Communications Interactive   But you need to join to read

Companies producing AI related products or services (very partial list ;-)

Epistemics Stanford spinoff has applied KIF and ACL to data warehousing.
Neuromedia the complete chatterbot authoring system
The Motion Factory
http://www.signiform.com/tt/htm/tt.htm   Check it out
CoGenTex, Inc. is a small, R&D-oriented company
Geodesic Systems Making programs reliable and solid !
http://www.anthrobotics.com/  Marty Stoneman
Teknowledge Co

To Check Out

Persistent Uniform Resource Locators (PURL)
Search Support for Unfamiliar Metadata Vocabularies
Amalthaea: Information Discovery and Filtering using a Multiagent Evolving Ecosystem ??
HiLight: Online registry of ideas
Meme Central Memes are the invisibleDNA of human society
Psyberspace moo ?
Object Database Management Systems Is this better than relational databases?
The Cathedral and the Bazaar A good approach to developing software.

Just discovered  ... too new to grok ...

 Principles of Knowledge Representation and Reasoning Hmm... so it's not all being done at Stanford ?
 Truth Table Generator
 Joseph Strout's home page