年 〜
年

検索結果 25 件

前提に関する計算論理学的研究

前提に関する計算論理学的研究
紙図書
中澤恒子, 東京大学 [著][中澤恒子]2002-2004<Y151-H14580406>
国立国会図書館
  • 件名前提 / 形式意味論 / 語用論 / 推論 / アブダクション

技術イノベーシヨンに及ぼす人の資質と組織に関する研究

技術イノベーシヨンに及ぼす人の資質と組織に関する研究
紙図書
宮原, 諄二, 一橋大学1999-2001<Y151-H11630120>
国立国会図書館
  • 件名イノベーシヨン C.S.パース アブダクシヨン

仮説発見システムの高度化と効率的実現に関する研究

仮説発見システムの高度化と効率的実現に関する研究
紙図書
井上克巳, 国立情報学研究所 [著][井上克巳]2005-2007<Y151-H17300051>
国立国会図書館
  • 件名結論発見 / 結論発見手続き / SOL導出 / SOLAR / アブダクション / 帰納推論 / CF帰納法 / 仮説発見

人間-環境系のデザインにおける創発的なプロセスに関する記号学的研究

人間-環境系のデザインにおける創発的なプロセスに関する記号学的研究
紙図書
門内輝行, 京都大学 [著][門内輝行]2004-2005<Y151-H16560555>
国立国会図書館
  • 件名人間-環境系 / デザイン / 創発 / 記号過程 / メタファー / アブダクション / シンセシス

創造的アブダクションによる設計支援の研究 : Universal Abduction Studioの開発

創造的アブダクションによる設計支援の研究 : Universal Abduction Studioの開発
紙図書
武田英明, 国立情報学研究所 [著][武田英明]2002-2004<Y151-H14380170>
国立国会図書館
  • 件名設計学 / アブダクション / 論理 / 思考のモデル / 設計支援 / オントロジー...

先行投機的処理機能を持つマルチエージェントシステムの構築

先行投機的処理機能を持つマルチエージェントシステムの構築
紙図書
佐藤健, 国立情報学研究所 [著][佐藤健]2001-2003<Y151-H13358004>
国立国会図書館
  • 件名マルチエージェント / 不完全通信 / 先行投機的処理 / 分散協調問題解決 / アブダクション

結論発見プログラムに基づく知識発見に関する研究

結論発見プログラムに基づく知識発見に関する研究
紙図書
井上克巳, 国立情報学研究所, 神戸大学 [著][井上克巳]2002-2004<Y151-H14380164>
国立国会図書館
  • 件名結論発見問題 / 結論発見手続き / SOL導出 / 知識発見 / 帰納推論 / アブダクション / 演繹推論 / タブロー法

証明補完技法に基く仮説発見システムの構成

証明補完技法に基く仮説発見システムの構成
紙図書
山本, 章博, 北海道大学2000-2002<Y151-H12680364>
国立国会図書館
  • 件名定理自動証明 証明補完 連結証明 仮説発見 残余仮説 帰納学習 アブダクシヨン 適切さの論理

不完全通信環境下における論理型マルチエージエントシステムの構築

不完全通信環境下における論理型マルチエージエントシステムの構築
紙図書
佐藤, 健, 北海道大学1999-2000<Y151-H11480070>
国立国会図書館
  • 件名マルチエージエント 不完全通信 投機的計算 アブダクシヨン 仮設論理型プログラミング 仮設推論

京料理におけるサービスデザイン

京料理におけるサービスデザイン
デジタル博士論文障害者向け資料あり
橋本, 憲一2021-03-23
インターネットで読める国立国会図書館全国の図書館
  • 件名京料理 京懐石 アブダクション・サービス論 アブダクション・サービスデザイン論 「うまい」論 京料理人 Kyoto c...

例外を有する一般規則を学習する帰納推論システムの研究

例外を有する一般規則を学習する帰納推論システムの研究
紙図書
井上, 克己, 神戸大学1998-1999<Y151-H10680381>
国立国会図書館
  • 件名帰納的論理プログラミング 拡張論理プログラム デフオルト規則 機械学習 非単調推論 アブダクシヨン

