•
SIMON FRASER UNIVERSITY
MEMORANDUM
TO: ?
Senate ?
FROM:
?
J.W.G. lvany,
Chair, SCAP
SUBJECT: Graduate Curriculum ?
DATE: ?
Nov.19, 1987
Changes - Computing Science
Reference: SCAP 87-35
Action undertaken by the Senate Committee on Academic Planning/Senate
Graduate Studies Committee gives rise to the following motion:
MOTION: ?
"That Senate approve and recommend approval to
41 ?
theBoard of Governors, as set forth in S.87-67
the following new courses:
CMPT 823-3 Formal Topics in Knowledge
Representation
CMPT 824-3 Logic Programming and Fifth
Generation Computing"
'I
(
Ul
New Graduate Course Proposal Form
CALENDAR INFORMATION:
S
Department: ?
Computing Science
?
Course Number: 823
Title:
?
Formal Topicsin Knowledge Representation
Description:Thecoursecoversformalaspectsofknowledge
representation in current artificialintelliqenceresearch.
-
Credit Hours:3 _Vector: 3-0-0Prerequisite(s) if any: prior
Al course
or a p
proval of instructor.
ENROLLMENT AND SCHEDULING:
Estimated Enrollment: ?
10 ?
When will the course first be offered: 89-1
How often will the course be offered:Annually
JUSTIFICATION:
Knowledgerepresentationiscentraltoallresearchinartificial
intelligence.Aformalstanceisnecessarytovigorouslyand
• unambigouslyinvestigatefoundationalissuesofrepresentation.
-Th
This course has been offered annually as a special to
pics
course
PfltT1C•
Which Faculty member will normally teach the course: Dr. James P.Deigrande
What are the budgetary implications of mounting the course: None
Are there sufficient Library resources (append details): Yes-SeeAttached
Appended: a) Outline of the Course
b)
An indication of the competence of the Faculty member to give the course.
c)
Library resources
Approved: Departmental Graduate Studies Conmittee:ti
7 f
k.
?
nate:
jiaf.
. ?
Faculty Graduate Studies Committee:
?
_
_Date:____________
Faculty:
?
_Date:____________
Senate Graduate Studies Committee:
?
_Date:____________
Senate: ?
_Date:____________
SCHOOL OF COMPUTING SCIENCE
COURSE OUTLINE
?
S
CMPT 823
?
?
SPRING 1987
FORMAL TOPICS IN KNOWLEDGE REPRESENTATION
Instructor: J.P. DELGRANDE
This course is intended as a survey of formal or foundational
topics in the representation of knowledge in artificial
intelligence. There is no course text; rather lecture and
reading material will be drawn from recent papers in the area.
Tentative Outline
1.
Introduction and overview
2.
Semantics and representation schemes
3.
Nonmonotonic and default reasoning
4.
Inconsistency and knowledge acquisition
5.
Expressiveness and tractability
6.
Reflection and reasoning about control
7.
Commonsense reasoning
Recommended Preparation
Prior course in artificial intelligence; knowledge of elementary
logic
Marking
To be decided on in consultation with the class in the first week
of lectures. Tentatively the scheme is: presentation 10%,
project 50%, take-home examination 40%.
C
CMPT
823
Library Requirements
There is no suitable textbook for this course. Material will be taken from journal papers and confer-
ence proceedings. ?
. ............ .. . -. -.
?
...
The following journals are perhaps the most relevant to the course:
1.
Artificial Intelligence
2.
Cognitive Science
3.
Computational Intelligence
The first two journals are currently available in the SFU library. The last journal is not presently available
in the SFU library. The institutional rate for Computational Intelligence (which incidentially is a Canadian
journal) is $107.00; however Dr. Deigrande has copies of the journal which can also be put on reserve.
.
CMFT $23
Dr. Deigrande presently leaches the undergraduate analogue of CMPT 823. This course, CMPT 411,
deals with implementationa
.
l issues of artificial intelligence knowledge representation systems. This course
is offered twice a year;
Dr. Delgrande obtained his doctorate degree in the area of artificial intelligence, and is actively
engaged in research in default reasoning and logics of explicit belief in knowledge representation. He has
supervised one M.Sc. thesis. and is presently supervising two others, in this area.
0
SIMON FRASER UNIVERSITY
M!MOM1DUM
To....
.
Binay.
K. . .Bjiatta.Chary.a.................
Director, Graduate Program
School.of..
Computing. Science
Subject ......
New.Course..Proposal:CMPT
..
823
From
....
.
Collections
SharorL.Thoma,..Rea&
. Ma.nagement
..............
.
Di.vision
0
Date.
...
.
October .
. 15.,. .
.198.7 ......................
We have been supporting this course as a special topics
offering without difficulty and could clearly continue to
do so in a more permanent format.
However, it would be desir'able to add a subscription to
C omputational
Intelligence at an annual cost of $107.00
rather than relying on Dr. Delgrandeb personal Copies.
A
ST/dab
C
0
New Graduate Course Proposal Form
CALENDAR ]INFORMATION:
S
Department:
—
Computing Science
?
Course Number:824
0
Title:
?
Logic Programming & Fifth Generation Comouting
Description: This course presents research results in Fifth Generation
Computing research in a seminar style.
?
- ?
-
Credit Hours:
?
3 ?
Vector: 3.0.0
?
Prerequisite(s) if any:
ENROLLMENTANDSCHEDULING:
Estimated Enrollment:10
When will the course first be offered: has been; 87-2
How often will the course be offered: According to demand.
JUSTIFICATION:
CMPT4 is a highly desirable course at this
p oint when Fifth Generation
Comouting is making quick progress and spreading all over the world.
This course has been offered annually as a special topics course.
Which Faculty member will normally teach the course: V. Dahl
What are the budgetary implications of mounting the course: making at best
C-Prolog, if not Quintus Prolog, available to students.
Are there sufficient Library resources (append details): Yes; see Bibliography attached.
Appended: a) Outline of the Course
b)
An indication of the competence of the Faculty member to give the course.
c)
Library resources
Approved: Departmental Graduate Studies Committee:
Faculty Graduate Studies Committee:
?
Date:
Faculty: ?
Date:
Senate Graduate Studies Committee:
?
Date:
Senate: ?
Date:
COURSE OUTLINE
1 C1PT
824
Veronica Dahl
FIFTH GENERATION COMPUTING
?
-
This course presents research results in Fifth Generation Computing
research in a seminar style. After a four-week introduction to the
subject, students will be expected to read recently published material
and present it in class for discussion. In the last five weeks they
will develop a project on one of the subjects discussed, which can be
either a programming project-or an essay.
Outline:
Weeks 1-4: Introduction. Aims of the Japanese Fifth Generation Computing
project. Parallel efforts in Europe and North America.
Hardware and software implications. Introduction to the
Prolog programming language.
Weeks 5-8: How much of the dreams have materialized? Survey of recent
Fifth-Generation computing material. Student expositions.
Weeks 9-13: Project development.
Grading Scheme:
?
In-class presentations ?
40%
Project ?
60%
Bibliography:
- Fifth Generation Computing Journal.
- Logic Programming Journal.
- Proceedings, Conferences and Symposiums on Logic Programming.
- Fifth Generation Computing Newsletter
- Proceedings, Fifth Generation Computing Conferences.
- Programming in Prolog, by Clocksin and Mellish, 2nd ed. Springer Verlag
1984.
- Prolog Programming for Artificial Intelligence, I. Bratko, Addison Wesley
1986.
- Logic for Problem-solving, by R. Kowalski, North-Holland, 1979.
- The Art of Prolog, by Leon Sterling and Ehud Shapiro, MIT Press, 1984.
- Prolog II.-by Giannessini, Kanoui, Pasero, M. Van Canegham, Inter-Ed. 1985.
- Logic Programming, by K.L. Clark and S.A. Tarniund, Academic Press, 1982.
Various related articles will be also made available to the students.
0
MPT 824
Dr. Dahl has already taught CMPT 824 in Summer 87, and her publication
record is mostly in various areas of Fifth Generation Computing. She
has supervised one M.Sc. and one Ph.D. thesis in this area.
0
- ?
0I01J1
I
1? lift
O.J1t
i)
11 A
V AiIL
.1 .
MEMORANDUM
To ?
Binay K. Bhattacharya
Director, Graduate Program
NEW COURSE PROPOSAL: CMPT 824
Sub1ect
.....................................................
Sharon Thomas,
From ....
Head
..........
Collec
.........
........................
ons
, ?
t*i ?
Managemen
Qj
.
•
q
?
...........................
October 16, 1981
Date.................................................
CMPT 824: LOGIC PROGRAMMING AND FIFTH GENERATION COMPUTING
The Library's collection of materials is small but
apparently adequate to support the special topics course
given last summer.
However, it might be useful to note that of the five
journals identified in Isaac Balbin's Logic Programming: a
Classified Bibliography only one, Future Generations
Computer Systems is held by the Library and that our
collection of the relevant conferences and symposia is
incomplete.
The cost of subscribing to the remaining four journals
alone is over $650 per year and while they are not necessarily
required for CMPT 824, it does suggest that library holdings
in this area might be expanded if teaching activity and
research interest in this area continue to develop.
ST:is
0
