vardi%Diablo@sri-unix.UUCP (11/02/83)
From: Moshe Vardi <vardi@Diablo>
[Forwarded by Yoni Malachi <YM@SU-AI>.]
We are planning to start at IBM San Jose a research seminar on
theoretical aspects of reasoning about knowledge, such as reasoning
with incomplete information, reasoning in the presence of
inconsistencies, and reasoning about changes of belief. The first few
meetings are intended to be introductory lectures on various attempts
at formalizing the problem, such as modal logic, nonmonotonic logic,
and relevance logic. There is a lack of good research in this area,
and the hope is that after a few introductory lectures, the format of
the meetings will shift into a more research-oriented style. The
first meeting is tentatively scheduled for Friday, Nov. 18, at 1:30,
with future meetings also to be held on Friday afternoon, but this may
change if there are a lot of conflicts. The first meeting will be
partly organizational in nature, but there will also be a talk by Joe
Halpern on "Applying modal logic to reason about knowledge and
likelihood".
For further details contact:
Joe Halpern [halpern.ibm-sj@rand-relay, (408) 256-4701]
Yoram Moses [yom@sail, (415) 497-1517]
Moshe Vardi [vardi@su-hnv, (408) 256-4936]
03-Nov-83 0016 MYV Knowledge Seminar
We may have a problem with Nov. 18. The response from Stanford to the
announcement is overwhelming, but have a room only for 25 people.
We may have to postpone the seminar.
To be added to the mailing list contact Moshe Vardi (MYV@sail,vardi@su-hnv)vardi%Diablo@sri-unix.UUCP (11/05/83)
From: Moshe Vardi <vardi@Diablo> Due to the overwhelming response to my announcement and the need to find a bigger room, the first meeting is postponed to Dec. 9, 10:00am. Moshe Vardi