If you are looking for an answer to the question What is Artificial Intelligence? and you only have a minute, then here's the definition the Association for the Advancement of Artificial Intelligence offers on its home page: "the scientific understanding of the mechanisms underlying thought and intelligent behavior and their embodiment in machines."
However, if you are fortunate enough to have more than a minute, then please get ready to embark upon an exciting journey exploring AI (but beware, it could last a lifetime) …
See also:Structure-activity relationships derived by machine learning: the use of atoms and their bond connectivities to predict mutagenicity by inductive logic programming. PNAS, vol. 93 no. 1, pp. 438–442.Combining inductive logic programming, active learning and robotics to discover the function of genes. Electronic Transactions in Artificial Intelligence, 5 (B) , pp. 1-36.Support vector inductive logic programming outperforms the naive Bayes classifier and inductive logic programming for the classification of bioactive chemical compounds. Journal of Computer-Aided Molecular Design, May 2007, Volume 21, Issue 5, pp 269-280.Structure Activity Relationships (SAR) and Pharmacophore Discovery Using Inductive Logic Programming (ILP). QSAR & Combinatorial Science Volume 22, Issue 5, pp. 527–532, July 2003.Scaffold Hopping in Drug Discovery Using Inductive Logic Programming. J. Chem. Inf. Model., 2008, 48 (5), pp 949–957.Combining Active Learning with Inductive Logic Programming to close the loop in Machine Learning.A general approach for developing system-specific functions to score protein–ligand docked complexes using support vector inductive logic programming. Proteins: Structure, Function, and Bioinformatica: Special Issue: Third Meeting on the Critical Assessment of PRedicted Interactions, Volume 69, Issue 4, pages 823–831, December 2007.Discovering rules for protein–ligand specificity using support vector inductive logic programming. PEDS, Volume 22, Issue 9, pp. 561-567.New Generation Computing, 8, 295-318
"This is a position paper about the relations among artificial intelligence (AI), mathematical logic and the formalization of common-sense knowledge and reasoning. It also treats other problems of concern to both AI and philosophy. I thank the editor for inviting it. The position advocated is that philosophy can contribute to AI if it treats some of its traditional subject matter in more detail and that this will advance the philosophical goals also. Actual formalisms (mostly first order languages) for expressing common-sense facts are described in the references."Copies also available on J. McCarthy's Stanford Archivein Philosophical Logic and Artificial Intelligence, Richmond Thomason (ed), Dordrecht: Kluwer Academic, 1989.
Our own early attempts (as devoted users of LISP) to use PROLOG convinced us that it would be worth the effort to create within LISP a faithful implementation of Kowalski's logic programming idea. We felt it would be very convenient to be able to set up a knowledge base of assertions inside a LISP workspace, and to compute the answers to queries simply by executing appropriate function calls.In Hayes, J. E., Michie, D., and Pao, Y.-H. (Eds.), Machine Intelligence 10. Ellis Horwood.