#	User Manual for Shaky v2.0
#	Copyright (C) 1998,   (kaneiwa@jaist.ac.jp)
#	              1997, 翹  §(oomori@jaist.ac.jp)


ܼ

1. Ϥ
2. ˡ
3. λ
4. 
5. ¾


1. Ϥ

  ˡŪƥ Shaky , ˡΧμ򵭽Ҥ뤿˾ɽ, ȽҸηɽҸζ̤󶡤Ƥ. ɽǤ, ˰¸󤬰Υ٥ȤǤ뤫, ֤Ƿ³ŪΩĥơȤǤ뤫̤Ǥ. ȽҸηɽˤ, νŪʥ()¾, ٥ȤȤƤνҸηȥץѥƥȤƤνҸηƳƤ. νҸɽ, ؤ˲äƽҸʥ٥ȡץѥƥˤζ̤󶡤Ƥ. 
ƥˡŪòƤλѤΤߤʤ餺, ŪˤѲǽǤ.  Ǥ, ˡŪαѤȤƤ, ŪʽҸηؤ, Ӿ¸򵭽Ҥ, ΥƥबºݤλξοˤƤޤǽ뤳Ȥ򼨤.


2. ˡ
2.1 ¹Լ

 (1) 󥹥ȡԤ(Install-J򻲾)
 (2) ޥɥץץȤshakyΩ夲.
 (3) [la].
 (4) ui:shell.
	¹Ԥ,
	w> 
	ȤץץȤФΤ, 㤨Ф
	w> load_data(file='sample/sample1').
	ޤǤǥǡΥɤλ.
 (5) Ʊ
	w> 
	Ƿ̤ɽ.
 (6) Ǹ
	w> exit.
	ǽλ.


2.2 ¹
| ?- ui:shell.
w> load_data(filename='sample/sample1').
w> s1:homicide(agt=X:taro).

yes
w> s1:illegal_act(agt=X:taro).

yes
w> s2:#drink(agt=X:hanako,obj=Y:alcoholic).

yes
w> s2:#drink(agt=X:hanako,obj=Y:beer,place=Z:bar).

yes
w> s2:drink(agt=X:hanako,obj=Y:alcoholic).
no
w> s2:illegal_act(agt=X:jiro).

yes
w> s2:#drink(agt=X:jiro,obj=Y:alcoholic).
no
w> exit.
good by
yes




3. λ
3.1 ɽ

(term) : ׹ˤγǰɽ
	ex. apple[color=red,taste=sour]

(situation) : Ⱦѿˤ, ե򥵥ݡȤ. 

ݡ(support)μ :  ':' or ':=' or ':>' 

ե(infon) : Ҹˤ륪֥ȴ֤δطɽ. 		   

̿  +ݡȤμ+ե

ե  ̿ˤإåΤߤ
	ex. s1:fly(sbj=bird).

롼  إåˣĤ̿ȥܥǥͭ¤̿ä



3.2 ιʸ
ιʸ, Τ褦. 

<RULE> ::= <HEAD> \ <= \ <BODY>. 
  <SITUATION> \ :: \ <HEAD> \ <= \ <BODY>.
<FACT> ::= <HEAD>.
<QUERY> ::= ?- <BODY>.
<HEAD> ::= <PROPOSITION>
<BODY> ::= <PROPOSITION> , ... , <PROPOSITION>
<PROPOSITION> ::= <SITUATION> : <INFON>
<INFON> ::= <PREDICATE> ( <LABEL>  = <TERM> , ... ,
   <LABEL> = <TERM> )
<TERM> ::= <SORT> <FEATURE \_ STRUCTURE> 
  <VAR> : <SORT> <FEATURE \_ STRUCTURE>
<FEATURE \_ STRUCTURE> ::= [ <LABEL> = <TERM> , ... ,
   <LABEL> = <TERM> ]
<VAR> ::= ʸϤޤʸ
<PREDICATE> ::= ʸˤʸ
<SORT> ::= ʸˤʸ
<SITUATION> ::= ʸˤʸ
<LABEL> ::= ʸˤʸ


3.3 ǡ١ι
ܸ¹Ԥ뤿Υץǡ, ǡ١˼ΣĤη
ǳǼ.

<ץǡ>
-------------------------------
[٥]


-------------------------------
[شط]


-------------------------------
[եȤȥ롼]



~                             ~
~                             ~



-------------------------------


[٥]
ҸΰѤ٥򥹥פȶ. פ, 
ȤˤäƼ. 
 
[شط]
شط, ִط, ȤγǰطȽҸγǰط鹽
. 

[եȤȥ롼]
եȤȥ롼, ۡˤäɽ. 




3.4 ƥࡦޥ
load_data(file='sample/sample1').
	  ץɤ, ʸˡå. 

list.     ץꥹȤ. 

list_i.   ץɽꥹȤ. 

init_db.  ɤץ򥯥ꥢ롥

exit.     ƥλ롥





4. 
4.1 κ

(1) ƥȥե򿷵˺. 

(2) ٥. 

(3) ȽҸγشط. 

(4) ִط. 

(5) 롼뤪ӻ¤򵭽Ҥե롥

(6) ꤬顤ƥǥɤ롥

(7) 顼ȯ顤(6)롥


4.2 ʸˡåꥹ
ץ, Ȥ䤹ߥ򼨤. 
(1) ʸκǸ˥ԥꥪɤʤ. 

(2) ٥뤬Ƥʤ. 

(3) ¤[ ]ǳäƤʤ. 

