Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.

中学$PROLOG_MatchingHUB金沢2015Autumn

411 views

Published on

PowerPoint 2page Illustration paper for "$PROLOG for Junior highschool student". It introduces the concept of "Logic Surfing Browser", "Dynamic Knowledge Citation on deduction & unification in rules of "$PROLOG", "Private AI editing", and so on.

Published in: Education
  • Be the first to comment

  • Be the first to like this

中学$PROLOG_MatchingHUB金沢2015Autumn

  1. 1. 中学$PROLOGとは? ・知識や仮説(、前提条件)を編集して質問すると推論(自動証明+解探索)して答えます ・従来PROLOGと違い、事実やルールを、自分の言葉により、自然言語のまま表現します ・ノウハウを秘密にしたまま、自分だけの人工知能を、自分のPCにより、自分で作れます ・「論理サーフィンブラウザ」として、インターネットや共有ディスク上の外部知識を、必要に応じて 動的に引用した推論も可能です(特許申請中) 例) 事実 太郎くんは花子さんと仲よし ルール $Aと$Bは友達 :- $Aは$Bと仲よし ; req “共有関係.jpl”; $Aと$Bは旧知 ; 質問 $Xと$Yは友達? 答え $X=太郎くん ; $Y=花子さん 【動的引用】 ルール内の以降の条件のみ で使う知識を一時的に引用 太郎くんと由美子さんは知り合ったばかり 太郎くんと花子さんは古い間柄 $Aは旧知 :- $Aは古い間柄 ; ///表記ゆれ吸収規則 次郎くんと由美子さんは古い間柄 次郎くんと花子さんは知り合ったばかり ・・・ 「;」は“かつ”、 AND条件の 区切り
  2. 2. 開発・保守、海外販売: 株式会社丸誠商会 企画・研究、国内販売: ナレルシステム株式会社 「人工知能」とは、コンピュータに知能の一部を持たせるものです。 「中学$PROLOG」は、自分だけの知識と外部の知識を結びつけて、 自分で「人工知能」を作るためのプログラム言語であり、実行アプリです 自分だけの 知識 上の例のような 事実やルールを 自分のことばにより 自然言語で事前に編集 テキストマイニング ニューラルネットワーク学習 統計・ビッグデータ解析 機械学習・自動知識獲得 意味解析・係り受け解析 ⇒やっていません! 前提条件 (文脈) 中学$PROLOG 共有ディスク/インターネット上等の 外部知識の引用の連鎖(サーフィン) ※各専門知識のテキスト、ページ等 前提条件+ 質問 答え(真偽/解) +理由/証明 引用 文法・語彙 管理しない 参照しない登録・参照 営業 076-213-5211・Windows用アプリケーションソフトの好評発売中 ・知能の論理プログラム化支援(FB記事,テキスト、本人インタビューから) http://marusei.base.ec/ 論理学に 基づく健全な 好評発売中

×