H ? « ‹ ← → › »

Language peer sets for GOL:
United States↑
United States/1969↑
Designed 1969 ↑
1960s languages ↑
Third generation↑
High Cold War↑
Genus Modal ↑
Specialised Languages ↑
Modal↑
Logic-reflexive↑
Close mapping ↑
Modal/1969↑
Logic-reflexive/1969↑
Close mapping/1969↑
Modal/United States↑
Logic-reflexive/United States↑
Close mapping/United States↑
Specialised Languages ↑
Specialised Languages/1969↑
Specialised Languages/us ↑

GOL(ID:7700/)

Extension to LISP for predicate calculus 

alternate simple view
Country: United States
Designed 1969
Genus: Modal
Sammet category: Specialised Languages

for Goal-Oriented Language

"GOL is a nondeterministic programming language obtained by extending LISP to encompass a modal predicate calculus"

The fundamental nature of GOL informed the system that became known initially as DIALOG, then INTERNIST, then CAUDCEUS. Considered a milestone in AI expert systems
Related languages
LISP 1.5 → GOL   Extension of
References:
  • Pople, Harry E, Jr. (1969) Pople, Harry E, Jr. "GOL: A Goal Oriented Language for the Computer" PhD Thesis, Carnegie-Mellon University, 1969
  • Pople, H. E. and G. Werner (1972) Pople, H. E. and G. Werner "An information processing approach to theory formation in biomedical research"
          in [AFIPS] (1972) [AFIPS] Proceedings of the 1972 Spring Joint Computer Conference SJCC 40
  • Pople, Harry E., Jr. (1972) Pople, Harry E., Jr. "A goal-oriented language for the computer" in Representation and meaning -- experiments with information processing systems, H. A. Simon and L. Siklossy (Eds.), Prentice-Hall, Englesvood Cliffs, N. J., 1972, pp331-413
          in [AFIPS] (1972) [AFIPS] Proceedings of the 1972 Spring Joint Computer Conference SJCC 40
  • Gibbons, G. (1973) Gibbons, G. D. review of Pople Abstract
          in (1973) ACM Computing Reviews 14(05) May 1973
  • Pople (1973) Pople, H. E., Jr. "On the Mechanization of Abductive Logic"
          in [Proceedings] (1973) Proceedings of the Third International Joint Conference on Artificial Intelligence IJCAI-73, Stanford, CA: Stanford University 1973
  • Leavenworth and Sammet (1974) Leavenworth, Burt M.; Sammet, Jean E. "An overview of nonprocedural languages" pp1-12 Abstract Extract: GOL
          in [VHLL 1974] (1974) Proceedings of the ACM SIGPLAN symposium on Very high level languages, March 28-29, 1974, Santa Monica, California, United States
  • Pople, H. E. J. (1975) Pople, H. E. J. "Artificial intelligence approaches to computer-based medical" Proc IEEE Intercon Conference, 1975
          in [VHLL 1974] (1974) Proceedings of the ACM SIGPLAN symposium on Very high level languages, March 28-29, 1974, Santa Monica, California, United States
  • Pople et al (1975) Pople, H. E., Jr., Myers, J. D., and Miller, R. A. "DIALOG INTERNIST: A Model of Diagnostic Logic for Internal"
          in [Proceedings] (1975) IJCAI-75 Proceedings of the 4th International Joint Conference on Artificial Intelligence, 1975 Tbilisi, USSR
  • Pople, H. E. J. (1976) Pople, H. E. J. "Presentation of the INTERNIST System" Proc. A.I.M. Workshop, Rutgers Research Resource on Computers in Biomedicine, 1976
          in [Proceedings] (1975) IJCAI-75 Proceedings of the 4th International Joint Conference on Artificial Intelligence, 1975 Tbilisi, USSR
  • Pople (1977) Pople, H. E. "The Formation of Composite Hypotheses in Diagnostic Problem-solving: An Exercise in Synthetic Reasoning"
          in [Proceedings] (1977) Proceedings of the 5th International Joint Conference on Artificial Intelligence IJCAI-77, MIT, Cambridge, Mass., August, 1977
  • Pople et al (1977) Pople, H. E., Myers, J.D. and Miller, R.A. "DIALOG: a model of diagnostic logic for internal medicine"
          in [Proceedings] (1977) Proceedings of the 5th International Joint Conference on Artificial Intelligence IJCAI-77, MIT, Cambridge, Mass., August, 1977
  • Pople, H. E., Jr. (1982) Pople, H. E., Jr. "Heuristic methods for imposing structure on ill-structured problems: the structuring of medical diagnostics"Artificial Intelligence In Medicine. P. Szolovits, Westview Press, 1982 pp119-190.
          in [Proceedings] (1977) Proceedings of the 5th International Joint Conference on Artificial Intelligence IJCAI-77, MIT, Cambridge, Mass., August, 1977
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder