Artificial Intelligence

OpenCyc is back and better than ever! OpenCyc 2.0 is now available for download from SourceForge. You can also download OWL versions of the OpenCyc ontology, or search for and access OpenCyc content on the semantic web, accessing Cyc concepts via their URIs, at sw.opencyc.org.

Cyc is an artificial intelligence project that attempts to assemble a comprehensive ontology and knowledge base of everyday common sense knowledge, with the goal of enabling AI applications to perform human-like reasoning. The project was started in 1984 by Douglas Lenat at MCC and is developed by company Cycorp. Parts of the project are released as OpenCyc, which provides an API, RDF endpoint, and data dump under an open source license.

The Automated Mathematician (AM) is one of the earliest successful discovery systems. It was created by Doug Lenat in Lisp, and in 1977 led to Lenat being awarded the IJCAI Computers and Thought Award. AM worked by generating and modifying short Lisp programs which were t

Computer Science is a branch of science that focuses on the theoretical and methodological implementation of computational based information processes and computer technologies in both hardware and software. Theoretical fields include such areas as information theory, database and information retrieval and programming language theory. Applied computer science features areas of study such as artificial intelligence, computer architecture, computer security and software engineering.

The DARPA PAL program (the Personalized Assistant that Learns) focused on improving the way that computers support humans through the use of cognitive systems-that is, systems that reason, learn from experience, and accept guidance in order to provide effective, personalized assistance. SRI International has led the PAL Framework effort to make available many of the successful machine learning and reasoning technologies developed on the PAL program for use by the broader DARPA, research, and military communities. Technical capabilities within the framework have been hardened, modularized, packaged, and where appropriate, adapted to meet industry standards to facilitate their incorporation into potential target applications. The framework further includes various infrastructure components and APIs to simplify integration with the framework technologies.

Machine learning is the science of getting computers to act without being explicitly programmed. In the past decade, machine learning has given us self-driving cars, practical speech recognition, effective web search, and a vastly improved understanding of the human genome. Machine learning is so pervasive today that you probably use it dozens of times a day without knowing it. Many researchers also think it is the best way to make progress towards human-level AI. In this class, you will learn about the most effective machine learning techniques, and gain practice implementing them and getting them to work for yourself. More importan

A free, online version of "Introduction to Artificial Intelligence", taught by Sebastian Thrun and Peter Norvig. A syllabus and more information about the Stanford course is available here. You can sign up here to receive more information about the online version when it becomes available.

In the field of artificial intelligence, the most difficult problems are informally known as AI-complete or AI-hard, implying that the difficulty of these computational problems is equivalent to solving the central artificial intelligence problem-making computers as intelligent as people, or strong AI.[1] To call a problem AI-complete reflects an attitude that it would not be solved by a simple algorithm.

ai-one™ - biologically inspired intelligence. We sell software development kits (SDKs) for machine learning applications. We give programmers a virtual brain so they can build artificial intelligence into any software application. Unlike other machine learning tools, our technology works in any language, works with any data and learns quickly without human intervention.

MIT Press CISnet brings together many of the MIT Press?s recent and classic titles in computer and information science in a fully searchable online library. Subscribers have access to a growing collection of MIT Press books on topics including programming, artificial intelligence, machine learning, human computer interaction, databases, digital libraries, networking, and robotics. CISnet is accessible from any computer with an Internet connection and from Web-enabled handhelds including the iPhone.