AI & Knowledge Representation: Logic and Programming

CSCI 480, Spring 2017

 

To the Bottom of the Page

 

Instructor:     Dr. Shieu-Hong Lin

Email:             Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: LinEmail

Class:            T Th 1:30-2:45 am at BUSN 209 PC Lab

Office Hours: Math & CS department at Grove 8.

(i)                Tuesday to Thursday: 12:00-1:00pm, just drop by

(ii)           Monday to Thursday: 8:30am~10:30am: check in advance to set up an appointment

 

 

Course Syllabus

 

*************************************************************************************************

 

Week 1: Logic Programming and Pure Prolog

Reading#1 (Report due: Tuesday, Feb. 7)

íP       Required: Read Sections 1.1~1.4 of Constraint Logic Programming Using Eclipse.

íP       Submit your report accordingly under Canvas.

 

Lab #1 (Report due: Tuesday, Feb. 7)

íP       (i) Install Eclipse on your computer. (ii) Examine the following sample logic programming programs about family relationship (1, 2) and natural numbers (3 and 4). Use Eclipse to run the programs as suggested in the comments of the programs. (iii) Submit your report under Canvas to describe your findings in (ii) and in addition put down at least two paragraphs about your thoughts/ understanding of these programs accordingly.

 

Class discussion of Reading #1 (Tuesday, Feb. 7)

íP       TBA

 

 

*************************************************************************************************

To the Top of the Document of the Page

 

 

External resources:

íP       List all source code of sample programs in Constraint Logic Programming using Eclipse.

íP       Eclipse Constraint Logic Programming: (i) homepage, (ii) online user manual, (iii) online reference manual and (iv) tutorials

.