A Primer for Problem Solving Using Artificial Intelligence

Artificial intelligence (AI) has recently enjoyed much interest in academic and popular media. The prospect of creating machines that “think” strikes at the very heart of what most people believe separates human beings from machines. AI focuses attention on the study of what reasoning is, how knowledge is represented, and how it's manipulated. With the proper understanding of these problems, a system can be made that mechanically answers questions and solves problems in a manner which would be described as “intelligent” if performed by a human. Since AI is related to many fields, researchers in other areas desire some understanding of the concepts and principles upon which AI is founded. The majority of these people do not require indepth knowledge of the field. This article presents some of the systems that initiated AI and demonstrates the principles of major AI methodologies with examples that are common in the literature.

[1]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[2]  William F. Clocksin,et al.  Programming in Prolog , 1987, Springer Berlin Heidelberg.

[3]  A. M. Turing,et al.  Computing Machinery and Intelligence , 1950, The Philosophy of Artificial Intelligence.

[4]  Mark Stefik,et al.  Inferring DNA Structures from Segmentation Data , 1978, Artif. Intell..

[5]  Nils J. Nilsson,et al.  Principles of Artificial Intelligence , 1980, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[6]  Mark Stefik,et al.  An Examination of a Frame-Structured Representation System , 1979, IJCAI.

[7]  J. A. Robinson,et al.  A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.

[8]  McClung,et al.  Physiological Rule-Based System for Interpreting Pulmonary Function Test Results , 2022 .

[9]  John Gaschnig,et al.  MODEL DESIGN IN THE PROSPECTOR CONSULTANT SYSTEM FOR MINERAL EXPLORATION , 1981 .

[10]  Alfred Horn,et al.  On sentences which are true of direct unions of algebras , 1951, Journal of Symbolic Logic.

[11]  Earl D. Sacerdoti,et al.  Planning in a Hierarchy of Abstraction Spaces , 1974, IJCAI.

[12]  Howard Carter,et al.  Foundations of Decision Support Systems , 1982 .

[13]  George W. Ernst,et al.  GPS : a case study in generality and problem solving , 1971 .

[14]  Allen Newell,et al.  GPS, a program that simulates human thought , 1995 .

[15]  Robert A. Kowalski,et al.  Logic for problem solving , 1982, The computer science library : Artificial intelligence series.

[16]  Bruce G. Buchanan,et al.  On generality and problem solving: a case study using the DENDRAL program , 1970 .

[17]  Bruce G. Buchanan,et al.  Dendral and Meta-Dendral: Their Applications Dimension , 1978, Artif. Intell..

[18]  Edward H. Shortliffe,et al.  Computer-based medical consultations, MYCIN , 1976 .