CSCE 475/896 Topic Summary 8

CSCE 475/896

Topic Summary Assignment 8:

Formal Methods in DAI: Logic

Assigned: November 4, 2003

Due: 11:00 a.m. November 11, 2003

(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?

See Q&As (November 12, 2002) on our class Website to learn about some of the questions and answers.

Stupid Questions

On Earth, some games that we play are based on die. For example, we throw a dice to determine the order of the players, to choose a slot, etc. Suppose that you and your friends are aboard a space shuttle above Earth. Thus, when you throw a dice, it floats. However, you and your friends are determined to play the dice to determine the order of using an exercise machine in the space shuttle, how will you achieve the feat? (Note that the commonsense logic associated with a dice is not applicable when there is no gravity. Do you need to devise a new logic?)

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: