A measure of logical inference and its game theoretical applications

Mamoru Kaneko*, Nobu Yuki Suzuki

*この研究の対応する著者

研究成果: Conference contribution

抄録

This paper presents a measure of inference in classical and intuitionistic logics in the Gentzen-style sequent calculus. The definition of the measure takes two steps: First, we measure the width of a given proof. Then the measure of inference assigns, to a given sequent, the minimum value of the widths of its possible proofs. It counts the indispensable cases for possible proofs of a sequent. This measure expresses the degree of difficulty in proving a given sequent. Although our problem is highly proof-theoretic, we are motivated by some general and specific problems in game theory/economics. In this paper, we will define a certain lower bound function, with which we may often obtain the exact value of the measure for a given sequent. We apply our theory a few game theoretical problems and calculate the exact values of the measure.

本文言語English
ホスト出版物のタイトルLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ページ139-150
ページ数12
6953 LNAI
DOI
出版ステータスPublished - 2011
外部発表はい
イベント3rd International Workshop on Logic, Rationality and Interaction, LORI 2011 - Guangzhou
継続期間: 2011 10 102011 10 13

出版物シリーズ

名前Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
6953 LNAI
ISSN(印刷版)03029743
ISSN(電子版)16113349

Other

Other3rd International Workshop on Logic, Rationality and Interaction, LORI 2011
CityGuangzhou
Period11/10/1011/10/13

ASJC Scopus subject areas

  • コンピュータ サイエンス(全般)
  • 理論的コンピュータサイエンス

フィンガープリント

「A measure of logical inference and its game theoretical applications」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル