% Copyright (C) 1996  Katsumi Inoue 
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% function.txt             %%%
%%%         by Katsumi Inoue %%%
%%%         (1996.6.13)      %%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

ֹΤοץγȯ
ݥ֥ƥץߥ󥰽ϡ

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

ʣˣ̣нϤγ

ܥեȥϡ֥֥ƥץߥ󥰡(abductive logic 
programming; ALP)νϤǤ롣ALPץߥ󥰤γĥ饹Ǥꡤ
ñĴʥǥեȤǤּԤˤ(negation as failure; NAF)
εҤ˲äơ֥֥פεǽ碌äƤ롥ALPϤ
ǽι⤵ˤμɽȤܤƤ뤬˳ȯ줿ALP
׻³ȤƤϡꤵ줿饹ФΤ¸ߤƤʤܽ
ˤƤϡǥMGTP˼¸뤳ȤˤꡤMGTPΥܥȥ
å׷׻ħ褫ơʤ깭饹ФƷĴʼ³
¸Ƥ롥

MGTPϹ®ȤƤʳˡץߥʬˤơ
Ūץߥ󥰡(disjunctive logic programming)Υܥȥॢå
ϤȤƤŪɾƤ롥ȤˡNAFη׻ΤΡְ塦¼
ĹëפϡץΡְǥ(stable model)ɽŪ
׻ΰĤȤΤƤ롥ʤ顤MGTPˤ
֥η׻ˤĤƤϡ¸եȥƤ
äȯALPϤǤϡNAFӥ֥MGTPǤη׻
ץƱ󶡤Ƥ롥˹®ޤ뤿κŬܤ
ɾԤäȤ¾ƥ٤ɹǽäƤ뤳ȤǧǤ

ʣˣ̣нϤεǽ

ALPϤǤϡALPοǰܥȥॢåפ˷׻֥ۤ
ǽդ礻ǽǤ롥ϡͿ줿ʤޤϴ¬ˤ
ФơȤʤ벾ʤʤ ˤդƲ֤ΤǤ롥
ʵǽϰʲ̤Ǥ롥

(a) ֥Ԥʤʤ 
򽸹򣱤ġʤޤϤ٤ơ֤르򽸹򣱤
ʤޤϤ٤ơ֤르򽸹礬¸ߤ뤫Ƚꤹ롿
르뤬٤Ƥβ򽸹뤫Ƚꤹ
(b) ֥Ԥʤ
ǰ򣱤֤˾ʿǰ򤹤٤֤¬ǰ
ġʤޤ϶˾ʤΤ򤹤٤ơ֤¬ǰ礬¸ߤ뤫
Ƚꤹ롿¬٤Ƥζ˾ʿǰ뤫Ƚꤹ롿¬
򣱤ġʤޤ϶˾ʤΤ򤹤٤ơ֤

嵭εǽϤ⡤ѿդ礻ФƲ֤ȤǽǤ롥
ǥ򣱤֤ˤϡPrologƱ͡θ˥ߥ(;)Ϥ뤳
ˤ¾βˤ뤳ȤǤ롥

ʣˣ̣нϤħ

ALPϤħȤƤϰʲ󤲤롥

(a) ĤνϤǰץΥ饹Ƥ줿ʤ³
⹭ǤŪAEDPǤϡNAFȲǽƥʳˡꡤ
إåɤͰξβѿҲǽǤ롥
(b) MGTPˤʬ׻ΤΥץѴʷȴˤϡ
塦֤ˤựˤݾڤƤ롥
(c) ALPϤ濴ϡƼι⼡ηϤMGTPؤΥѥ
MGTPǥܥȥॢå׷׻ԤȤ̤᥿ץߥ
ˡ˴ŤƤ롥Τ褦MGTP׻뤤ʬõǽѤ
Ȥǡõβǽʲưפ˥ץߥ󥰤Ǥ롥
(d) 쳬Ҹ쥳ѥǤϡALPγƥ롼ĤMGTPѴ롥ʤ
Ѵϥ⥸(modular)Ǥ롥äƥץॵ֤
ѴǽǤꡤѴˤ륪Сإåɤˤƾʤ
(e) NAF׻˴ؤƤĤκŬܤ̡ǶƤ줿٥ޡ
䥰NPѤɾˤɹǽ򼨤

ʾ
