タグ

関連タグで絞り込む (0)

  • 関連タグはありません

タグの絞り込みを解除

Prologとprologとwikipediaに関するHashのブックマーク (2)

  • 第五世代コンピュータ - Wikipedia

    この記事には参考文献や外部リンクの一覧が含まれていますが、脚注によって参照されておらず、情報源が不明瞭です。 脚注を導入して、記事の信頼性向上にご協力ください。(2023年9月) 第五世代コンピュータ(だいごせだいコンピュータ)計画とは、1982年から1992年にかけて日の通商産業省(現経済産業省)所管の新世代コンピュータ技術開発機構(ICOT)が進めた国家プロジェクトで、いわゆる人工知能コンピュータの開発を目的に総額540億円の国家予算が投入された。 第五世代とは、しばしば見られる電子計算機の世代分け、すなわち、第一世代(真空管)、第二世代(トランジスタ)、第三世代(集積回路)、第四世代(大規模集積回路)という流れの次の世代というわけだが、この従来の世代分けはここでカッコ書きしたような素子の発展に基づくものであり[注 1]プロジェクトが目指す所をこれに続く第五世代とすべき連続性は無い

    Hash
    Hash 2015/05/16
    なんだこの「歴史から葬られた先の大戦」感は
  • Prolog - Wikipedia

    Prolog(プロログ)は論理プログラミング言語の一つであり、該当分野で最もよく知られている論理型言語の代表格である。主に人工知能研究や計算言語学との関連性を持つ。定理証明、エキスパートシステム、自動計画、自然言語処理とも繋がりが深い。形式論理である一階述語論理を基礎にして、事実群と規則群の表現および関係の観点に立った宣言型パラダイムに準拠しており、その関係に則った質問によって計算が開始されるという性質を持つ。 Prologは、1972年にマルセイユ大学のアラン・カルメラウアーとフィリップ・ラッセルによって開発された。フランス語の「programmation en logique」がその名の由来である[1]。Prologの誕生にはエディンバラ大学のロバート・コワルスキが考案したホーン節が大きく寄与している。カルメラウアーによる元祖版はマルセイユPrologと呼ばれている。その後、コワルスキ

    Hash
    Hash 2014/11/26
    充実
  • 1