Knowledge Representation and Automatic Reasoning

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:            MW 1:30-2:45 am at BUSN 209 PC Lab

Office Hours: Math & CS department at Grove 8.

(i)                8:30~10:30am

(ii)           Check in advance to set up an appointment

 

 

Course Syllabus

 

About the reading reports:

íP       Effort (2 points): How much time have you spent for the reading? What percentage of the contents in the reading do you think you understand? Have you come to the class this week?  Assessment: The student is expected to (i) have attended the class this week at least once (0.5 point), and(ii) have either gained a good understanding of 80% or more of the contents or have spent at least three hours in the reading (1.5 points).

íP       Reflection on the reading (2 points): Put down 1~2 paragraphs of your thoughts such as notes of new insight you gained, interesting things encountered, questions of things you doníŽt understand,  and so forth.  Assessment: the student is expected to show substantial evidence of understanding or effort of trying to understand the contents in the reading.

 

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

 

Week 1: Introduction to Knowledge Representation & Constraint Logic Programming

 

Showcases: (i) Logic and specification languages: Z, Alloy. (ii) Logic and model checking.

 

Reading#1 (Report due: Wednesday, Feb. 8)

í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: Wednesday, Feb. 8)

í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.

 

Reference: Knowledge Representation and Classic Logic: 1

 

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

 

Week 2: Syntax and Semantics of Pure Prolog

 

Reading#2 due: Wednesday, Feb. 15

íP       Review Sections 1.1~1.4 of Constraint Logic Programming Using Eclipse.

íP       Read Sections 1.5~1.7 of Constraint Logic Programming Using Eclipse.

 

Homework#1 4 points: Wednesday, Feb. 15

íP       Do all Exercises 1.1~1.5 of Constraint Logic Programming Using Eclipse and upload your findings under Canvas or hand it in on paper.

 

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

 

Week 3: More on Syntax and Semantics of Pure Prolog

 

Reading#3: Read Chapter 2 due: Wednesday, Feb. 22

 

Homework#2 4 points: Wednesday, Feb. 22

íP       Do all Exercises 2.1~2.3 of Constraint Logic Programming Using Eclipse and upload your findings under Canvas or hand it in on paper.

 

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

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

.