知識の表現のための「述語」を持たない述語(?)論理"Tuple Logic"の提案(計算機科学の基礎理論とその応用)

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• 森田 憲一

  大阪大学基礎工学部

関連論文

• Space Complexity on Two-Dimensional Connected Tapes (情報科学の数学的基礎理論と応用)
• 2次元入カテープの形状とオートマトンの能力 (オートマトン理論および言語理論の新展開)
• n-Boundedカウンター・オートマトンについて (オートマトン理論および言語理論の新展開)
• Fredkinの論理ゲートを用いた可逆的Turing機械の設計(計算アルゴリズムの基礎理論)
• 知識の表現のための「述語」を持たない述語(?)論理"Tuple Logic"の提案(計算機科学の基礎理論とその応用)
• 2次元テープ・オートマトン及びセル・オートマトンによる図形認識とそのシミュレーション (オートマトン理論および言語理論の新展開)
• 生物物理学の体系化 : 決定論的方程式から近づく道
• ホーン節を内部表現とする自然言語理解システム

スポンサーリンク