- Noam Chomsky publishes "Syntactic Structures", in which he describes Phrase Structure Grammars and introduces Transformational Grammar. This is the start of modern linguistics. [Wikipedia]
- Lisp was invented by John McCarthy. The favored programming language for AI research. [Wikipedia]
- Start of SHRDLU. Main influences: Lisp (1958), Planner (1969)
- Case Grammar was developed by Charles J. Fillmore. It emphasises semantic roles of a sentence, Agent, Object, Benefactor, Location or Instrument. [Wikipedia]
- Planner was created by Carl Hewitt (MIT), a theorem proving, procedural, programming language. It was used by SHRDLU. [Wikipedia]
- W.A. Woods invents the Augmented Transition Network (ATM), a finite state machine extension to parse natural language sentences. [Wikipedia]
- E.F. Codd (IBM) publishes "A Relational Model of Data for Large Shared Data Banks". The basis of modern relational databases.
- Start of LUNAR. Main influences: Lisp (1958), Augmented Transition Network (1970)
- Prolog was created by Alain Colmerauer and Philippe Roussel, based on Robert Kowalski's procedural interpretation of Horn clauses.
- Montague publishes "The Proper Treatment of Quantification in Ordinary English" (also known as PTQ), the first formal treatment of the semantics of natural languages. Since this article requires a good deal of prior knowledge of logic, you may wish to approach this article through Dowty et al's "Introduction to Montague Semantics".
- Start of RENDEZVOUS. Main influences: Relational Databases (1970)
- Start of EUFID. Main influences: Case Grammar (1968)
- David H. D. Warren and Fernando Pereira created the first Prolog compiler, for DEC-10.
- Veronica Dahl's question-answering systems for French and Spanish, written in Prolog using MG (metamorphosis grammar).
- Start of TEAM. Main influences: Lisp (1958)
- Definite Clause Grammars: David H. D. Warren and Fernando Pereira created DCG, a grammar specially suited for Prolog, a specialisation of Colmeraur's metamorphosis grammar (MG) [Wikipedia]
- Start of Chat-80. Main influences: DEC-10 Prolog (1977), Veronica Dahl's systems (1977), Definite Clause Grammars (1980)
- David H. D. Warren designed an abstract machine for the execution of Prolog consisting of a memory architecture and an instruction set. This design became known as the Warren Abstract Machine (WAM) and has become the de facto standard target for Prolog compilers. [Wikipedia]
- Start of CLE.
- The book "The Society of Mind", written by Marvin Minsky, was published. [Wikipedia]
- The book "Intention, Plans, and Practical Reason", written by Michael Bratman, was published. It describes the BDI model (Belief-Desire-Intention) of action selection. [Wikipedia]
- Start of ThoughtTreasure. Main influences: Syntactic Structures (1957), CYC (1984), Society Of Mind (1986)
- Start of CALO. Main influences: BDI (1987)
- Start of C-PHRASE. Main influences: Lisp (1958)