Kripke bundle [3] and C-set semantics [1] [2] are known as semantics which generalize standard Kripke semantics. In [3] and in [1], [2] it is shown that Kripke bundle and C-set semantics are stronger than standard Kripke semantics. Also it is true that C-set semantics for superintuitionistic logics is stronger than Kripke bundle semantics [5].In this paper, we show that Q-S4.1 is not Kripke bundle complete via C-set models. As a corollary we can give a simple proof showing that C-set (...) semantics for modal logics are stronger than Kripke bundle semantics. (shrink)

Fuzzy logic has become an important tool for a number of different applications ranging from the control of engineering systems to artificial intelligence. In this concise introduction, the author presents a succinct guide to the basic ideas of fuzzy logic, fuzzy sets, fuzzy relations, and fuzzy reasoning, and shows how they may be applied. The book culminates in a chapter which describes fuzzy logic control: the design of intelligent control systems using fuzzy if-then rules which make use of human knowledge (...) and experience to behave in a manner similar to a human controller. Throughout, the level of mathematical knowledge required is kept basic and the concepts are illustrated with numerous diagrams to aid in comprehension. As a result, all those curious to know more about fuzzy concepts and their real-world application will find this a good place to start. (shrink)

解きやすい離散最適化問題に対して統一的な枠組を与える「離散凸解析」の全体像を平易に解説.

We consider a spatial bargaining model where players collectively choose a facility location on a two-dimensional rectilinear distance space through bargaining using the unanimity rule. We show that as players become infinitely patient, their stationary subgame perfect equilibrium utilities converge to the utilities that satisfy the lexicographic maximin utility criterion introduced by Sen.

本書は、生活者のハピネス(豊かさや幸せ)の視点から科学技術や社会の変革を考える『因果関係から相関へ、個別技術からシステムへ』と題した『武田シンポジウム2018』の内容をまとめたものです。昨今最も注目を 浴びている科学技術である「AI」、「免疫システム研究」、「民間宇宙ロケット開発」の3つと異なる切り口から、ビッグデータと言われる時代の科学の方法論、個の集積以上の意味をもつシステムとしてのアプローチに ついて立体的に考察します。.