KENiB
This presentation is the property of its rightful owner.
Sponsored Links
1 / 6

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


  • 70 Views
  • Uploaded on
  • Presentation posted in: General

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

Download Presentation

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.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -

Presentation Transcript


Kenib knowledge expression network information base keni

KENiB 概要

Knowledge Expression Network / Information Base

【 keni: 】

オー・エス・フォー株式会社


Kenib knowledge expression network information base keni

いろ

(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 -


Kenib knowledge expression network information base keni

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 -


Kenib knowledge expression network information base keni

(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 -


Kenib knowledge expression network information base keni

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 -


Kenib knowledge expression network information base keni

コンピュータをもっと賢く

オー・エス・フォー株式会社

http://www.OSiv.com


  • Login