ANNOUNCEMENTS(New ones will be added
to the top as they arrive.)
Sorry about the unexpected change in
the schedule. You can see your papers between 14:30 and 15:30 on June 17.
----------------------
The final grades are as follows:
|
AKGÜL |
92 |
|
ÇELİK |
99 |
|
DALKIRAN |
66 |
|
DELİOĞLU |
80 |
|
KESKİN |
56 |
|
KHUSNITDINOVA |
100 |
|
NALBANTOĞLU |
80 |
|
POSLU |
82 |
|
YILMAZ |
72 |
You can see your papers between
14:30 and 15:30 on June 15.
---------------------------------------
The presentation slides can be
reached by clicking the names of the presenters in the schedule below.
---------------
The midterm grades are as follows:
|
Surname |
Midterm grade |
|
AKGÜL |
40 |
|
ÇELİK |
69 |
|
DALKIRAN |
58 |
|
DELİOĞLU |
89 |
|
KESKİN |
73 |
|
KHUSNITDINOVA |
33 |
|
NALBANTOĞLU |
76 |
|
POSLU |
58 |
|
SEVER |
38 |
|
YILMAZ |
50 |
You can see your midterm papers after
the presentations on Friday, May 14.
-------------------------------
The presentations will be in the
Computer Engineering Seminar Room in the third floor of our building.
-------------------------------
Presentation dates:
May 14: Akgül
(Spatial reasoning), Yılmaz
(Mathematical fundamentals), Khusnitdinova
(Ecology)
May 21: Keskin
(Learning qualitative models), Nalbantoğlu
(Reconfigurable systems), Delioğlu
(Fault-aware systems)
May 28: Dalkıran
(Education), Çelik
(Comparative analysis), Sever (didn’t show up), Poslu
(Bridging the gap)
Note that we meet for four hours
and leave at 18:00 on the 28th.
--------------------------------------------
-Here is a list of the papers that
you might want to consult in addition to the textbook about the topics we
covered:
1) A. C. Cem Say, Selahattin Kuru,
"Improved filtering for the QSIM algorithm," IEEE Transactions on Pattern Analysis and Machine Intelligence. Vol.
15, pp. 967-971, 1993.
2) A. C. Cem Say, Selahattin Kuru,
"Postdiction using reverse qualitative simulation," IEEE Transactions on Systems, Man, and
Cybernetics Part A: Systems and Humans Vol. 27, pp. 84-95, 1997.
3) A. C. Cem Say, "L’Hôpital’s filter
for QSIM," IEEE Transactions on
Pattern Analysis and Machine Intelligence Vol. 20, pp. 1-8, 1998.
4) A. C. Cem Say, "Improved reasoning
about infinity using qualitative simulation," Computing and Informatics
Vol. 20, pp. 487-507, 2001.
5) Tolga Könik, A. C. Cem Say, “Duration consistency filtering for
qualitative simulation,” Annals of Mathematics and Artificial Intelligence
Vol. 38, pp. 269-309, 2003.
6) A. C. Cem Say and H. Levent Akın, “Sound and complete qualitative simulation is
impossible,” Artificial
Intelligence Vol. 149, pp. 251-266, 2003.
All of these (except
the one that you already received) are available in the library in either
electronic or physical form. (By the time of the midterm, we will have covered
the relevant topics in all of the above in such sufficient detail in class, that (theoretically) it might not really be necessary
to read these papers if you think you understood the stuff in class.)
------
-Here are the papers that you will
present in May. (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 he/she wants paper X gets paper X if
paper X has not been assigned to anybody else by then. Presentations are made
in the chronological order in which papers were assigned. I expect you to
thoroughly understand your paper, and to present it so nicely during your
1-hour 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.
1. D. Weld "Comparative Analysis," Artificial
Intelligence, 36: p. 333, October 1988. (you can also
access the book on the same subject by the same author in the library)
2. Daniel Berleant and
Benjamin Kuipers. 1997. “Qualitative and
quantitative simulation: bridging the gap” Artificial Intelligence, 95(2):
p. 215. ftp://ftp.cs.utexas.edu/pub/qsim/papers/Berleant+Kuipers-aij-98.ps.gz
|
3.
Model-Based Systems in the Automotive Industry 4.
Qualitative Modeling in Education 5.
Qualitative Spatial Reasoning: Extracting and Reasoning with Spatial
Aggregates 6.
Model-Based Programming of Fault-Aware Systems 7.
Qualitative Reasoning about Population and Community Ecology 8.
Mathematical Foundations of Qualitative Reasoning 9.
Learning Qualitative Models 10.
Model-Based Computing for Design and Control of Reconfigurable Systems For
understanding the last eight papers, it may also be a good idea to read the
introduction: “Current Topics in Qualitative Reasoning ------------- |
- The location of the lectures has
been changed! New location: YD202
- Homeworks will not be announced
here; find someone who attended that week’s course about whether a homework
assignment has been made or not.
- The Numerical Recipes book can be
found here.
Chapter 16 shows how they solve ODE’s numerically.
--------------------------------------------------------------------------------------------------------------------------------------------------------
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 |
|
|
|
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
Order of magnitude
reasoning