AL（Algorithm & Logic）セミナー

　　　　　　　第 111回 ALセミナーのお知らせ (時間が変更になりました)

JAIST ではロジックを中心に情報科学の理論的な分野の話題をテーマに して
ALセミナーを開催しています。興味をおもちの方はどなたでもフラリと 気楽
におたちより下さい。

今回のセミナーは JAIST 情報科学研究科 COE Project: Verifiable and Evolvable e-Society
および JAIST 研究プロジェクト LCCC (Logic for Cognition, Computation and Communication) の
一環として開催されます。

********************************************************************

日時： 　2006年1月20日（金）(20th January, 2006) 15:00 -- 17:00

場所： 情報科学研究科 II 棟 5 階 コラボ7
School of Information Science, 2rd bldg. 5th floor, Collab. Room 7

-------------------------------------------------------

講演題目： 　Belnap's 4-valued logic and logic programs verification

話題提供者： Paolo Mascellani (University of Perugia)

1 - paraconsistent logics:
- definition(s);
- why paraconsistent logics?
- Belnap's 4-valued logic.
2 - logic programming:
- introduction;
- model-theoretic verification of positive logic programs;
- introducing negation;
- verification problems with negation;
- overcoming problems using Belnap's 4-valued logic.
3 - paraconsistent logic programming.

===========================================================
今回の世話人： 東条 敏
===========================================================

過去に開催された AL セミナーについては以下のホームページを ご覧下さい。

　http://www.jaist.ac.jp/is/labs/ono-ishihara-lab/ono-lab/
ALseminars/al-seminars.html

AL セミナーに関する一般的なお問い合わせは以下にどうぞ。

〒923-1292 石川県能美市 旭台 1-1　北陸先端科学 技術大学院大学（JAIST）

東条 敏 (tojo)
小野 寛晰 (ono)