検索結果
このウィキでページ「Subsumption」は見つかりませんでした。以下の検索結果も参照してください。
- 包摂（ほうせつ、subsumption）とは、経済・社会が、その本来の諸関係にとって外生的な存在を取り込む過程をいう。はじめ、マルクスの論文「直接的生産過程の諸結果」において、「労働の形式的・実質的包摂」としてこの用語が用いられ、後に、労働（技術）以外の外生的な要素を取り込む場合の概念に拡張された。…4キロバイト (587 語) - 2021年11月28日 (日) 12:38
- サブサンプション・アーキテクチャ（Subsumption Architecture、包摂アーキテクチャ）とは、振る舞いに基づくロボット工学を起源とする人工知能の概念である。この用語は1986年にロドニー・ブルックスらが作った。自律型ロボットやリアルタイムAIに幅広い影響を及ぼした。…7キロバイト (833 語) - 2024年7月13日 (土) 14:11
- Educational Psychology: A Cognitive View (2nd Ed.). New York: Holt, Rinehart & Winston. Subsumption Theory (D. Ausubel) Ausubel Homepage Ausubel 死亡記事 表示 編集…2キロバイト (173 語) - 2023年10月31日 (火) 09:13
- ジンギスはいわゆる従来型の脳を持たず、「神経ネットワーク」のみで環境から学習する包摂アーキテクチャ(Subsumption Architecture; SA)と呼ばれる行動型システムを採用している。 脳を持たないにもかかわらず、ジンギスは従来型の人工知能(Artificial…4キロバイト (657 語) - 2023年10月23日 (月) 12:57
- <: B ならば型 A を持つ式はどれでも型 B をも持つという事実によって特性付けられる。この形式的な推論規則は包摂（subsumption）として知られている。 型理論の研究者は、部分型であると宣言されたもののみを部分型とする名前的型システム（英語版）と、2つの型の構造によっ…10キロバイト (1,142 語) - 2023年10月16日 (月) 08:48
パックボット（PackBot）は、米iRobot社がゲンギスの包摂アーキテクチャ（Subsumption Architecture; SA）理論を取り入れて開発した人工知能搭載の軍用遠隔操作多目的ロボットであり、9・11テロ事件での捜索、イラクやアフガニスタンなど戦場での偵察や爆弾処理などに使用され実績を挙げている。…4キロバイト (568 語) - 2023年2月11日 (土) 06:42- 節集合 F の中に否定と肯定の両方があるリテラル L があれば、そのリテラルを除去する。 さらに以下の規則が追加される場合もある。 包含規則（subsumption rule） ある節 C の全てのリテラルが他の節 D に含まれていれば、それらの節 C を除去する。 クリーンアップ規則（cleanup…13キロバイト (1,969 語) - 2024年7月13日 (土) 14:16
- の中に否定と肯定の両方があるリテラル L があれば、そのリテラルを真偽に解釈してえられる2つの節集合に分割する。 さらに以下の規則が追加される場合もある。 包含規則（subsumption rule） ある節 C の全てのリテラルが他の節 D に含まれていれば、それらの節 D を除去する。 クリーンアップ規則（cleanup…14キロバイト (2,194 語) - 2022年8月1日 (月) 10:10
- [Robust autonomous navigation system of a biped robot based on subsumption architecture]』大阪大学〈博士（工学) 甲第21541号〉、2021年。hdl:11094/82265。 NAID 500001555864。 …46キロバイト (5,367 語) - 2024年5月10日 (金) 23:20
- この終点となる説明について、それを問題ないものとしうる場合があるとすれば、それは「説明的に自己包含的な（explanatory self-subsumption）」究極の原理、自分自身で自分自身を説明する何か（自己言及）、であろうとして、そうした場合についての検討を行った。…164キロバイト (23,079 語) - 2024年9月15日 (日) 21:24
