Perspectives on Artificial Intelligence Programming
Abstract
Programs are judged not only by whether they faithfully carry out the intended processing but also by whether they are understandable and easily changed. Programming systems for artificial intelligence applications use specialized languages, environments, and knowledge-based tools to reduce the complexity of the programming task. Language styles based on procedures, objects, logic, rules, and constraints reflect different models for organizing programs and facilitate program evolution and understandability. To make programming easier, multiple styles can be integrated as sublanguages in a programming environment. Programming environments provide tools that analyze programs and create informative displays of their structure. Programs can be modified by direct interaction with these displays. These tools and languages are helping computer scientists to regain a sense of control over systems that have become increasingly complex.
References
Abelson, H., Structure and Interpretation of Computer Programs (1985).
BARSTOW, D, AAAI MAGAZINE 5: 5 (Spring 1984).
Birtwistle, G., Simula Begin (1973).
Bobrow, D., CommonLoops, A Graceful Merger of Common Lisp and Object-Oriented Programming (1985).
BOBROW, D.G., IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 11: 1401 (1985).
Bobrow, D. G., The Loops Manual (1983).
BORNING, A, THE PROGRAMMING LANGUAGE ASPECTS OF THINGLAB, A CONSTRAINT-ORIENTED SIMULATION LABORATORY, ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS 3: 353 (1981).
Brown, J. S., Intelligent Tutoring Systems: 227 (1983).
Buchanan, B. G., Rule-Based Expert Programs: The MYCN Experiments of the Stanford Heuristc Prognraming Project (1984).
Charniak, E., Artiflcial Intelligence Programming (1980).
DAVIS, R, MACH INTELL 8: 300 (1977).
DAVIS, R, KNOWLEDGE-BASED SYSTEMS, SCIENCE 231: 957 (1986).
DOYLE, J, TRUTH MAINTENANCE SYSTEM, ARTIFICIAL INTELLIGENCE 12: 231 (1979).
FIKES, R, THE ROLE OF FRAME-BASED REPRESENTATION IN REASONING, COMMUNICATIONS OF THE ACM 28: 904 (1985).
GOLDBERG, A, INTERACTIVE PROGRAMM: 141 (1984).
GOLDBERG, A, SMALLTALK 80 LANGUAG (1983).
GORDON, J, A METHOD FOR MANAGING EVIDENTIAL REASONING IN A HIERARCHICAL HYPOTHESIS SPACE, ARTIFICIAL INTELLIGENCE 26: 323 (1985).
HAILPERN, B, MULTIPARADIGM LANGUAGES AND ENVIRONMENTS - INTRODUCTION, IEEE SOFTWARE 3: 6 (1986).
HAYESROTH, B, A BLACKBOARD ARCHITECTURE FOR CONTROL, ARTIFICIAL INTELLIGENCE 26: 251 (1985).
KOWALSKI, R, ALGORITHM = LOGIC + CONTROL, COMMUNICATIONS OF THE ACM 22: 424 (1979).
MCCARTHY, J, COMMUN ACM 3: 185 (1960).
Mittal, S., Applications of Knowledge-Based Systems to Engineering Analysis and Design: 99 (1985).
Moto-oka, T., Fifth Generation Computer Systems (1982).
Rich, C., Interactive Programming Environments: 443 (1984).
Sanella, M., Interlisp-D Reference Manual (1983).
SHEIL, B.A., INTERACTIVE PROGRAMM: 19 (1984).
STEELE, G, THESIS MIT CAMBRIDGE (1980).
STEFIK, M, AI MAG 6: 40 (1986).
STEFIK, M.J., INTEGRATING ACCESS-ORIENTED PROGRAMMING INTO A MULTIPARADIGM ENVIRONMENT, IEEE SOFTWARE 3: 10 (1986).
SUTHERLAND, I.E., THESIS MIT CAMBRIDGE (1963).
TEITELMAN, W, INTERACTIVE PROGRAMM: 83 (1984).
WATERMAN, D, PATTERN DIRECTED INF (1978).
WICHMANN, B.A., IS ADA TOO BIG - A DESIGNER ANSWERS THE CRITICS, COMMUNICATIONS OF THE ACM 27: 98 (1984).
WINOGRAD, T, BEYOND PROGRAMMING LANGUAGES, COMMUNICATIONS OF THE ACM 22: 391 (1979).
WIRTH, N, PROGRAMMING MODULA 2 (1985).
Get full access to this article
View all available purchase options and get full access to this article.
Already a Subscriber?Sign In
Information & Authors
Information
Published In
Science
Volume 231 | Issue 4741
28 February 1986
28 February 1986
Copyright
1986 by the American Association for the Advancement of Science.
Submission history
Published in print: 28 February 1986
Authors
Metrics & Citations
Metrics
Article Usage
Altmetrics
Citations
Export citation
Select the format you want to export the citation of this publication.
View Options
Get Access
Log in to view the full text
AAAS login provides access to Science for AAAS Members, and access to other journals in the Science family to users who have purchased individual subscriptions.
- Become a AAAS Member
- Activate your AAAS ID
- Purchase Access to Other Journals in the Science Family
- Account Help
Log in via OpenAthens.
Log in via Shibboleth.
More options
Purchase digital access to this article
Download and print this article for your personal scholarly, research, and educational use.
Buy a single issue of Science for just $15 USD.
View options
PDF format
Download this article as a PDF file
Download PDF