人は時として嘘をつきますが、嘘がばれてしまうこともあります。して嘘はばれてしまうのでしょうか。嘘の内容や状況によっても異なりますが、一般的には2つの原因に大別できます。1つは、嘘をつく人の目が泳ぐ、汗をかくといった身体反応、もう1つは、嘘をつく相手の言ったことの中で生じる矛盾です。現在、私たちが研究している「議論システム」では後者の原因のみを対象としており、「ばれない嘘の条件」を満たすようなアルゴリズム(処理手順)を提案しています。これは、逆に嘘を見破る方法にもつながります。裁判員制度がスタートしており、あなたも裁判員に選ばれて議論に参加する機会があるかもしれません。そんなとき、あなたは嘘を見破ることができますか?例えば、犯人と警官の対話を見てみましょう。証拠がないじゃないか。殺人現場にあなたの免許証が落ちていた。免許証は盗まれたんだ。それは証拠にはならないよ。いや、あなたが殺した。犯行時刻に現場付近にいたのはあなただけなんだから。そんな場所には行ってないって。その時間は図書館にいたんだ。図書館には免許証がなければ入れないが、あなたは免許証を盗まれていたはずだ。対話する前、警官は免許証紛失のことを知らなかったので、最後の発言(警官-3)は考えていませんでした。犯人が自分で教えてしまった(犯人-2)ために、嘘がばれたのです。この議論システムは数理論理学に基づいてつくられています。議論は一種のゲームとみなされ、相手の出した札をみて次の手を考えるカードゲームともかかわりがあります。そんなことを考えながら、時にはゼミのメンバーでトランプをすることも。研究に没頭して夜遅くなってしまったときのために、仮眠用のベッドも用意しています。ネットショッピングをしているとき、お客様控え番号など、書き留めておくべき情報が出てきますよね。テキストエディタを起動したら、肝心な場所がそのウィンドウで隠れ、ウィンドウサイズを変更したり移動したり...。そんな経験、ありませんか?私が研究している「矩形を対象とする定性空間推論」をそうした環境に応用すれば、面倒な操作をしなくても必要な情報が見えるようにウィンドウを配置することができるんですよ。このような論理を記号の列で表し、計算機上でうまく扱えるようにしたもの。2年次に開講される「数理論理学」の授業では、高校数学でもおなじみの関数や集合の概念を使って考える。対話の1つの形式である議論を論理的枠組みで捉え、検証するシステム。過程を解析したり勝つための戦略を考える研究が注目されている。本研究では議論を通じて対話者の信じていることが変化していき、それが議論に影響をおよぼすという動的な側面を扱っているのが。