Dynamical logic driven by classified inferences including abduction

Koji Sawa*, Yukio Pegio Gunji

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

研究成果: Conference contribution

3 被引用数 (Scopus)

抄録

We propose a dynamical model of formal logic which realizes a representation of logical inferences, deduction and induction. In addition, it also represents abduction which is classified by Peirce as the third inference following deduction and induction. The three types of inference are represented as transformations of a directed graph. The state of a relation between objects of the model fluctuates between the collective and the distinctive. In addition, the location of the relation in the sequence of the relation influences its state.

本文言語English
ホスト出版物のタイトルComputing Anticipatory Systems - CASYS'09 - Ninth International Conference
ページ52-59
ページ数8
DOI
出版ステータスPublished - 2010 12 1
外部発表はい
イベント9th International Conference on Computing Anticipatory Systems, CASYS'09 - Liege, Belgium
継続期間: 2009 8 32009 8 8

出版物シリーズ

名前AIP Conference Proceedings
1303
ISSN(印刷版)0094-243X
ISSN(電子版)1551-7616

Conference

Conference9th International Conference on Computing Anticipatory Systems, CASYS'09
国/地域Belgium
CityLiege
Period09/8/309/8/8

ASJC Scopus subject areas

  • 物理学および天文学(全般)

フィンガープリント

「Dynamical logic driven by classified inferences including abduction」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル