タグ

prologとlogicに関するmr_konnのブックマーク (3)

  • Prolog with GnuEmacs

    GnuEmacsでPrologを使う prolog.elが新しいもの用ページ(ver. 1.19以降) たけおか@AXE (ex.山ナヲミ) %% これは、筆者が 技術評論社 刊 ソフトウェアデザイン誌 「つこてなんぼのFreeBSD」 1998年11月 に掲載した原稿をもとにしたものです %% 2022/FEB/226更新 2009/FEB/22更新 2007/FEB/12更新 Prolog処理系を動かして、右も左もわからない時は、 「 Prologを使う(動作確認 程度のProlog入門)」 を見てください。 Gnu EmacsとPrologを一緒に使う Prologは、対話的に使用しますが、そのトップレベルは一般的に貧弱です。 対話的に使用する言語は、Gnu Emacsから使うのが常道です。 Prologemacs(mule)から起動すると非常に便利です。 0)prolog.el

  • Orange

  • 2009年度 知識発見法 Knowledge Discovery

    主題と目標/授業の手法など 講義では、従来のデータマイニング技術である、相関ルールマイニング、決定木の自動構築、クラスタリングの3つに対して、それらを超える、より高度なデータマイニングの技術として、述語論理に基づく発想論理プログラミング、帰納論理プログラミング、高精度でかつ高速な分類学習を行うサポートベクターマシン、および不確実な状況での推論を可能にするベイジアンネットワークの4つの技術を紹介する。 発想論理プログラミングは仮説選択機能を持ち、制約条件のある問題での適切な仮説を選び出す。帰納論理プログラミングは、従来の分類学習器に比べて、背景知識を利用できる点が優れている。この利点を活かして、適切に背景知識を用意することによって、多くの分野への応用が可能である。また、サポートベクタマシンは、その精度の良さ、および実行速度の速さにより、近年とくに注目を浴びているが、その利点により、決定木に

  • 1