1 / 6

KENiB 概要 Knowledge Expression Network / Information Base 【 keni: 】

KENiB 概要 Knowledge Expression Network / Information Base 【 keni: 】. オー・エス・フォー 株式会社. いろ. (REGISTER ' レモン ' いろ ' 黄色 ). レモン. 黄色. (REGISTER ' りんご ' いろ ' 赤 ) (REGISTER ' りんご ' いろ ' 緑 ) (REGISTER ' 女の子 ' 名前 ' 緑 ) (REGISTER ' 緑 ' 好きなもの ' りんご ). いろ. 赤. りんご. 女の子. いろ.

alyssa-diaz
Télécharger la présentation

KENiB 概要 Knowledge Expression Network / Information Base 【 keni: 】

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. KENiB 概要 Knowledge Expression Network / Information Base 【 keni: 】 オー・エス・フォー株式会社

  2. いろ (REGISTER 'レモン 'いろ '黄色) レモン 黄色 (REGISTER 'りんご 'いろ '赤) (REGISTER 'りんご 'いろ '緑) (REGISTER '女の子 '名前 '緑) (REGISTER '緑 '好きなもの 'りんご) いろ 赤 りんご 女の子 いろ KENiB(2): (cells) > (いろ りんご レモン 名前 女の子 好きなもの 緑 赤 黄色) KENiB(3): (what-is 'レモン) > レモン > 's いろ is 黄色. KENiB(4): (what-is 'りんご) > りんご > 's いろ is 緑. > 's いろ is 赤. > is 緑's 好きなもの. KENiB(5): (what-is '緑) > 緑 > 's 好きなもの is りんご. > is 女の子's 名前. > is りんご's いろ. KENiB(6): (what-is 'いろ) > いろ > ->緑 is りんご'S property (いろ). > ->赤 is りんご'S property (いろ). > ->黄色 is レモン'S property (いろ). 緑 名前 好きなもの KENiB(8): (what-is '水) > 水 > 's 状態 is 液体. KENiB(9): (define 'temp 150) > RE-DEFINED : TEMP is 150. KENiB(10): (what-is '水) > 水 > 's 状態 is 蒸気. KENiB(11): (define 'temp -40) > RE-DEFINED : TEMP is -40. KENiB(12): (what-is '水) > 水 > 's 状態 is 氷. - 1 -

  3. KENiB(21): (what-is '義経) > 義経 > 's 恋人 is 静. > 's 性別 is 男. > 's 父 is 義朝. > is 頼朝's 弟. > is 常盤's 息子. > is 義朝's 息子. KENiB(22): (what-is '義朝) > 義朝 > 's 性別 is 男. > 's 息子 is 義経. > 's 息子 is 頼朝. > is 義経's 父. > is 為義's 息子. KENiB(23): (forward '義経) > 義経 > ..'s 恋人 is 静. > ....'s 性別 is 女. > ..'s 性別 is 男. > ..'s 父 is 義朝. > ....'s 性別 is 男. > ....'s 息子 is 義経. > ....'s 息子 is 頼朝. > ......'s 性別 is 男. > ......'s 弟 is 義経. KENiB(24): (backward '義経) > 義経 > ..is 頼朝's 弟. > ....is 義朝's 息子. > ......is 義経's 父. > ......is 為義's 息子. > ..is 常盤's 息子. > ..is 義朝's 息子. > ....is 義経's 父. > ....is 為義's 息子. (REGISTER '為義 '息子 '義朝) (REGISTER '義朝 '息子 '頼朝) (REGISTER '義朝 '息子 '義経) (REGISTER '義朝 '性別 '男) (REGISTER '常盤 '息子 '義経) (REGISTER '頼朝 '弟 '義経) (REGISTER '頼朝 '性別 '男) (REGISTER '義経 '父 '義朝) (REGISTER '義経 '性別 '男) (REGISTER '義経 '恋人 '静) (REGISTER '静 '性別 '女) 為義 息子 息子 義朝 常盤 父 息子 頼朝 息子 義経 弟 KENiB(25): (similar-to '義経) > [ 義経 is 義朝's 息子.] > -> 頼朝 > [ 義経's 性別 is 男.] > -> 頼朝 > -> 義朝 KENiB(26): (relation '義経 '義朝) > 義経 -> 義朝 > ..'s 父 is 義朝. > > 義朝 -> 義経 > ..'s 息子 is 義経. > ..'s 息子 is 頼朝. > ....'s 弟 is 義経. KENiB(27): (common '義経 '頼朝) > 義経 -> [男] > ..'s 性別 is 男. > 頼朝 -> [男] > ..'s 性別 is 男. > > [義朝] => 義経 > ..'s 息子 is 義経. > [義朝] => 頼朝 > ..'s 息子 is 頼朝. 静 恋人 - 2 -

  4. (REGISTER '哺乳動物 'GIVES '母乳) (REGISTER '哺乳動物 'HAS '体毛) (REGISTER '食肉動物 'HAS '尖った歯) (REGISTER '食肉動物 'HAS '爪) (REGISTER '食肉動物 'EATS '肉) (REGISTER '食肉動物 'KIND-OF '哺乳動物) (REGISTER 'トラ 'HAS '黒い縞模様) (REGISTER 'トラ 'KIND-OF '食肉動物) (REGISTER 'チータ 'HAS '黒い斑点) (REGISTER 'チータ 'IS-A '食肉動物) (REGISTER '有蹄動物 'CHAWS '反芻) (REGISTER '有蹄動物 'HAS 'ひずめ) (REGISTER '有蹄動物 'MEMBER-OF '哺乳動物) (REGISTER 'キリン 'HAS '長い首) (REGISTER 'キリン 'HAS '長い脚) (REGISTER 'キリン 'HAS '黒い斑点) (REGISTER 'キリン 'KIND-OF '有蹄動物) (REGISTER 'シマウマ 'HAS '黒い縞模様) (REGISTER 'シマウマ 'IS-AN '有蹄動物) KENiB(31): (common 'チータ 'キリン) > チータ -> [哺乳動物] > ..'s IS-A is 食肉動物. > ....'s KIND-OF is 哺乳動物. > キリン -> [哺乳動物] > ..'s KIND-OF is 有蹄動物. > ....'s MEMBER-OF is 哺乳動物. > > チータ -> [黒い斑点] > ..'s HAS is 黒い斑点. > キリン -> [黒い斑点] > ..'s HAS is 黒い斑点. KENiB(32): (quest '体毛 '黒い縞模様) > シマウマ [‘S HAS is 黒い縞模様, > and 哺乳動物's HAS is 体毛.] > ..'s IS-AN is 有蹄動物. > ....'s MEMBER-OF is 哺乳動物. > > トラ [‘S HAS is 黒い縞模様, > and 哺乳動物's HAS is 体毛.] > ..'s KIND-OF is 食肉動物. > ....'s KIND-OF is 哺乳動物. 哺乳動物 母乳、体毛 MEMBER-OF KIND-OF 有蹄動物 食肉動物 反芻、ひずめ KIND-OF 尖った歯、 爪、肉 KIND-OF キリン IS-AN IS-A トラ 長い首、 長い脚、 黒い斑点 シマウマ 黒い縞模様 チータ 黒い縞模様 黒い斑点 - 3 -

  5. B A C D K L M B J E A C D O N K F L M I J E KENiB(44): season > AUTUMN H G O F I KENiB(45): (what-is 'l) > L > 's B767 is C. > is M's B767. > is K's MD11. > is D's A310. KENiB(41): (path 'd 'i) > D => > -> L [A310] > -> N [A310] > -> G [B767] > -> H [A310] > -> I [N-22] H G KENiB(46): (define 'season 'winter) > RE-DEFINED : SEASON is WINTER. B A C D KENiB(47): (path 'd 'i) > D => > -> L [A310] > -> O [SEASONAL] > -> I [MD11] KENiB(42): (eliminate 'n) > Erased [ N's B767 is G ] > Erased [ O's A310 is N ] > Erased [ L's A310 is N ] K L M J E O F I KENiB(43): (path 'd 'i) > D => > -> L [A310] > -> C [B767] > -> B [B767] > -> A [N-22] > -> K [A310] > -> O [N-22] > -> I [MD11] KENiB(48): (what-is 'l) > L > 's SEASONAL is F. > 's SEASONAL is O. > 's B767 is C. > is M's B767. > is K's MD11. > is D's A310. H G - 4 -

  6. コンピュータをもっと賢く オー・エス・フォー株式会社 http://www.OSiv.com

More Related