SiMON FRASER UNIVERSITY
?
S. 5--1
MEMORANDUM
To
...........
.Senate
From..
Th
e
..'?
e. Of the
?
". of
Graduate Studies
Subject.......
?
of
'iAc.
f9r ?
Ling. 807-4
Date..
$ti. 46.
1985............................
Action undertaken by the Executive Committee, Senate Graduate Studies
Coiiinittee, at its Meeting on May 13, 1985, gives rise to the following
motion:
"That Senate approve and recommend approval
to the Board of Governors, as set forth in the
proposed title change for Ling. 807-4:
From:
?
Computational Linguistics
To: ?
Linguistic Theories and Conputational
Logic Grammars"
I am informed by Dr. T. Perry, Chairman of the D.L.L.L. Graduate Program
Committee, that they wish to proceed with the proposed changes to Ling.
807-4, which were originally proposed by Dr. Hurtado. Despite Dr.
S ?
Hurtado's untimely death, there is still ample expertise available in
Computing Science and D.L.L.L. to offer the course.
EGS.85.47
SiMON FRASER UNIVERSITY
?
MEMORANDUM
. To ........
.
.
ol
Webster ?
.
.
From.
Ross ?
.
Associate Dean,
..eapofGrpesiçIj
?
...................
?
1 ?
Date...
Ma
y .
.1,..19.85....................................
The Faculty of Arts Graduate Studies Committee has approved the request
of the Department of Languages, Literatures and Linguistics to change
the title of LING 807-4 to Linguistic Theories and Computational Logic
Grammars, Will you please place this item on the agenda of the next
Senate Graduate Studies Committee,
Thank you,
-w.-'
S^-
'
/..'
R. Saunders
SR/inc
.
?
CC: T. Perry
r
MAY
3
DEAN
OF GRADUAJI
I
STUDIES OFFICE
0
Change of title
FROM: ?
LING 807-4 Computational Linguistics
TO:
?
LING 807-4 Linguistic Theories and Computational Logic Grammars
(also offered as CIIIT 823)
RATIONALE: ?
In the past, Linguistics students have taken computational
linguistics by taking an appropriate Computing Science
graduate course whenever offered, and receiving thereby
credit for LING 807. This proposal formalizes cooperation
between the departments (LING and CMPT) in this area, and
introduces active participation in this area from the side
of Linguistics by providing for participation of Linguistics
faculty in the teaching of the retitled course. This, in
turn, requires a truly interdisciplinary concept for the
course involved; the present proposal addresses that need.
r
- ?
'SiMON FRASER UNIVERSITY
MEMORANDUM
.
N.J. Lincoln
To........................................................
Change of title - LING 807
Subiect
...................................................
T. Perry, Chairman
From
.....................................................
Graduate Studies Committee
February 1st, 1985
Date........................................................
The attached proposal to change the title of LING 807 from
"Computational Linguistics" to "Lingui-stic Theories and
Computational Logic Grammars". Since this is being done in
concert with a new course proposal, from Computing Science, I
have attached somewhat more detailed information regarding the
proposal than is ordinarily necessary for a change of title..
T. Perry
TP/hc
1MU1N FKAbI1t U1'1V1K1TX
?
MEMORANDUM
?
To..PD
?
From
Cupi.t.ing. .
cierce.....................
New Course
?
Date .....
.....ctobe..98.
The Department of Computing Science Graduate Studies Committee
approved the enclosed new course proposal CMPT 823/LING 807
in its meeting of October 19, 1984. This course is proposed
as a joint course between the two departments and is to be
taught by members of each department. It is intended that
students from each department can take the course under the
appropriate number when it is offered and can receive credit
for only one of the two course numbers. The current course
title and description of LING 807 will be changed accordingly.
The list of references has been sent to the Library to be
checked for availability.
4e
A. Liestman
?
:ei
?
Director of Graduate Programs
cc Torn Perry, Graduate
Program Chairman, DLLL
•1.
r
%
ew
C.raduate Course Proposal Form
CALENDAR 1NFOR1ATION:
I
Department: Languages, Literatures and Linguistics
?
Course Number: LING 807
STitle:
Linguistic
Theories and Computational Logic Grammars
Description: This course describes the level o-f- interaction between Linguistic Theories
and Computational Logic Grammars. We examine some aspects of the Government-Binding
theory,- and we present some thoughts about the computational treatment of restriction
of
Credit.
natural
Hours:
languages.
??
4 ?
Vector:
4-M
Prerequisite(s) if any:_________
ENROLLMENT AND SCHEDULING:
Estinated Enrollment:
?
?
15-20
?
When
will
the course first be offered: Summer 1985
How often will the course be offered: every summer if enrollment justifies it,
else every two years.
JUSTIFICATION:
This course is unique in that it offers an integrated, interdisciplinary approach to
linguistic theory and its computational.app].icatjons.. We expect to motivate graduate
students to pursue research, possibly in the context of a project presented to the
S
French CNRS by researchers at the University of Clermont-Ferrand, to which both
Hurtado and Dahl have been invited.
RESOURCES:
Dr
.'V. Dahl', Computing Science
Which Faculty member will normally teach the course:
?
Dr. Alfredo Hurtado, DILL
What are thebudgetary iTnplicationsof mounting the course: .
?
no special needs
Are there sufficient Library resources (ant)end details): mostreferencesarefromarticles
that we can photocopy.
.An inquiry about book resources has been sent.
Appended: a) Outline of the Course
b)
An indication of the com
p
etence of the Faculty
,
member to give the course.
c)
Library resources
Approved: Departmental Graduate Studies Committee:
' 1-1t_
•Date:
E&
&
II
I
I8ç
Faculty Graduate StudiesCommittee:
?
S_-Date:
Faculty:
Senate
Senate:
.
Date:
Date:)-9
Date:
.
LINGUISTIC THEORIES AND COMPUTATIONAL LOGIC GRAMMARS
The course is conceived a series of lectures and seminar discussions
on
?
advanced ?
issues raised by the Government-Binding Theory
and the Logic-based metagrammars..
• Three weeks of linguistic presentation by Hurtado.
Three weeks of Logic-based metagrarnrnars by Dahl.
Six weeks of common presentation of specific problems, in
particular , the incorporation of the 9-criterion in the
computational representations.
If time allows both Hurtado and Dahl will present research
in progress about quantification in natural language and
some computational consequences.
Both instructors will be involved full time in the course.
A . Hurtado
0
M
;.. ?
LINGUISTIC THEORIES AND COMPUTATIONAL LOGIC GRAMMARS
I. Natural language representation levels: D-structure, S-structure, LF, LF'.
Representing natural language through logic: LF', L3. Linguistic and
computational aspects.
II. Logic-based metagrarznars: a computational formalism for describing grammars.
Automatic analysis of sentences. Types of logic meta-grammars and their
respective expressive power: MGs,
XGs, DCCs.
III.
Government and Binding Theory. Realizations in computational terms:
gapping grammars. The notion of Government Binding and
the Theta-criterion.
IV. Quantification.
Required Reading
Radford, A. Transformational Syntax. Cambridge University Press, 1981.
Dahl, V. and Abramson, H. On Gapping Grammars. Proc. II International
Conference on Logic Programming. Sweden, 1984.
Dahl, V. More on Capping Grammars. SFU TR 84-7.
Recommended Reading
Chomsky, N. Lectures on Government & Binding, Foris, Dorchecht, 1981.
Chotnsky, N. Some Concepts and Consequences of the Theory of Government and
Binding, MIT Press, Cambridge, 1982.
Dahl, V. Quantification in a three-valued logic for natural language question-
answering systems. Proc. IJCAI, 1979.
Dahl, V. Translating Spanish into logic through logic. American Journal of
Computational Linguistics, vol. 13,
pp.
149-164, 1981.
Dahl, V. and Abramson, H. Logic-based metagrammars (book in press).
Hurtado, A., 1984, "On the properties of logical form prime," in?
Cornell Working Papers of Linguistics.
1984, "The unagreement hypothesis," L. King and C. Haley,
Selected Papers of the Thirteenth Linguistic Symposium on
komance Languages, John Benjamins, Amsterdam.
1985, "Clitic Chains" in A. Hurtado, (ed), Linguistic Theory
and Spanish Syntax.
Pi
