ANNOUNCEMENTS(New ones will be added
to the top as they arrive.)
·
Final exam grades:
|
BAYKAL |
38 |
|
CAN |
46 |
|
DİLMEGANİ |
79 |
|
GÜNGÖR |
27 |
|
İMAMOĞLU |
59 |
|
KAVAKLIOĞLU |
36 |
|
KURT |
38 |
|
TAŞCI |
57 |
|
TAŞDEMİR |
33 |
|
YILDIRIM |
48 |
·
Time and place for seeing your final papers: 11:00-11:30, my office.
·
You can see your final papers on Monday (Jan. 29), the exact time will
be announced later.
·
The final exam will start at 10:00 in the slot and place announced in
the university website.
·
Here are the presentations of Taşdemir and Can.
·
Here is the presentation of Yıldırım.
·
Yet another topic that we covered outside our textbook can be seen here.
·
Here is the presentation of Taşcı.
·
Another topic that we covered outside our textbook can be seen here.
·
Here are the presentations of İmamoğlu, Kavaklıoğlu, and Dilmegani.
·
Taşdemir’s midterm grade has jumped to 89, since he has proven that my
solution of question 3 was wrong. (People who solved it my way don’t lose
grades.)
·
Here is the presentation of Baykal.
·
Here is the presentation list. The numbers are the paper numbers in the
list I gave below. Presentations will be made in paper number order, with one
presentation on December 6, and three each on the Wednesdays after that.
Therefore, we’ll hear Serkan Baykal’s presentation of paper number 1 on
December 6.
|
BAYKAL |
1 |
|
CAN |
3 |
|
DİLMEGANİ |
7 |
|
GÜNGÖR |
10 |
|
İMAMOĞLU |
2 |
|
KAVAKLIOĞLU |
4 |
|
KURT |
8 |
|
TAŞCI |
5 |
|
TAŞDEMİR |
6 |
|
YILDIRIM |
9 |
·
Here are your midterm grades out of 100. You can see your papers during
the lecture on Nov. 29.
|
BAYKAL |
40 |
|
CAN |
63 |
|
DİLMEGANİ |
69 |
|
GÜNGÖR |
53 |
|
İMAMOĞLU |
53 |
|
KAVAKLIOĞLU |
19 |
|
KURT |
79 |
|
TAŞCI |
48 |
|
TAŞDEMİR |
67 |
|
YILDIRIM |
46 |
·
Here are the papers that you will present in December. (Contrary to
standard rules of reference, only the numbers of the start pages are
indicated.) The selection process works as follows: The first person who emails
to me saying that s/he wants paper X gets paper X if paper X has not been
assigned to anybody else by then. Presentations will be made in a chronological
order which will be decided by myself. I expect you to thoroughly understand
your paper, and to present it so nicely during your 45-minute period that
everybody else understands it as well. You may consult me if you have problems
in understanding the papers. In the final exam, there may be questions to check
your knowledge about papers presented by other people. You are supposed to prepare
PowerPoint presentation files and submit them to me (at the time of your
presentation at the latest) so that I can publish them on this webpage. (Note
that some presentations about these papers may exist in the webpage of last
year’s version of this course, and you may if you wish use them as a basis, but
some of them contained some errors, and I will check if you noticed and
corrected those errors if you use the old ppt’s.)
|
1. Model-Based Systems in the
Automotive Industry 2. Qualitative Modeling in
Education 3. Qualitative Spatial Reasoning:
Extracting and Reasoning with Spatial Aggregates 4. Model-Based Programming of
Fault-Aware Systems 5. Qualitative Reasoning
about Population and Community Ecology 6. Mathematical Foundations
of Qualitative Reasoning 7. Learning Qualitative
Models 8. Model-Based Computing for
Design and Control of Reconfigurable Systems 9. Qualitative Spatial
Reasoning about Sketch Maps. 10. VModel: A Visual
Qualitative Modeling Environment for Middle-School Students. For
understanding these papers, it may also be a good idea to read the
introduction: “Current Topics in Qualitative Reasoning”; Bert
Bredeweg, Peter Struss. AI Magazine. La
Canada: Winter 2004. Vol. 24, Iss. 4; p. 13 |
·
In addition to our
textbook, we covered topics from the following papers in the lectures up till
now:
A. C. Cem Say, "Improved reasoning
about infinity using qualitative simulation," Computing and Informatics
Vol. 20, pp. 487-507, 2001. Can be found here.
A. C. Cem Say, “Problems in representing liquid tanks
with monotonicity constraints: A case study in model-imposed limitations on the
coverage of qualitative simulators,” Artificial
Intelligence Review Vol. 17, pp. 291-317, 2002. (Electronically available
in the library)
·
Midterm date: November 22.
·
Yet another room change, this is hopefully the last
one: From now on, we will meet in room B5 IN
THE DEPARTMENT’S “NEW” BUILDING IN THE NORTHERN CAMPUS!!!
·
Another, slightly confusing room change: ONLY FOR OCTOBER 18, we will
meet in the room announced in the schedule, namely, YD 201. Furthermore, the lecture
on October 18 will be only two hours long, since I am (and, if you wish, you
are,) invited to the following interesting talk:
Prof. Michael Detlefsen (Notre Dame
University, Department of Philosophy)
"The Virtues of Hilbert's Program"
TIME: October 18, Wednesday, at 3 pm
PLACE: Rector's Conference Hall (Rektörlük Binası).
Detlefsen is a philosopher who has studied Gödel’s proofs,
something that will turn out to be relevant to what we are discussing in this
course.
·
Room Change: Until further notice, we will meet in HKC103 for the
lectures, no matter what the schedule says.
--------------------------------------------------------------------------------------------------------------------------------------------------------
CmpE 560 Qualitative Reasoning
|
Catalog Data: |
The need for reasoning with incomplete information. The
qualitative representation: arithmetic and algebraic issues. Qualitative
differential equations. Qualitative modeling and simulation. Qualitative variants
of reasoning tasks like system identification, postdiction and comparative
analysis. |
|
Textbook: |
Benjamin Kuipers, Qualitative Reasoning, MIT Press, 1994 |
|
Instructor: |
Cem Say |
|
Coordinates: |
Check the schedule at registration.boun.edu.tr |
Prerequisites:
(Any AI course + Math 202 or an
equivalent differential equations course) or (consent of the instructor)
Topics:
Types of knowledge
incompleteness
Modeling continuous
change
Qualitative
representation
Qualitative simulation
Semi-quantitative
reasoning
Prediction and
postdiction
Automatic modeling and
qualitative system identification
Applications of
qualitative reasoning