CSCE 496/896

Topic Summary Assignment 8:

Formal Methods in DAI: Logic

Assigned: November 5, 2002

Due: 11:00 a.m. November 12, 2002

(Assignment 5 minutes late will not be accepted)

Summary

This summary should include at least the following (a) an overview of the topic – motivations and underlying principles, etc., (b) a list of praises: a description of what you think are the important/useful aspects of the topic, (c) a list of critiques: a description of what you think are the weaknesses of the topic, (d) a list of wishes: what areas of the topic do you think that should be improved, and (e) a list of questions on material that you did not understand from the lectures and textbook. NOTE: These lists should be about the topic, not about the way the topic is presented in the class.

Some ideas: What are the different types of logic? What are the differences? What is the Belief-Desire-Intention (BDI) model? What does coordination logic do? What do theories in communications do? What are social primitives?

Stupid Questions

Usually, an automobile can go forward and backward. Now the stupid question is this: if a car can only go forward, what will happen?

Requirement

You are required to write a 1-2 page topic summary. You will be penalized for writing more than 2 pages. You are required to follow one of the styles (ACM, IEEE, or AAAI) posted at the class’ website. The summary must be typed. Turn in the summary at the beginning of the class.

At the end of your topic summary, add another section “Response to Stupid Questions” for your response to the above stupid question. Be creative and consider as many issues as possible.

Your topic summary will be graded based on:

10% Overview

15% Praises

15% Critiques

15% Wishes

15% Questions

15% Response to Stupid Questions

10% Grammar and Errors

5% Requirements