(4) Ҹΰ( )ǳäƤʤ. 


4.3 Υץȼ
ʲ򣴤ļ

㣱.ˡŪ(ˡ̤ǯ԰ػˡ)

ե̾sample1

agt=person.
coagt=person.
obj=thing.
result=top.
tool=thing.
place=space.

taro<minor.
jiro<minor.
hanako<adult.
adult<person.
minor<person.
beer<alcoholic.
sake<alcoholic.
alcoholic<thing.
bat<thing.
bar<space.
corpse<top.

hit<-do.
minor_drinking<-illegal_act.
homicide<-illegal_act.

s1<<s2.
s2<<s3.

s1:hit(agt=X:taro,coagt=Y:hanako,tool=Z:bat).
s1:intend(agt=X:taro,coagt=Y:hanako,result=Z:corpse).
s0:drink(agt=X:jiro,obj=Y:sake).

S::S:homicide(agt=X:person,coagt=Y:person) <-
S:hit(agt=X:person,coagt=Y:person),
S:intend(agt=X:person,coagt=Y:person,result=Z:corpse).

S:#drink(agt=adult,obj=alcoholic).
S2::S2:minor_drinking(agt=X:minor) <- S2:drink(agt=X:minor,obj=Y:alcoholic).



[]
s1ϺϥХåȤǲֻҤ򲥤ä. 
s1ϺϲֻҤ򻦤ջ֤äƤ. 
s0ǼϺϼ. 

[롼]
ͤջ֤ǿͤ򲥤ä, η̿ͤʤ, ͤǤ. 
ͤ, ย. 
̤ǯʤ, ̤ǯ԰Ǥ. 

[]

s1:homicide(agt=X:taro).
s1Ϻϻͤ򤷤
yes
s1:illegal_act(agt=X:taro).
s1Ϻϰˡ԰٤򤷤
yes
s0:#drink(agt=X:hanako,obj=Y:alcoholic).
s0ǲֻҤϼยĤ
yes
s0:#drink(agt=X:hanako,obj=Y:beer,place=Z:bar).
s0ǲֻҤϼǥӡยĤ
yes
s0:drink(agt=X:hanako,obj=Y:alcoholic).
s0ǲֻҤϼ
no
s0:illegal_act(agt=X:jiro).
s0ǼϺϰˡ԰٤򤷤
yes
s0:#drink(agt=X:jiro,obj=Y:alcoholic).
s0ǼϺϼยĤ
no


㣲.Ҹηؤ

ե̾sample2

agt=person.
coagt=person.
sbj=top.
obj=thing.
place=space.

penguin<bird.
crow<bird.
bird<animal.
taro<person.
hanako<person.
wallet<thing.

agt=person.
coagt=person.
sbj=top.
obj=thing.

move<-do.
fly<-move.
walk<-move.
rob<-steal.
rob<-hit.
hit<-illegal_action.
steal<-illegal_action.

s1:fly(sbj=X:bird).
S:#fly(sbj=bird).
s2:hit(agt=X:taro,coagt=Y:hanako).
s2:steal(agt=X:taro,obj=Y:wallet).



[]
s1ˤĻǤ. 
Ļ. 
s2ˤϺϲֻҤ򲥤ä. 
s2ˤϺϺۤ𤷤. 

[]
s1:fly(sbj=X:penguin).
s1ǥڥ󥮥
no
s1:fly(sbj=X:animal).
s1ưʪ
yes
s1:move(sbj=X:bird).
s1Ļϰư
yes
s1:#fly(sbj=penguin).
s1ǥڥ󥮥Ĥ
yes
s1:#fly(sbj=animal).
s1ưʪĤ
no
s1:#move(sbj=bird).
s1ĻϰưĤ
yes
s2:rob(agt=X:taro,obj=Y:wallet,coagt=Z:hanako).
s2ˤϺϲֻҤۤ𤷤
yes

㣳.(¸Ū)

ե̾sample3
agt=person.
coagt=person.

taro<person.
jiro<person.
hanako<person.

tokyo<<kanto.
chiba<<kanto.
kanagawa<<kanto.
shinjuku<<tokyo.

S::S:exist(agt=X)<-
	S:see(agt=X,coagt=Y).
	
tokyo:see(agt=taro,coagt=hanako).
chiba:see(agt=taro,coagt=jiro).
kanagawa:see(agt=taro,coagt=hanako).




[롼]
SXY򸫤ʤСYϾS¸ߤ

[]
ϺϡǲֻҤ򸫤
ϺϡդǼϺ򸫤
ϺϡǲֻҤ򸫤ʤä

[]
kanto:see(agt=taro,coagt=hanako).
ϺϡǲֻҤ򸫤
yes
tokyo:see(agt=taro,coagt=hanako).
ϺϡǲֻҤ򸫤
yes
shinjuku:see(agt=taro,coagt=hanako).
ϺϡɤǲֻҤ򸫤
no

㣴.(¸Ū)

ե̾sample4
obj=top.

tennis<sports
baseball<sports

tokyo<<japan.

japan:>broadcast(obj=X:baseball).
tokyo:>broadcast(obj=X:tennis).




[]
ܤ夬줿.
ǥƥ˥줿.

[]
tokyo:>broadcast(obj=X:baseball).
夬줿
yes
japan:>broadcast(obj=X:tennis).
ܤǥƥ˥줿
no

5. ¾
ܥƥξܺ٤ˤĤƤ, 
ȤΤ. 
