Copyright (C) 1997  Katsumi Inoue 

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% function.txt             %%%
%%%         by Katsumi Inoue %%%
%%%         (1997.5.9)       %%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

ֹΤοץγȯ
ݥϡ

ܥեȥεǽ
------------------------

ʣ˥Ϥγ

ܥեȥϡ (action language) νϤǤ롥
ȤϡѲȼΰ򵭽Ҥ뤿Ū
٥Ǥ롥θνϤȯ뤳ȤǡѲ
ȼμưޤ롥

ѲȼμưϿ͹ǽˤŵŪǤǤʤ
ǶΥȤܥåȤΥץߥ󥰤ˤƤܤƤ롥
ФŪץǤϡñĴ䥢֥ε
ѤǤ뤳ȤΤƤ뤬ޤǤ˷׻Ǽ¸ɾ
ϤۤȤɤʤ

ܥեȥǼ갷ϡե롼
֤󼰤ɽǽʿǤꡤGelfond  Lifschitz ˤ 
${\cal A}$ γĥȤƤΤǤ롥
θĥŪץǯٳȯ MGTP 
֥ƥץߥ󥰡ALP˽ϤξǼ¹Ԥ롥
ALP ץߥ󥰤γĥ饹ǤꡤñĴʥǥեȤǤ
Ԥˤ (negation as failure; NAF) εҤ˲äơ֥
ǽ碌äƤ롥MGTP  ALP ϤˤƤϡǥ
 MGTP Υܥȥॢå׷׻ħ褫ơALP ι饹Ф
Ĵʼ³¸Ƥ롥

ޤ˥®˼¹Ԥ뤿ˡALP ƥθΨ
ޤꡤνΨ夵뤳Ȥˤꡤ
ưŪѲΰФƼ礻ǽˤ륢Ϥ
¸Ǥ

ʣ˥Ϥεǽ

ϤϰʲΤ褦ʵǽäƤ롥

(a) ALPϤεǽ
򽸹򣱤֤; 򽸹򤹤٤֤; MGTPϤǥ򣱤֤; 
MGTPϤǥ򤹤٤֤; ʤ
(b)  S ˤƥե롼 F ΩƤ뤳Ȥ̣
holds(F,S) Ȥ礻ǽʲǽ
  -- F ѿȤ S ˤΩ뤹٤ƤΥե롼Ȥ֤
  -- S ѿȤ F ¸뤿Υ֤ʥץ˥󥰵ǽ
(c)  S ˤƥե롼 F ΩƤʤȤ̣
-holds(F,S) Ȥ礻ǽʲǽ
(d) 륢ϤȤͿȡ֤餽Υ
¹Ԥξ֤ޤǤܾ֤
(e) 桼ƥƥǽ
ΰΥ򤹤٤֤; ΰΥե롼Ȥ򤹤٤֤; 
ΰʹθˤ򤹤٤֤; 
ΰãǽʾ򤹤٤֤; ʤ

ʣ˥Ϥħ

ϤħȤƤϰʲ󤲤롥

(a) Ƥ륢ˤƤϡθ̡ʸ̿ˡ
ưŪɾ̿ˡŪʽ­̿ˡμ¹Բǽ
ʼ¹Բǽ̿ˤɽǽǤ롥
(b) 줬ץǺǤ⹭饹ΰĤǤ
ĥŪץ (extended disjunctive program) Ѵ롥
(c) ϤϡޤŸƤ
ºݤ˿ǤϤǤꡤĤ¤ϤΤΡ
ΰ赭ҤѿޤˤԤȤǤ롥
(d) NAFˤƳˤ׻θΨʤƤ롥

ʾ