平成10年度 研究成果報告書

平成10年度 研究成果報告書
紙図書
有川, 節夫, 九州大学1998-2000<Y151-TR294-001>
国立国会図書館
  • 件名発見科学 知識発見 データマイニング データベース 科学的発見の論理 アブダクシヨン 機械学習 ネツトワークエージエント

「発見科学」A05班会議講演要旨集

「発見科学」A05班会議講演要旨集
紙図書
有川, 節夫, 九州大学1998-2000<Y151-TR294-004>
国立国会図書館
  • 件名発見科学 知識発見 データマイニング データベース 科学的発見の論理 アブダクシヨン 機械学習 ネツトワークエージエント

知識ベース製品開発:3D-CADモデルによる日本企業の実証分析

知識ベース製品開発:3D-CADモデルによる日本企業の実証分析
紙図書
馬場, 靖憲, 東京大学1998-1999<Y151-H10630107>
国立国会図書館
  • 件名知識ベース デザイン環境 デジタルコンテンツ 製品開発 コンピユータ支援 ケームソフト アブダクシヨン クラスター

「発見科学」A05班平成12年度第一回研究会講演要旨集

「発見科学」A05班平成12年度第一回研究会講演要旨集
紙図書
有川, 節夫, 九州大学1998-2000<Y151-TR294-006>
国立国会図書館
  • 件名発見科学 知識発見 データマイニング データベース 科学的発見の論理 アブダクシヨン 機械学習 ネツトワークエージエント

「発見科学」A05班平成11年度第2回研究会議講演要旨集

「発見科学」A05班平成11年度第2回研究会議講演要旨集
紙図書
有川, 節夫, 九州大学1998-2000<Y151-TR294-005>
国立国会図書館
  • 件名発見科学 知識発見 データマイニング データベース 科学的発見の論理 アブダクシヨン 機械学習 ネツトワークエージエント

「発見科学」A05班会議講演要旨集

「発見科学」A05班会議講演要旨集
紙図書
有川, 節夫, 九州大学1998-2000<Y151-TR294-003>
国立国会図書館
  • 件名発見科学 知識発見 データマイニング データベース 科学的発見の論理 アブダクシヨン 機械学習 ネツトワークエージエント

研究成果報告書 平成10-12年度

研究成果報告書 平成10-12年度
紙図書
有川, 節夫, 九州大学1998-2000<Y151-TR294-002>
国立国会図書館
  • 件名発見科学 知識発見 データマイニング データベース 科学的発見の論理 アブダクシヨン 機械学習 ネツトワークエージエント

「発見科学」A05班・A04班合同研究会 A05班平成12年度第2回研究会講演要旨集

「発見科学」A05班・A04班合同研究会 A05班平成12年度第2回研究会講演要旨集
紙図書
有川, 節夫, 九州大学1998-2000<Y151-TR294-007>
国立国会図書館
  • 件名発見科学 知識発見 データマイニング データベース 科学的発見の論理 アブダクシヨン 機械学習 ネツトワークエージエント

アブダクションによる理科教材開発についての研究

アブダクションによる理科教材開発についての研究
デジタル博士論文障害者向け資料あり
YUNOKI, Tomoya2016-10-28
国立国会図書館
  • 件名アブダクション 推論 教材開発 理科教材
  • 一般注記本研究は，理科教育における仮説の発想（アブダクション）にかかわる考察とそれに基づく......パースによれば，すべての推論はアブダクション，インダクション，ディダクショ......確にすることができる．しかし，アブダクションとインダクションの論理形式の違......類した．この分類の考察の結果，アブダクションとインダクションの区別を明確にすることができた．さらに，アブダクションの過程，驚くべき事実の観察と知覚，アブダクションと関係するいくつかの推論形式について考察した結果，アブダクションを明確にすることができた．次に，アブダクションと理科教育，理科教材とかかわり......促し，探究の過程に誘う教材を「アブダクション教材」と名付け，その特徴や重要性について考察した．さらに，数...