\documentstyle[epsf,j-art10]{j-article}
\pagestyle{empty}
\textheight=25cm
\textwidth=16cm
\topmargin=-1.0cm
\oddsidemargin=0cm


\begin{document}
\baselineskip=19pt

\title{GUI$BA`:n%^%K%e%"%k(B}
\author{ICOT}
\date{1995.1.25}

\pagestyle{plain}

\maketitle

\tableofcontents

\newpage

\listoffigures

\newpage

\normalsize

\section{$B35MW(B}

$B$3$N%^%K%e%"%k$O!"(Bnew-HELIC-II$B$N(BGUI (Graphical User Interface)$B$r;H$C$F(B
$BO@Ah$r$$$+$K9T$J$&$+$K$D$$$F@bL@$9$k!#(B
$BO@Ah5!G=$K$D$$$F$N35G0E*$J@bL@$O(B\ref{ronsou}$B$K>\$7$/=q$+$l$F$$$k!#(B
$B<B:]$K;H$C$F$_$kA0$K$3$N>O$KL\$rDL$7$F$*$/$3$H$r?d>)$9$k!#(B
$B$^$?%^%K%e%"%k$NCf$G;H$o$l$F$$$kMQ8l$O!"$=$N>l$G4JC1$J@bL@$r2C$($F$$$k$,!"(B
$B7OE}N)$F$FM}2r$9$k$?$a$K!"8@8l%^%K%e%"%k$NDLFI$r?d>)$9$k!#(B

\section{$B4pK\CN<1(B}

\subsection{$BO@Ah%b%G%k(B}\label{ronsou}

HELIC-II$B$NO@Ah5!G=$O!"8!;!B&$HHo9pB&$H$$$&#2$D$N%(!<%8%'%s%H$N(B
$B4V$NO@Ah%b%G%k$r<B8=$7$?$b$N$G$"$k!#(B

$BO@Ah$K$*$1$k8!;!%(!<%8%'%s%H$NL\I8$O!"<+?H$N%4!<%k$r@5Ev2=$9$kO@>Z$r(B
$B@8@.$9$k$3$H$G$"$j!"(B
$BHo9p%(!<%8%'%s%H$NL\I8$O!"$=$NO@>Z$KBP$9$kM-8z$JH?O@$r@8@.$9$k$3$H$G$"$k!#(B

$B$3$NO@Ah%b%G%k$NA0Ds$O0J2<$NDL$j$G$"$k!#(B

\begin{itemize}

\item $BAPJ}$N%(!<%8%'%s%H$O!"$=$l$>$l0[$J$kCN<1(B($B2ACM4Q(B,$B%k!<%k=89g(B)$B$r;}$D!#(B
\item $B8!;!%(!<%8%'%s%H$N$_$,O@Ah$NCf$GC#@.$9$Y$-%4!<%k$r;}$D!#(B
$B$=$N%4!<%k$O(BH$B9`(B\footnote{H$B9`$K$D$$$F$O8@8l%^%K%e%"%k$r;2>H(B}$B$H$7$FI=8=$5$lFbIt$KJQ?t$r4^$s$G$$$F$bNI$$!#(B
$BHo9p$O8!;!$N=P$7$?O@>Z$KBP$7$F<uF0E*$KH?G}$r9T$J$&!#(B
\item $BAPJ}$N<gD%$O!";v<B$K4pDl$9$k?dO@LZ$N7A$r$7$?O@>Z$rMQ$$$F(B
$B9T$J$o$J$1$l$P$J$i$J$$(B
\item $BO@>Z4V$NHf3S$O!"O@>Z$N(Btop-rule$B$N4V$NM%@h4X78$K$h$C$F7hDj$5$l$k(B
\footnote{Sub-Argument$B$NI>2A$r$7$J$$$G(BTop-Rule$B$N$_$GM%@h4X78$r7h$a$F$$$k(B
$B$3$H$,!"(BDefeasible Reasoning$B$G$NO@>Z$NHf3S$H$O0[$J$k(B}$B!#(B

\end{itemize}

$BO@Ah$N2aDx$K$*$$$F!"APJ}$,!"<+J,$N2ACM4Q$N4p$GM%0L$K$J$kO@>Z$r(B
$BAj<j$K<gD%(B(pose)$B$7$?$j!"(B $B<+J,$NO@>Z$NJ}$,Aj<j$NO@>Z$h$jM%0L$G$"$k$3$H$r(B
$BDLCN(B(notice)$B$9$k$3$H$K$h$j!"O@Ah$r?J$a$F$$$/!#(B

% +----+  	---->  		+----+
% |$B8!;!(B|     $BO@Ah%W%m%H%3%k(B 	|$BHo9p(B|
% +----+  	<----  		+----+
%   |		  	  	  |
%   V		  	  	  V
% +===========+	       		+===========+
% |$B2ACM4Q(B1    |	       		|$B2ACM4Q(B2    |
% |$B%k!<%k=89g(B1|	       		|$B%k!<%k=89g(B2|
% +===========+	       		+===========+
% 
% 		[ $BO@Ah%b%G%k(B ]

$B3F%(!<%8%'%s%H$OO@Ah%W%m%H%3%k$H8F$P$l$k%a%C%;!<%8$rAj<j$KDLCN$9$k$3$H$K$h$j!"(B
$B<+J,$N9M$($rAj<j$KDLCN$9$k!#0J2<$K$=$N<oN`$r<($9!#(B

\begin{enumerate}

\item $BO@>Z<gD%(B(pose)\\
	$B<+J,$NO@>Z$rAj<j$K<gD%$9$k!#Aj<j$K<gD%$dH?O@$r$7$?$$;~$K;H$&!#(B
\item $BM%@hDLCN(B(notice)\\
	$B<+J,$NO@>Z$NJ}$,M%0L$G$"$k$3$HDLCN$9$k!#(B
\item $BO@>Z4~5Q(B(cancel)\\
	$B<+J,$,0JA0DLCN$7$?O@>Z$r4~5Q$9$k!#(B
\item $BO@Ah=*N;(B(finish)\\
	$BAj<jO@>Z$K$D$$$FO@Ah$,=*N;$7$?$3$H$rDLCN$9$k!#(B

\end{enumerate}


\section{HELIC-II GUI$B$N;EAH$_(B}

\subsection{$B9=@.(B}

HELIC-II GUI$B$OFs$D$N(BUnix Process$B$+$i9=@.$5$l$k!#(B
$B0l$D$O!"(BKL1$B$K$h$C$F=q$+$l$??dO@%(%s%8%sIt$G!"$b$&0l$D$O(BC$B$G=q$+$l$?(BGUI$BIt$G$"$k!#(B
$B$3$l$iFs$D$N(BUnix Process$B$O%=%1%C%HDL?.$K$h$C$F7k$P$l$F$$$k!#(B
HELIC-II$B$rN)$A>e$2$k$K$O!"$3$l$iFs$D$r?dO@%(%s%8%s!"(BGUI$B$N=g$GN)$A>e$2(B
$B$J$1$l$P$J$i$J$$!#5/F0J}K!$K$D$$$F$O(B \ref{KH} $B$r;29M!#(B

\subsection{GUI$B<B9T;~$N>uBVA+0\(B}

$BO@Ah5!G=$r<B9T$9$k(BGUI$B$K$O0J2<$N#3$D$N>uBV$,$"$j!"(B $B>uBV$K1~$8$F;H$($k%3%^%s%I$,(B
$B@)8B$5$l$k!#5/F0;~$O=i4|>uBV$G$"$k!#(B

%	   	  debate,rbr		      start
%+--------+  	--------> 	+--------+  --------> 	+--------+
%|$B=i4|>uBV(B|		  	|$B@_Dj>uBV(B|              |$BO@Ah>uBV(B|
%+--------+	<-------- 	+--------+  <-------- 	+--------+
%		  quit			      end

\begin{enumerate}
\item $B=i4|>uBV(B:

\begin{enumerate}
\item $B;HMQ2DG=%3%^%s%I(B
\begin{itemize}
\item $BCN<1%Y!<%9%m!<%I4XO"(B
\item $BO@Ah%(!<%8%'%s%HLr3d@_Dj(B
\end{itemize}
\item $B>uBVA+0\%3%^%s%I(B\\
Debate$B$b$7$/$O(BRBR$B$G@_Dj>uBV$K0\$k!#(B
\end{enumerate}

\item $B@_Dj>uBV(B: 

\begin{enumerate}
\item $B;HMQ2DG=%3%^%s%I(B
\begin{itemize}
\item $B2ACM4Q@_Dj(B
\item $B%4!<%k@_Dj(B
\item $B;HMQ%f%K%C%H@_Dj(B
\item $BO@>Z%V%i%&%64XO"%3%^%s%I(B\footnote{$BO@Ah$,4{$K0lEY=*$C$FO@>Z$,(B
$BI=<($5$l$F$$$k>l9g$N$_(B}
\end{itemize}
\item $B>uBVA+0\%3%^%s%I(B\\
Quit$B$G=i4|>uBV$KLa$j!"(BStart$B$GO@Ah>uBV$K0\$k!#(B
\end{enumerate}

\item $BO@Ah>uBV(B:

\begin{enumerate}
\item $B;HMQ2DG=%3%^%s%I(B
\begin{itemize}
\item $BO@Ah4XO"%3%^%s%I(B
\item $BO@>Z%V%i%&%64XO"%3%^%s%I(B
\end{itemize}
\item $B>uBVA+0\%3%^%s%I(B\\
End$B$G@_Dj>uBV$KLa$k!#(B
\end{enumerate}

\end{enumerate}

$B$J$*!"=i4|>uBV$+$i@_Dj>uBV$X9T$/$?$a$K$O0J2<$N=hM}$rI,$:9T$J$o$J$1(B
$B$l$P$$$1$J$$!#(B

\begin{itemize}
\item $BCN<1%U%!%$%k$NFI$_9~$_!#>\$7$/$O(B\ref{FLW}$B$r;2>H$N$3$H!#(B
\item $BO@AhEv;v<T$N@_Dj!#>\$7$/$O(B\ref{YSW}$B$r;2>H$N$3$H!#(B
\end{itemize}

$B$^$?!"@_Dj>uBV$+$iO@Ah>uBV$X9T$/$?$a$K$O0J2<$N=hM}$rI,$:9T$J$o$J$1(B
$B$l$P$$$1$J$$!#(B

\begin{itemize}
\item $B;HMQCN<1$N@_Dj!#>\$7$/$O(B\ref{CSW}$B$r;2>H$N$3$H!#(B
\item $B2ACM4Q$N@_Dj!#>\$7$/$O(B\ref{KSW}$B$r;2>H$N$3$H!#(B
\end{itemize}

\newpage
\section{$B5/F0J}K!(B}\label{KH}

HELIC-II GUI$B$r5/F0$9$k$K$O!"(BUnix$B$N%7%'%k$+$i!"?dO@%(%s%8%s$H(B
GUI$B$NFs$D$rN)$A>e$2$J$1$l$P$J$i$J$$!#$3$l$i$N5/F0=g=x$ODj$^$C$F$*$j!"(B
$B?dO@%(%s%8%s$rN)$A>e$2$?8e$G!"(BGUI$B$rN)$A>e$2$J$1$l$P$J$i$J$$!#(B

\subsection{$B5/F0%3%^%s%I(B}

$B$3$N@a$G=R$Y$i$l$k(Bguidbt, gui$B$NFs$D$N%3%^%s%I$O(BHELIC-II$B$N%$%s%9%H!<%k(B
$B%G%#%l%/%H%j$N2<$N(Bbin$B$NCf$K$"$k!#$3$l$i$N%3%^%s%I$N@8@.J}K!$O%$%s%9%H!<%k(B
$B%^%K%e%"%k(B(INSTALL(.j))$B$r;2>H$N$3$H!#(B

\subsubsection{$B?dO@%(%s%8%s(B}

{\bf $B%3%^%s%I(B:}
\begin{quote}
guidbt [-port PORTNO]
\end{quote}

{\bf $B0z?t(B:}
\begin{quote}
\begin{tabbing}
PORTNO \ \ \= \kill
PORTNO \> $B%=%1%C%H$N%]!<%HHV9f!#(B\\
\end{tabbing}
\end{quote}

{\bf $B>\:Y(B:}
\begin{quote}
$B?dO@%(%s%8%s$r5/F0$9$k!#5/F0$9$k$K$O0z?t$^$?$O4D6-JQ?t(BHELIC\_HOST\_PORT$B$K(B
$B$h$C$F!"(B
GUI Process$B$H7k$V%=%1%C%H$N%]!<%HHV9f$r;XDj$7$F$*$+$J$1$l$P$i$J$i$J$$!#(B
$B$=$N%]!<%HHV9f$O(BGUI$B$K;XDj$9$k%]!<%HHV9f$H6&DL$G$J$1$l$P$J$i$J$$!#(B

$BNc$($P%]!<%HHV9f$r(B9900$B$K;XDj$9$k>l9g$O!"0J2<$N$h$&$K9T$J$&!#(B

\begin{verbatim}
% setenv HELIC_HOST_PORT 9900
\end{verbatim}

\end{quote}

{\bf $BHw9M(B:}
\begin{quote}
$B4D6-JQ?t$K$h$C$F;XDj$5$l$F$$$J$$>l9g$O!"%]!<%HHV9f$O(B9000$B$K<+F0@_Dj$5$l$k!#(B
$B$3$N%3%^%s%I$O!"(BHELIC-II$B$N(BGUI$B$r=*N;$5$;$k$3$H$G<+F0E*$K=*N;$9$k!#(B
\end{quote}


\subsubsection{GUI}

{\bf $B%3%^%s%I(B:}
\begin{quote}
gui [-host HOSTNAME] [-port PORTNO]
\end{quote}

{\bf $B0z?t(B:}
\begin{quote}
\begin{tabbing}
HOSTNAME \ \ \= \kill
HOSTNAME \> $B?dO@%(%s%8%s(B Process$B$r5/F0$7$?%^%7%s$N%[%9%HL>!#(B\\
PORTNO \> $B%=%1%C%H$N%]!<%HHV9f!#(B\\
\end{tabbing}
\end{quote}

{\bf $B>\:Y(B:}
\begin{quote}
GUI Process$B$r5/F0$9$k!#5/F0$9$k$K$O?dO@%(%s%8%s$,4{$K5/F0$7$F$$$J$1$l$P(B
$B$J$i$J$$!#(B
$B5/F0$9$k$K$"$?$C$F!"?dO@%(%s%8%s$,F0$$$F$$$k%^%7%s$N%[%9%HL>$H%=%1%C%H$N(B
$B%]!<%HHV9f$r;XDj$7$J$1$l$P$J$i$J$$!#$=$N;XDj$O>e5-(B $B0z?t$r;H$&J}K!$NB>$K(B
$B4D6-JQ?t$K$h$C$F$b;XDj$G$-$k!#(B

$B?dO@%(%s%8%s(B Process$B$,F0$$$F$$$k%^%7%s$N%[%9%HL>$O!"4D6-JQ?t(BHELIC\_HOST\_NAME$B$K(B
$B$h$C$F;XDj$5$l$k!#(B
$B?dO@%(%s%8%s(B Process$B$H7k$V%=%1%C%H$N%]!<%HHV9f$O!"4D6-JQ?t(BHELIC\_HOST\_PORT$B$K(B
$B$h$C$F;XDj$5$l$k!#$=$N%]!<%HHV9f$O?dO@%(%s%8%s5/F0;~$K;XDj$9$k%]!<%HHV9f$H(B
$B6&DL$G$J$1$l$P$J$i$J$$!#(B

$BFs$D$NJ}K!$GF1;~$K;XDj$5$l$F$$$k>l9g$O!"(B
$B0z?t$K$h$k;XDj$,!"4D6-JQ?t$K$h$k;XDj$h$j$bM%@h$5$l$k!#(B
$B$3$NFs$D$,;XDj$5$l$F$$$J$$>l9g$O!"%(%i!<%&%$%s%I%&$r=P$7$F(BGUI$B$O=*N;$9$k!#(B

$B$3$N%3%^%s%I$,<B9T$5$l$k$3$H$G2hLL>e$K(BHELIC-II$B$N(BGUI$B$N=i4|%&%$%s%I%&$,(B
$BI=<($5$l$k!#(B

{\bf $B4XO"$9$k%U%!%$%k(B:}

\begin{quote}
~/.Xdefaults
\end{quote}
\end{quote}



\newpage


\section{$B=i4|%&%$%s%I%&$K$*$1$kA`:n(B}

HELIC-II$B$,5/F0$9$k$H$3$N%&%$%s%I%&$,$^$:3+$/!#(B
$BO@Ah%&%$%s%I%&$r3+$/A0$K!"(B
$B$3$NCf$GCN<1%Y!<%9$N%m!<%I$HO@AhEv;v<T$N3dEv$r9T$J$o$J$1$l$P$J$i$J$$!#(B

$B$3$N%&%$%s%I%&$N5/F0J}K!$O!"!V(B\ref{KH} $B5/F0J}K!!W$K>\$7$/=q$$$F$"$k!#(B
$BI8=`E*$J4D6-$G$O!"(B
\begin{verbatim}
	% setenv HELIC_HOST_PORT 9900
	% setenv HELIC_HOST_PORT here
	% guidbt &
	% gui
\end{verbatim}
$B$H$9$l$P5/F0$9$k!#(B

\begin{figure}[htb]
\begin{center}
\epsfile{file=initwin.ps,height=6cm}
\end{center}
\caption{$B=i4|%&%$%s%I%&(B}\label{figSW}
\end{figure}

\begin{itemize}
\item $B%V%i%&%8%s%0%(%j%"(B
\begin{description}
\item[Loading Status:] $BO@Ah$r;O$a$k$N$K%m!<%I$7$J$1$l$P$J$i$J$$(B
$BCN<1%U%!%$%k$r<(:6$9$k!#(B
\item[Role Assigment Status:] $B%f!<%6!"%7%9%F%`$N$I$A$i$,O@AhEv;v<T$r(B
$BC4Ev$9$k$3$H$K$J$C$F$$$k$+$rI=<($9$k!#(B
\end{description}
\item $B%"%/%7%g%s%(%j%"(B
\begin{description}
\item[Load$B%\%?%s(B:] $BCN<1%U%!%$%k$N%m!<%I$r9T$J$&!#(B
$B%U%!%$%k%m!<%I%&%$%s%I%&(B(\ref{FLW}$B;2>H(B)$B$r3+$/!#(B
\item[Role$B%\%?%s(B:] $BO@AhEv;v<T$NC4Ev$r7h$a$k!#(B
\item[Debate$B%\%?%s(B:] $BO@Ah%&%$%s%I%&$r3+$/!#%m!<%I$HLr3d@_Dj$,=*$k$^$G(B
$B%\%?%s$O8z$+$J$$!#(B
\item[Quit$B%\%?%s(B:] $BA4$F$N%&%$%s%I%&$,JD$8!"(BHELIC-II$B$,=*N;$9$k!#(B
\end{description}
\end{itemize}

\subsection{HELIC-II$B$r=*N;$9$k$K$O(B}
$B=i4|%&%$%s%I%&$N(B{\sl Quit}$B%\%?%s$rA*Br$9$k!#(B

\subsection{$BCN<1$r%m!<%I$9$k$K$O(B}\label{FLW}
$BCN<1$r%m!<%I$9$k$K$O!"=i4|%&%$%s%I%&$N(B{\sl Load}$B%\%?%s$rA*Br$7$F!"(B
$B%U%!%$%k%m!<%I%&%$%s%I%&$r3+$/!#(B

\begin{figure}[htb]
\begin{center}
\epsfile{file=loadwin.ps,height=10cm}
\end{center}
\caption{$B%U%!%$%k%m!<%I%&%$%s%I%&(B}\label{figFLW}
\end{figure}

\begin{itemize}

\item $B%U%!%$%k<oN`A*Br%(%j%"(B
\begin{description}
\item[Type:] $B7?Dj5A%U%!%$%k$rA*Br$9$k!#(B*.t$B$N%U%!%$%k$N$_$,(B
List$B%U%#!<%k%I$KI=<($5$l$k!#(B
\item[Rule:] $B%k!<%kDj5A%U%!%$%k$rA*Br$9$k!#(B*.r$B$N%U%!%$%k$N$_$,(B
List$B%U%#!<%k%I$KI=<($5$l$k!#7?Dj5A%U%!%$%k$,%m!<%I$5$l$F$$$J$$$HA*Br$G$-$J$$!#(B
\item[View:] $BH>=g=xDj5A%U%!%$%k$rA*Br$9$k!#(B*.v$B$N%U%!%$%k$N$_$,(B
List$B%U%#!<%k%I$KI=<($5$l$k!#%k!<%kDj5A%U%!%$%k$,%m!<%I$5$l$F$$$J$$$HA*Br$G$-$J$$!#(B
\item[Query:] $B%4!<%kDj5A%U%!%$%k$rA*Br$9$k!#(B*.g$B$^$?$O(B*.goal$B$N%U%!%$%k$N$_$,(B
List$B%U%#!<%k%I$KI=<($5$l$k!#H>=g=xDj5A%U%!%$%k$,%m!<%I$5$l$F$$$J$$$HA*Br$G$-$J$$!#(B
\item[Command:] $B%3%^%s%I%U%!%$%k$rA*Br$9$k!#(B*.c$B$N%U%!%$%k$N$_$,(BList$B%U%#!<%k%I$K(B
$BI=<($5$l$k!#(B
\end{description}

\item $B%U%!%$%kA*Br%(%j%"(B
\begin{description}
\item[Filter] File$B$KI=<($9$k%U%!%$%k$N@55,I=8=!#(B
\item[Directory:] $B%+%l%s%H%G%#%l%/%H%j$K$"$k%G%#%l%/%H%j$N0lMw$,I=<($5$l$k!#(B
\item[List:] $B%+%l%s%H%G%#%l%/%H%j$K$"$k%U%!%$%k<oN`A*Br%(%j%"$GA*Br$5$l$?(B
$B<oN`$NCN<1%U%!%$%k$N0lMw$,I=<($5$l$k!#(B
\item[Loading File:] $B%m!<%IBP>]$H$J$C$F$$$k%U%!%$%kL>$,I=<($5$l$k!#(B
$BD>@\%-!<%\!<%I$+$i$bF~NO$G$-$k!#(B
\end{description}

\item $B%"%/%7%g%s%(%j%"(B
\begin{description}
\item[Load$B%\%?%s(B:] $BA*Br$5$l$?CN<1%U%!%$%k$N%m!<%I$r?dO@It$KL?$8$k!#(B
\item[List$B%\%?%s(B:] $B8=:_$^$G$K%m!<%I$5$l$?CN<1%U%!%$%k$N(B
$B0lMwI=<(%&%$%s%I%&$r3+$/!#(B

\begin{figure}[htb]
\begin{center}
\epsfile{file=listwin.ps,height=3cm}
\end{center}
\caption{$B%m!<%I%U%!%$%k0lMw%&%$%s%I%&(B}\label{figLFW}
\end{figure}

\item[Done$B%\%?%s(B:] $B%m!<%IA`:n$r=*N;$9$k!#%U%!%$%k%m!<%I%&%$%s%I%&$rJD$8$k!#(B
\end{description}

\end{itemize}

\subsubsection{$B%G%#%l%/%H%j$r0\F0$9$k$K$O(B}
$B%U%!%$%k%m!<%I%&%$%s%I%&$N(BDirectory$B%U%#!<%k%I$KI=<($5$l$F$$$k%G%#%l%/%H%j$r(B
$B%^%&%9$G%@%V%k%/%j%C%/$9$k$3$H$K$h$j0\F0$7$^$9!#(B

\subsubsection{$B7?Dj5A%U%!%$%k$r%m!<%I$9$k$K$O(B}
$B%U%!%$%k%m!<%I%&%$%s%I%&>eIt$N(BType$B$r%/%j%C%/$9$k$H!"(BList$B%U%#!<%k%I$K$O(B*.t
$B$N%U%!%$%k$N$_$,I=<($5$l$k!#%m!<%I$7$?$$%U%!%$%k$r%@%V%k%/%j%C%/$9$l$P(B
$B%m!<%I$5$l$k!#(B

\subsubsection{$B%k!<%kDj5A%U%!%$%k$r%m!<%I$9$k$K$O(B}
$B%U%!%$%k%m!<%I%&%$%s%I%&>eIt$N(BRule$B$r%/%j%C%/$9$k$H!"(BList$B%U%#!<%k%I$K$O(B*.r
$B$N%U%!%$%k$N$_$,I=<($5$l$k!#%m!<%I$7$?$$%U%!%$%k$r%@%V%k%/%j%C%/$9$l$P(B
$B%m!<%I$5$l$k!#(B

\subsubsection{$BH>=g=xDj5A%U%!%$%k$r%m!<%I$9$k$K$O(B}
$B%U%!%$%k%m!<%I%&%$%s%I%&>eIt$N(BView$B$r%/%j%C%/$9$k$H!"(BList$B%U%#!<%k%I$K$O(B*.v$B$N(B
$B%U%!%$%k$N$_$,I=<($5$l$k!#%m!<%I$7$?$$%U%!%$%k$r%@%V%k%/%j%C%/$9$l$P(B
$B%m!<%I$5$l$k!#(B

\subsubsection{$B%4!<%kDj5A%U%!%$%k$r%m!<%I$9$k$K$O(B}
$B%U%!%$%k%m!<%I%&%$%s%I%&>eIt$N(BGoal$B$r%/%j%C%/$9$k$H!"(BList$B%U%#!<%k%I$K$O(B*.g$B$^$?$O(B*.goal$B$N(B
$B%U%!%$%k$N$_$,I=<($5$l$k!#%m!<%I$7$?$$%U%!%$%k$r%@%V%k%/%j%C%/$9$l$P(B
$B%m!<%I$5$l$k!#(B

\subsubsection{$B%3%^%s%I%U%!%$%k$r<B9T$9$k$K$O(B}
$B%U%!%$%k%m!<%I%&%$%s%I%&>eIt$N(BCommand$B$r%/%j%C%/$9$k$H!"(BList$B%U%#!<%k%I$K$O(B*.c$B$N(B
$B%U%!%$%k$N$_$,I=<($5$l$k!#<B9T$7$?$$%U%!%$%k$r%@%V%k%/%j%C%/$9$l$P(B
$B<B9T$5$l$k!#(B

\subsubsection{$B:#$^$G$K%m!<%I$7$?%U%!%$%k$N0lMw$r$_$k$K$O(B}
$B%U%!%$%k%m!<%I%&%$%s%I%&$N(B{\sl List}$B%\%?%s$rA*Br$7$F%m!<%I%U%!%$%k0lMw%&%$%s%I%&$r(B
$B3+$/!#(B

\subsection{$BO@Ah$K$*$1$kLr3d$r@_Dj$9$k$K$O(B}\label{YSW}

$BO@Ah$K$*$1$kLr3d$r@_Dj$9$k$K$O!"=i4|%&%$%s%I%&$N(B{\sl Role}$B%\%?%s$rA*Br$7$F(B
$BLr3d@_Dj%&%$%s%I%&$r3+$/!#(B

\begin{figure}[htb]
\begin{center}
\epsfile{file=rolewin.ps,height=5cm}
\end{center}
\caption{$BLr3d@_Dj%&%$%s%I%&(B}\label{figYSW}
\end{figure}

\begin{itemize}

\item $BLr3d@_Dj%(%j%"(B

$B:8$G8!;!$N@_Dj$r9T$J$$!"1&$GHo9p$N@_Dj$r9T$J$&!#(B
\begin{description}
\item[System:] $B$=$NO@AhEv;v<T!J8!;!$^$?$OHo9p!K$r%7%9%F%`$,C4Ev$7!"(B
$B<+F0E*$KO@Ah$r?J$a$k$h$&$K$9$k!#(B
\item[User:] $B$=$NO@AhEv;v<T!J8!;!$^$?$OHo9p!K$r%f!<%6$,C4Ev$7!"(B
$BO@Ah$N?J9T$KI,MW$JA`:n$OA4$F%f!<%6$KG$$;$i$l$k!#(B
\end{description}

\item $B%"%/%7%g%s%(%j%"(B
\begin{description}
\item[Done$B%\%?%s(B:] $B8=:_@_Dj$7$?Lr3d$r%7%9%F%`$KEPO?$9$k!#(B
$BLr3d@_Dj%&%$%s%I%&$rJD$8$k!#(B
\end{description}

\end{itemize}

\subsubsection{$B8!;!!JHo9p!K$r%f!<%6$KC4Ev$5$;$k$K$O(B}
$BLr3d@_Dj%&%$%s%I%&$N:8$NNs!JHo9p$N>l9g$O1&!K$N(B{\sl User}$B%\%?%s$r%/%j%C%/$9$k!#(B

\subsubsection{$B8!;!!JHo9p!K$,<+F0E*$KO@Ah$9$k$K$h$&$K@_Dj$9$k$K$O(B}
$BLr3d@_Dj%&%$%s%I%&$N:8$NNs!JHo9p$N>l9g$O1&!K$N(B{\sl System}$B%\%?%s$r(B
$B%/%j%C%/$9$k!#(B

\subsubsection{$B8=:_$N@_Dj$rEPO?$9$k$K$O(B}
$BLr3d@_Dj%&%$%s%I%&$N(B{\sl Done}$B%\%?%s$rA*Br$9$k!#(B


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
%	$BO@Ah%&%$%s%I%&(B
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%



\section{$BO@Ah%&%$%s%I%&$K$*$1$kA`:n(B}
\begin{quotation}
$BO@Ah%&%$%s%I%&$O#2KgF1;~$K3+$-!"$=$l$>$l$N%&%$%s%I%&$,O@AhEv;v<T$G$"$k(B
$B8!;!$HHo9p$rI=$9!#8!;!$N%&%$%s%I%&$+$i9T$J$&A`:n$dMM!9$J@_Dj$OA4$F8!;!$K(B
$BBP$7$F9T$J$o$l$k$H2r<a$9$k!#(B

$BO@Ah%&%$%s%I%&$r3+$/$K$O!"7?!"2ACM4Q!"%4!<%k!"%k!<%k$,A4$F%m!<%I$5$l!"(B
$B8!;!$HHo9p$NLr3d$N@_Dj$r40N;$9$kI,MW$,$"$k!#(B

$B$^$?O@Ah%&%$%s%I%&$+$i%]%C%W%"%C%W$K3+$/%&%$%s%I%&$OA4$FGSB>E*@)8f$N(B
$B%&%$%s%I%&$H$7!"3+$$$F$$$k4V$OO@Ah%&%$%s%I%&$N@)8f$r<u$1IU$1$J$$!#(B
$BO@AhCf$O!"H/8@8"$,$"$k;~$N$_O@Ah%&%$%s%I%&$O(Bsensitive$B$K$J$k!#(B
\end{quotation}

\begin{figure}[htb]
\begin{center}
\epsfile{file=debatewin.ps,height=12cm}
\end{center}
\caption{$BO@Ah%&%$%s%I%&(B}\label{figRW}
\end{figure}

\begin{itemize}

\item $BO@Ah@_DjIt(B\\
$BO@AhCf$O0J2<$N%\%?%s$OA4$F(Binsensitive$B$K$J$k!#(B
\begin{description}
\item[View$B%\%?%s(B:] $B2ACM4Q$r@_Dj$9$k!#(B
\item[Unit$B%\%?%s(B:] $B;HMQ$9$kCN<1$r@_Dj$9$k!#(B
\item[Goal$B%\%?%s(B:] $B%4!<%k$r@_Dj$9$k!#(B
\item[Start$B%\%?%s(B:] $BO@Ah$r3+;O$9$k!#(B
\item[Quit$B%\%?%s(B:] $BO@Ah%&%$%s%I%&$rJD$8$k!#(B
\end{description}

\item $BO@Ah@_Dj%V%i%&%6It(B
\begin{description}
\item[Goal $B%(%j%"(B:] $B8=:_@_Dj$5$l$F$$$k%4!<%k$rI=<($9$k!#(B
\item[View $B%(%j%"(B:] $B8=:_@_Dj$5$l$F$$$k2ACM4Q$rI=<($9$k!#(B
\end{description}

\item $BO@AhA`:nIt(B
$BO@AhCf0J30$OA4$F(Binsensitive$B$G$"$j!"O@AhCf$b<B9T2DG=$J%3%^%s%I$N$_$,(B
sensitive$B$K$J$k!#(B
\begin{description}
\item[Pose$B%\%?%s(B:] $B8=:_(B $BO@>ZI=<(%(%j%"$KI=<($5$l$F$$$kO@>Z$rAj<j$KDLCN$9$k!#(B
\item[Notice$B%\%?%s(B:] $B8=:_(B $BO@>ZI=<(%(%j%"$KI=<($5$l$F$$$k<+J,$NO@>Z$,(B
$BAj<j$NO@>Z$h$j$bM%@h$9$k$H!"Aj<j$KBP$7$FM%@hDLCN$9$k!#(B
\item[Cancel$B%\%?%s(B:] $B8=:_(B $BO@>ZI=<(%(%j%"$KI=<($5$l$F$$$k<+J,$N<gD%$r<h$j2<$2$k!#(B
\item[Finish$B%\%?%s(B:] $B8=:_(B $BO@>ZI=<(%(%j%"$KI=<($5$l$F$$$kAj<j$NO@>Z$K$D$$$F(B
$BH?O@$,=*$C$?$3$H$rDLCN$9$k!#(B
\item[Jusitfy$B%\%?%s(B:] $BO@>Z$r@5Ev2=$9$k!#(B
\item[Depth$B%\%?%s(B:] $B<gD%!"H?O@$r@8@.$9$k:]$K!"Aj<j$NH?O@$r2?CJ$^$G@hFI$_$9$k$+(B
$B$r@_Dj$9$k!#(B
\item[End$B%\%?%s(B:] $BO@Ah$r6/@)E*$K=*N;$9$k!#(B
\end{description}

\item $BO@Ah>uBV%V%i%&%6It(B
\begin{description}
\item[$BO@AhMzNr%(%j%"(B:] $B8=:_$NO@Ah$N>uBV$rI=$9%j%9%H$rI=<($9$k!#(B
\item[$B>uBVI=<(%(%j%"(B:] $BO@Ah$N>uBV$rI=<($9$k!#(B
$BNc$($P!VAj<j$,0J2<$NH?O@$r$7$F$-$^$7$?!W!"!VAj<j$,?M8"=E;k$NN)>l$+$i(B
$B0J2<$N<gD%$,M%@h$9$k$3$H$rDL9p$7$F$-$^$7$?!#!W$J$I$,I=<($5$l$k!#(B
\item[$BAhE@I=<(%(%j%"(B:] $B8=:_I=<($5$l$F$$$kO@>Z$,H?O@$7$F$$$kAj<j$N<gD%$NAhE@$r(B
$BI=<($9$k!#(B
\item[$BO@>ZI=<(%(%j%"(B:] $BO@>Z$rI=<($9$kNN0h!#O@>Z$G$"$k>ZL@LZ$r9=@.$9$k3F%k!<%k$N(B
Unify$B$5$l$?7kO@(B($BCf4VL?Bj(B)$B$r!"$=$N;2>H4X78$K$h$j%$%s%G%s%HIU$1$FI=<($7$F$$$k!#(B
\end{description}

\item{$BO@>Z%V%i%&%6A`:nIt(B}
\begin{description}

\item[Backward$B%\%?%s(B:] $B8=:_(B $BO@>ZI=<(%(%j%"$KI=<($5$l$F$$$kO@>Z$NH?O@BP>]$G$"$k(B
$BO@>Z$rI=<($5$;$k!#(B
\item[Forward$B%\%?%s(B:] Backward$B%\%?%s$G0\F0$7$?>l9g!"$3$N%\%?%s$rA*$V$3$H$G(B
$BD>A0$N(BBackward$B$G0\F0$9$kA0$NO@>Z$KLa$k!#(B
$B8=:_(B $BO@>ZI=<(%(%j%"$KI=<($5$l$F$$$kO@>Z$X$NH?O@$N$"$k0l$D$XLa$k!#(B
\item[Next$B%\%?%s(B:] $B8=:_(B $BO@>ZI=<(%(%j%"$KI=<($5$l$F$$$kO@>Z$HF1$8AhE@$K$D$$$F(B
$BAh$C$F$$$k$,H?O@$,$"$k>l9g$=$l$K?J$`!#(B
\item[Previous$B%\%?%s(B:] $B8=:_(B $BO@>ZI=<(%(%j%"$KI=<($5$l$F$$$kO@>Z$HF1$8AhE@$K$D$$$F(B
$BAh$C$F$$$k$,H?O@$,$"$k>l9g$=$l$K?J$`!#(B
Next$B%\%?%s$H$O5U$N=g$KI=<($5$l$k!#(B
\item[Foucs$B%\%?%s(B:] $B8=:_O@Ah$N(BFocus$B$,Ev$?$C$F$$$kO@>Z(B(Focus$BO@>Z(B)$B$K(Bjump$B$9$k!#(B
\item[ClaimList$B%\%?%s(B:] $B<+J,5Z$SAj<j$N2a5n$N<gD%$r8!:w$9$k!#(B
\item[Jump$B%\%?%s(B:] $B<gD%(BID$B$rF~NO$9$k$3$H$G!";XDj$7$?O@>Z$rI=<($5$;$k!#(B
\item[Explain$B%\%?%s(B:] $B8=:_I=<($7$F$$$kO@>Z$N<+A38@8l$K$h$k@bL@J8$r(B
$BI=<($5$;$k!#(B
\item[form$B%\%?%s(B:] $BO@>ZI=<(%(%j%"$KI=<($9$kCf4VL?Bj$NI=<(7A<0$r;XDj$9$k!#(B
$BI=<(7A<0$K$O(BH$B9`$K$h$kI=8=$H<+A38@8l$K$h$k@bL@J,$NFsDL$j$,MQ0U$5$l$F$$$k!#(B
\end{description}

\end{itemize}

\subsection{$BO@Ah%&%$%s%I%&$r3+$/$K$O(B}
$B=i4|%&%$%s%I%&$N(B{\sl Debate}$B%\%?%s$rA*Br$9$k$H3+$/!#$?$@$7!"I,MW$J%U%!%$%k$N(B
$B%m!<%I$H!"O@Ah$NLr3d@_Dj$r=*$($F$$$J$$$H(B{\sl Debate}$B%\%?%s$O(B
sensitive$B$K$O$J$i$J$$!#(B

\subsection{$BO@Ah%&%$%s%I%&$rJD$8$k$K$O(B}
{\sl Quit}$B%\%?%s$rA*Br$9$k!#(B

\subsection{$B2ACM4Q$r@_Dj$9$k$K$O(B}\label{KSW}

$B2ACM4Q$r@_Dj$9$k$K$O!"@_Dj$7$?$$O@AhEv;v<T$NO@Ah%&%$%s%I%&$N(B{\sl View}$B%\%?%s$r(B
$BA*Br$7$F2ACM4Q@_Dj%&%$%s%I%&$r3+$/!#(B

\begin{figure}[htb]
\begin{center}
\epsfile{file=viewset.ps,height=6cm}
\end{center}
\caption{$B2ACM4Q@_Dj%&%$%s%I%&(B}\label{figKSW}
\end{figure}

\begin{description}

\item[View Candidate$B%\%?%s(B:] $B2ACM4Q8uJdA*Br%&%$%s%I%&$r8F$S=P$7$F!"(B
$B2ACM4Q8uJd$rA*Br$7$F2ACM4Q$r@_Dj$9$k!#(B

\item[Standpoint $B%\%?%s(B:] $BH=CG4p=`A*Br%&%$%s%I%&$r8F$S=P$7$F!"(B
$B2ACM4Q$K2C$($?$$H=CG4p=`$rA*Br$9$k!#(B

\item[$B2ACM4QI=<(%(%j%"(B:] $B8=:_$N2ACM4Q$NFbMF$rI=<($9$k!#M%@hEY$N9b$$=g$K(B
$B>e$+$iH=CG4p=`$NL>A0$,I=<($5$l$k!#(B

\item[Order$B%\%?%s(B:] $BH=CG4p=`$N=g=x$rJQ$($k!#2ACM4Q=g=xJQ99%&%$%s%I%&$,3+$/!#(B

\item[Done$B%\%?%s(B:] $BA*Br$9$k$3$H$G!"8=:_;XDj$5$l$F$$$k2ACM4Q$rO@AhEv;v<T$K(B
$B@_Dj$9$k!#(B

\item[Cancel$B%\%?%s(B:] $BA*Br$9$k$3$H$G!"2ACM4Q@_Dj:n6H$rCfCG$9$k!#(B
\end{description}

\subsubsection{$B2ACM4Q8uJd$r;XDj$7$F2ACM4Q$r@_Dj$9$k$K$O(B}
$B$9$G$KMQ0U$5$l$F$$$k2ACM4Q8uJd$r;XDj$7$F2ACM4Q$r@_Dj$9$k>l9g$O!"(B
{\sl View Candidate}$B%\%?%s$rA*Br$7$F2ACM4Q8uJdA*Br%&%$%s%I%&$r3+$/!#(B
$B2ACM4Q8uJdA*Br%&%$%s%I%&$G$O!"2ACM4Q8uJd$N0lMw$,I=<($5$l!"(B
$B2ACM4Q8uJd$r%@%V%k%/%j%C%/$9$k$3$H$GA*Br$G$-$k!#(B
$BA*Br$5$l$?2ACM4Q8uJd$NI=$9H=CG4p=`$N%j%9%H$O!"2ACM4QI=<(%(%j%"$KI=<($5$l$k!#(B
$B$3$N>uBV$G(B{\sl Done}$B%\%?%s$rA*Br$9$l$P!"$3$N2ACM4Q$,O@AhEv;v<T$K@_Dj$5$l$k$,!"(B
$B$5$i$K(B{\sl Standpoint}$B%\%?%s!"(B{\sl Order}$B%\%?%s$r;H$C$FJT=8$9$k$3$H$b(B
$B2DG=$G$"$k!#(B

\subsubsection{$B2ACM4Q$KH=CG4p=`$rDI2C$9$k$K$O(B}
$B:#$"$k2ACM4Q$KH=CG4p=`$rDI2C$9$k$K$O!"(B{\sl Standpoint}$B%\%?%s$rA*Br$7$F(B
$BH=CG4p=`A*Br%&%$%s%I%&$r3+$/!#(B
$B$=$3$K$ODj5A$5$l$F$$$kA4$F$NH=CG4p=`$,I=<($5$l$F$$$k!#(B
$BH=CG4p=`$NL>A0$r%@%V%k%/%j%C%/$9$k$3$H$G!"H=CG4p=`$rA*Br$7!"(B
$B2ACM4Q$KDI2C$9$k$3$H$,$G$-$k!#A*Br$5$l$?H=CG4p=`$O2ACM4Q$NCf$G(B
$B:G8e$KDI2C$5$l$k!#(B

\subsubsection{$B2ACM4Q$+$iH=CG4p=`$r:o=|$9$k$K$O(B}
$B2ACM4QI=<(%(%j%"Cf$N:o=|$7$?$$H=CG4p=`$r%@%V%k%/%j%C%/$9$k$3$H$G:o=|$G$-$k!#(B

\subsubsection{$B2ACM4Q$N=g=x$rJQ99$9$k$K$O(B}
{\sl Order}$B%\%?%s$rA*Br$7$F!"2ACM4Q=g=xJQ99%&%$%s%I%&$r3+$/!#(B
$B2ACM4Q=g=xJQ99%&%$%s%I%&$N:8$K8=:_$N=g=x$,I=<($5$l$k!#%f!<%6$N4uK>$9$k=g$K(B
$B:8$NH=CG4p=`$r%@%V%k%/%j%C%/$7$F$$$1$P$=$N=g$K1&$N%(%j%"$KH=CG4p=`$,>e$+$i(B
$BI=<($5$l$k!#A4$F$N:8$NH=CG4p=`$NA*Br$,=*$l$P2ACM4Q=g=xJQ99%&%$%s%I%&$O(B
$B<+F0E*$KJD$8!"?7$7$$=g=x$N2ACM4Q$,2ACM4QI=<(%(%j%"$KI=<($5$l$k!#(B

\subsubsection{$B2ACM4Q$r%/%j%"$9$k$K$O(B}
{\sl Clear}$B%\%?%s$rA*Br$9$k!#(B

\subsubsection{$B=$@5$7$?2ACM4Q$rEPO?$9$k$K$O(B}
{\sl Done}$B%\%?%s$rA*Br$9$k$H2ACM4QI=<(%(%j%"$KI=<($5$l$F$$$k2ACM4Q$,(B
$BO@AhEv;v<T$N2ACM4Q$H$7$FEPO?$5$l$k!#(B

\subsubsection{$B2ACM4Q=$@5:n6H$rESCf$G$d$a$k$K$O(B}
{\sl Cancel}$B%\%?%s$rA*Br$9$k$H!"2ACM4QJQ99%&%$%s%I%&$r3+$$$F$+$i$N=$@5:n6H$,(B
$BGK4~$5$l$F2ACM4QJQ99%&%$%s%I%&$,JD$8$k!#2ACM4Q$KJQ99$O5/$3$i$J$$!#(B

\newpage
\subsection{$B;HMQ$9$kCN<1$r@_Dj$9$k$K$O(B}\label{CSW}

$B;HMQ$9$kCN<1$r@_Dj$9$k$K$O!"@_Dj$7$?$$O@AhEv;v<T$NO@Ah%&%$%s%I%&$N(B
{\sl Unit}$B%\%?%s$rA*Br$7$FCN<1@_Dj%&%$%s%I%&$r3+$/!#(B

\begin{figure}[htb]
\begin{center}
\epsfile{file=unitset.ps,height=6cm}
\end{center}
\caption{$BCN<1@_Dj%&%$%s%I%&(B}\label{figCSW}
\end{figure}

\begin{description}
\item[Unit Name:] $B;HMQCN<1$H$7$F;XDj$9$k%a%?%f%K%C%HL>$rF~NO$9$k%(%j%"!#(B
\item[Assigned Unit List:] $B;HMQCN<1$H$7$F;XDj$5$l$F$$$k%a%?%f%K%C%H$N%j%9%H!#(B
\item[Done$B%\%?%s(B:] $BF~NO$7$?%f%K%C%HL>$r;HMQCN<1$H$7$FEPO?$9$k!#(B
\item[Cancel$B%\%?%s(B:] $BA*Br$9$k$3$H$G!"CN<1@_Dj:n6H$rCfCG$7!"CN<1@_Dj%&%$%s%I%&$r(B
$BJD$8$k!#(B
\end{description}

\subsubsection{$B;HMQ$9$kCN<1$r;XDj$9$k$K$O(B}
Unit Name$B$N2#$N%U%#!<%k%I$K%+!<%=%k$r9g$o$;$F$+$i!";HMQ$7$?$$%f%K%C%HL>$r(B
$BF~NO$9$k!#%f%K%C%HL>$K8m$j$,$J$1$l$P(BAssigned Unit List$B$K$=$N%f%K%C%HL>$,(B
$BDI2C$5$l$k!#8m$C$?%f%K%C%HL>$,F~$l$i$l$?>l9g$O%(%i!<%&%$%s%I%&$,=P$k!#(B

\subsubsection{$B;HMQ$9$kCN<1$r:o=|$9$k$K$O(B}
Assigned Unit List$BCf$N:o=|$7$?$$%f%K%C%HL>$r%@%V%k%/%j%C%/$9$k$3$H$G(B
$B%j%9%H$+$i:o=|$G$-$k!#(B

\subsubsection{$B;HMQ$9$kCN<1$r%/%j%"$9$k$K$O(B}
{\sl Clear}$B%\%?%s$rA*Br$9$k!#(B

\subsubsection{$B=$@5$7$?;HMQ$9$kCN<1$rEPO?$9$k$K$O(B}
{\sl Done}$B%\%?%s$rA*Br$9$k$H(BAssigned Unit List$B$KI=<($5$l$F$$$k(B
$B%f%K%C%HL>$N%j%9%H$,O@AhEv;v<T$N;HMQ$9$kCN<1$H$7$FEPO?$5$l$k!#(B

\subsubsection{$B;HMQCN<1=$@5:n6H$rESCf$G$d$a$k$K$O(B}
{\sl Cancel}$B%\%?%s$rA*Br$9$k$H!";HMQCN<1JQ99%&%$%s%I%&$r3+$$$F$+$i$N=$@5:n6H$,(B
$BGK4~$5$l$F;HMQCN<1JQ99%&%$%s%I%&$,JD$8$k!#;HMQ$9$kCN<1$KJQ99$O5/$3$i$J$$!#(B

\subsection{$B%4!<%k$r@_Dj$9$k$K$O(B}
$B%4!<%k$N@_Dj$r9T$J$&$K$O!"@_Dj$7$?$$O@AhEv;v<T$NO@Ah%&%$%s%I%&$N(B
{\sl Goal}$B%\%?%s$rA*Br$7$F%4!<%k@_Dj%&%$%s%I%&$r3+$/!#(B

\begin{figure}[htb]
\begin{center}
\epsfile{file=goalwin.ps,width=15cm}
\end{center}
\caption{$B%4!<%k@_Dj%&%$%s%I%&(B}\label{figGSW}
\end{figure}

\begin{description}
\item[Goal List:] $B%4!<%k8uJd$,(BH$B9`I=8=$GI=<($5$l$F$$$k!#(B
$B%4!<%k@_Dj%&%$%s%I%&$r3+$$$?CJ3,$G$O!"8=:_@_Dj$5$l$F$$$k%4!<%k8uJd$,(B
$B4{$KA*Br$5$l$?>uBV$GI=<($5$l$F$$$k!#(B
\item[Cancel$B%\%?%s(B:] $BA*Br$9$k$3$H$G!"%4!<%k@_Dj:n6H$rCfCG$7!"(B
$B%4!<%k@_Dj%&%$%s%I%&$rJD$8$k!#(B
\end{description}

\subsubsection{$B%4!<%k$r;XDj$9$k$K$O(B}
Goal List$B$KI=<($5$l$F$$$k%4!<%k8uJd$r%@%V%k%/%j%C%/$9$k$3$H$G(B
$B$=$N%4!<%k$,;XDj$5$l!"%4!<%k@_Dj%&%$%s%I%&$OJD$8$k!#(B

\subsubsection{$B%4!<%k@_Dj:n6H$rESCf$G$d$a$k$K$O(B}
{\sl Cancel}$B%\%?%s$rA*Br$9$k$H!"%4!<%k@_Dj%&%$%s%I%&$,JD$8$k!#(B
$B%4!<%k$KJQ99$O5/$3$i$J$$!#(B

\subsection{$BO@Ah$r9T$J$&$K$O(B}

\subsubsection{$BO@Ah$r;O$a$k$K$O(B}
$BO@Ah%&%$%s%I%&$N(B{\sl Start}$B%\%?%s$rA*Br$9$k!#$?$@$7!"A*Br$NA0$K(B
$B8!;!$HHo9pAPJ}$N2ACM4Q!";HMQCN<1$H8!;!$N%4!<%k$N@_Dj$r9T$J$o$J$1$l$P$J$i$J$$!#(B
$B8!;!$r%f!<%6$,C4Ev$7$F$$$k>l9g$O!"(BStart$B$N8e$K<gD%A*BrA`:n$r$*$3$J$&!#(B
$B$3$NA`:n$K4X$7$F$O!V(B\ref{SWS} $B<gD%$rA*Br$9$k$K$O!W$r;2>H$N$3$H!#(B

\subsubsection{$BO@Ah$r=*$($k$K$O(B}
$BO@Ah%&%$%s%I%&$N(B{\sl Quit}$B%\%?%s$rA*Br$9$k!#(B

\subsubsection{$B<gD%$rA*Br$9$k$K$O(B}\label{SWS}
$B8!;!$,%f!<%6C4Ev$N>l9g!"O@Ah$N:G=i$H8!;!$N:G=i$N<gD%$KHo9p$,H?O@=*N;$r(B
$BDL9p$7$?;~$K!"%f!<%6$O=i4|<gD%!J8!;!$N%4!<%k$rF3$/<gD%!K$rA*Br$7$J$1$l$P(B
$B$J$i$J$$!#$3$N;~!"<gD%A*Br%&%$%s%I%&$,3+$/!#(B

\begin{figure}[htb]
\begin{center}
\epsfile{file=argslctwin.ps,height=6cm}
\end{center}
\caption{$B<gD%A*Br%&%$%s%I%&(B}\label{figSSW}
\end{figure}

$B$3$N%&%$%s%I%&$K$O!"F3=P$5$l$?=i4|<gD%$N7kO@$N%j%9%H$,I=<($5$l$F$$$k!#(B
$B:8$N(B$>0:!0:<1$$B$N0UL#$O!V(B\ref{RIHM} $BO@>Z0lMwI=<($N8+J}!W$r;2>H$N$3$H!#(B
$B%j%9%H$NCf$G8+$?$$<gD%$N7kO@$r%^%&%9$G%@%V%k%/%j%C%/$7$FA*Br$9$k$H!"(B
$B<gD%A*Br%&%$%s%I%&$OJD$8!"O@>ZI=<(%(%j%"$KA*Br$7$?<gD%!JO@>Z!K$,I=<($5$l$k!#(B

\subsubsection{$BAj<j$KO@>Z$r<gD%$9$k$K$O(B}
$BAj<j$K=i4|<gD%$^$?$OH?O@$r<gD%$9$k$K$O!"Aj<j$KO@>Z$rAwIU$9$kI,MW$,$"$k!#(B
$B$=$N$?$a$K$O!"0J2<$NFs$D$N$3$H$r$"$i$+$8$a9T$J$o$J$1$l$P$J$i$J$$!#(B
\begin{itemize}
\item $BO@>ZI=<(%(%j%"$KAwIU$7$?$$O@>Z$rI=<($9$k$3$H(B\\
$BAwIU$7$?$$O@>Z$rI=<($5$;$k$K$O!V(B\ref{RBSS} $BO@>Z%V%i%&%6$NA`:n$N;EJ}!W$r(B
$B;2>H$N$3$H!#(B
\item $BH?O@$r<gD%$9$k;~$O!"AwIU$9$kO@>Z$,M-8z$G$J$1$l$P$J$i$J$$!#(B\\
$BM-8z$H$O!"8!;!$N>l9g!"Aj<j$NO@>Z$h$j$bM%0L$J$3$H$G$"$j!"Ho9p$N>l9g$O!"(B
$BAj<j$NO@>Z$h$j$bM%0L$+L54X78$G$"$k$3$H$G$"$k!#(B\\
$BO@>Z$rM%0L$K$9$k$K$O!"!V(B\ref{RY} $BO@>Z$rM%0L$K$9$k$K$O!W$r;2>H$N$3$H!#(B
\end{itemize}
$B$3$N>r7o$,K~$?$5$l$k$H!"O@AhA`:nIt$N(B{\sl Pose}$B%\%?%s$,(Bsensitive$B$K$J$k!#(B
{\sl Pose}$B%\%?%s$rA*Br$9$k$3$H$GAj<j$KO@>Z$OAwIU$5$l<gD%$7$?$3$H$K$J$j!"(B
$BH/8@8"$OAj<j$K0\$k!#(B

\newpage
\subsubsection{$BDLCN$5$l$?Aj<j$NO@>Z$NH?O@$rA*$V$K$O(B}

$BAj<j$+$i<gD%$^$?$OH?O@$rDLCN$7$F$/$k$H!"<+J,$NO@>ZI=<(%(%j%"$K(B
$BDLCN$5$l$?Aj<j$N<gD%$,I=<($5$l$k!#(B
$BAj<j$N<gD%$NCf$+$iH?O@$7$?$$AhE@$rA*$V!#$I$NAhE@$KH?O@$,$"$k$+$O!"(B
$BAhE@$N:8$N?t;z$K$h$C$F$o$+$k(B\footnote{$B>\$7$/$O!V(B\ref{RHM} $BO@>ZI=<($N8+J}!W(B
$B$r;2>H!#(B}$B!#(B
$BAhE@$r%@%V%k%/%j%C%/$7$FH?O@A*Br%&%$%s%I%&$r3+$/!#(B

\begin{figure}[htb]
\begin{center}
\epsfile{file=cargwin.ps,height=6cm}
\end{center}
\caption{$BH?O@A*Br%&%$%s%I%&(B}\label{figHSW}
\end{figure}

$B$3$N%&%$%s%I%&$K$O!"H?O@$H$7$FAhE@$N5U$rF3$/O@>Z$N7kO@$N%j%9%H$,(B
$BI=<($5$l$F$$$k!#(B
$B:8$N(B$>0:!0:<1$$B$N0UL#$O!V(B\ref{RIHM} $BO@>Z0lMwI=<($N8+J}!W$r;2>H$N$3$H!#(B
$B%j%9%H$NCf$G8+$?$$H?O@$N7kO@$r%^%&%9$G%@%V%k%/%j%C%/$7$FA*Br$9$k$H!"(B
$BH?O@A*Br%&%$%s%I%&$OJD$8!"O@>ZI=<(%(%j%"$KA*Br$7$?H?O@!JO@>Z!K$,I=<($5$l$k!#(B


\subsubsection{$BDLCN$5$l$?Aj<j$NO@>Z$KBP$7$FM%@hDL9p$9$k$K$O(B}\label{NT}

$BAj<j$NH?O@$7$F$$$k<+J,$N2a5n$N<gD%$,!"Aj<j$NH?O@$h$j$b6/$$!JHo9p$N>l9g$O(B
$BGT$1$J$$!K>l9g!"<+J,$N<gD%$NM%0L$rAj<j$K@k8@$9$k$3$H$GAj<j$NH?O@$rIu$8$k$3$H$,(B
$B$G$-$k!#$3$N$?$a$K$O!"0J2<$N>r7o$rK~$?$5$J$1$l$P$J$i$J$$!#(B

\begin{itemize}
\item $BO@>ZI=<(%(%j%"$KM%0L$r<gD%$7$?$$<+J,$NO@>Z$rI=<($9$k!#(B\\
$BAj<j$NH?O@$,$^$:I=<($5$l$F$$$k$N$G(B{\sl Backward}$B%\%?%s$G0l$DLa$k!#(B
\item $B<+J,$NH?O@$,Aj<j$NH?O@$h$j$b6/$$!JHo9p$N>l9g$OGT$1$J$$!K$3$H!#(B\\
$BO@>Z$rM%0L$K$9$k$K$O!"!V(B\ref{RY} $BO@>Z$rM%0L$K$9$k$K$O!W$r;2>H$N$3$H!#(B
\end{itemize}
$B$3$N>r7o$,K~$?$5$l$k$F$$$l$P!"O@AhA`:nIt$N(B{\sl Notice}$B%\%?%s$,(B
sensitive$B$K$J$C$F$$$k!#(B
$B$J$C$F$$$k>l9g$O!"(B{\sl Notice}$B%\%?%s$rA*Br$9$k$HH=CG4p=`A*Br%&%$%s%I%&$,3+$/!#(B
\newpage
\begin{figure}[htb]
\begin{center}
\epsfile{file=spslctwin.ps,height=6cm}
\end{center}
\caption{$BH=CG4p=`A*Br%&%$%s%I%&(B}\label{figHKSW}
\end{figure}

$B%&%$%s%I%&$K$O!"Aj<j$NH?O@$h$j$b<+J,$NO@>Z$,M-Mx$G$"$k$H$N:,5r$H$J$k(B
$BH=CG4p=`$^$?$OH=CG4p=`$NAH9g$;$N%j%9%H$,I=<($5$l$F$$$k!#(B
$B$=$NCf$GAj<j$K<+J,$,M%0L$G$"$k$3$H$N:,5r$H$7$FDLCN$7$?$$$H;W$&H=CG4p=`$r(B
$B%@%V%k%/%j%C%/$9$k$3$H$G!"Aj<j$X$NM%@hDLCN$N:n6H$O=*N;$9$k!#(B

$B$?$@$7!"%(!<%8%'%s%H$,Ho9p$GO@>Z$N4X78$,L54X78$N>l9g$O!"(B
$BH=CG4p=`A*Br%&%$%s%I%&$N:n6H$r7P$:$KAj<j$X$NM%@hDLCN$N:n6H$O=*N;$7!"(B
$BH/8@8"$OAj<j$K0\$k!#(B


\subsubsection{$BAj<j$NM%@hDL9p$KBP$7$F<+J,$NM%@h$rDLCN$9$k$K$O(B}

$BAj<j$,L58z$rDLCN$7$?$3$A$i$NH?O@$rO@AhI=<(%(%j%"$KI=<($7!"(B
$BAj<j$KM%@hDLCN$r9T$J$&!#M%@hDLCN$N9T$J$$J}$O!V(B\ref{NT} $BDLCN$5$l$?Aj<j$NO@>Z$K(B
$BBP$7$FM%@hDL9p$9$k$K$O!W$r;2>H$N$3$H!#(B
$B$J$*!"$3$N>l9g$OH/8@8"$OAj<j$K0\$i$:!"Aj<j$N<gD%$KBP$7$FJL$NH?O@$rC5$9$3$H$K(B
$B$J$k!#(B


\subsubsection{$B<+J,$N<gD%$rJ|4~$9$k$K$O(B}

$BAj<j$NH?O@$^$?$OM%@hDL9p$KBP$7$F!"M-8z$JH?O@$dM%@hDL9p$NM}M3$,8+$D$+$i$J$$;~$O(B
$B<+J,$N<gD%$rJ|4~$7$J$1$l$P$J$i$J$$!#J|4~$9$k$K$O<+J,$N<gD%$rO@AhI=<(%(%j%"$K(B
$BI=<($7$F(B{\sl Cancel}$B%\%?%s$rA*Br$9$k!#(B


\subsubsection{$BAj<j$NO@>Z$KBP$9$kH?O@$N=*N;$r@k8@$9$k$K$O(B}

$BAj<j$NO@>Z$KBP$7$F!"$=$l0J>eH?O@$,$J$$$b$7$/$OH?O@$r$7$J$$$H7h$a$?>l9g!"(B
$BAj<j$K@k8@$7$FAj<j$KB>$NO@>Z$r=P$9$h$&$KMW5a$G$-$k!#(B\\
$B=*N;@k8@$N$?$a$K$O!"H?O@$r=*N;$7$?$$Aj<j$NO@>Z$rO@>ZI=<(%(%j%"$KI=<($7$F(B
{\sl Finish}$B%\%?%s$rA*Br$9$k!#(B


\subsubsection{$BO@>Z$rM%0L$K$9$k$K$O(B}\label{RY}

$B8=:_I=<($7$F$$$kO@>Z$rM%0L$K$9$k$?$a$K2ACM4Q$rJd6/$9$k$3$H$,$G$-$k!#(B
{\sl Justify}$B%\%?%s$rA*Br$9$k$H!"8=:_I=<($7$F$$$k<+J,$NO@>Z$,>GE@$H$J$C$F$$$k(B
$BAj<j$NO@>Z$h$j$bM-Mx$K$J$k$h$&$K2ACM4Q$KDI2C$9$Y$-H=CG4p=`$r8!:w$9$k!#(B
$BDI2C$9$Y$-H=CG4p=`$NAH9g$;$,8+$D$+$C$?>l9g$O!"2ACM4QJQ99<(:6%&%$%s%I%&$,(B
$B3+$+$l!"$=$3$KI=<($5$l$kH=CG4p=`$NAH9g$;$N%j%9%H$NCf$+$i%f!<%6$,E,Ev$H(B
$B9M$($k$b$N$rA*Br$9$k!#A*Br$N7k2L!"2ACM4Q$,JQ99$5$lO@>ZI=<(%(%j%"$NFbMF$,(B
$B99?7$5$l$k!#(B

\begin{quote}
\begin{figure}[htb]
\begin{center}
\epsfile{file=viewchgwin.ps,height=6cm}
\end{center}
\caption{$B2ACM4QJQ99<(:6%&%$%s%I%&(B}\label{figKHSW}
\end{figure}

$B:8$N%j%9%H$ODI2C$9$Y$-H=CG4p=`$NAH9g$;$rI=$7$F$$$k!#:8$N%j%9%H$NCf$+$i(B
$BG$0U$NH=CG4p=`$r%/%j%C%/$9$k$3$H$GA*Br$G$-$k!#A*Br$5$l$?H=CG4p=`$r(B
$BDI2C$7$?>l9g$N2ACM4Q$NFbMF$,1&$N%j%9%H$KI=<($5$l$k!#$=$NFbMF$,K~B-$G$"$l$P(B
{\sl Done}$B%\%?%s$rA*Br$9$k$3$H$G2ACM4Q$NJQ99$rEPO?$G$-!"(B
$B2ACM4QJQ99<(:6%&%$%s%I%&$OJD$8$k!#(B
\end{quote}

$B2ACM4Q$NJQ99$O!"Dj5A$5$l$?H=CG4p=`$NAH9g$;$NCf$G8!:w$5$l$k$?$a!"(B
$B4uK>$9$kO@>Z$NM%@h4X78$rK~$?$9?7$7$$2ACM4Q$,8+$D$+$i$J$$$3$H$b$"$k!#(B
$B$^$?!"2a5n$K<+J,$,9T$J$C$?M%@hDL9p$HL7=b$9$kM%@h4X78$r4^$`?7$7$$2ACM4Q$O(B
$B8uJd$H$O$J$i$J$$!#$=$N$?$a!"(B{\sl Justify}$B%\%?%s$rA*Br$7$F$bE,Ev$J2ACM4Q$,(B
$B8+$D$+$i$J$$$3$H$O$"$k!#$=$N>l9g$O3:Ev$9$k2ACM4Q$,$J$$$H$$$&%(%i!<%&%$%s%I%&$,(B
$B3+$/!#$3$N>l9g$OO@>Z$rM%0L$K$9$k$3$H$,$G$-$J$$$N$G!"B>$NH?O@$rC5$9$+(B
$BO@>Z$rJ|4~$9$k$J$I$NBP:v$,I,MW$K$J$k!#(B


\subsubsection{$B@hFI$_$N?<$5$rJQ99$9$k$K$O(B}

$BO@Ah$N2aDx$G$O(BDefeasible Reasoning$B$NOHAH$G<gD%$dH?O@$r@8@.$7$F$$$k!#(B
Defeasible Reasoning$B$NCf$G$O!"F3=P$5$l$??dO@LZ$KBP$9$kH?O@$rF3=P$7!"(B
$B$5$i$K$=$NH?O@$bF3=P$9$k$H$$$&$h$&$K:F5"E*$KH?O@$rA4$F5a$a$h$&$H$7$F$$$k!#(B
$B$3$N7W;;NL$r8:$i$9$?$a$KH?O@$N$5$i$KH?O@$rF3=P$9$k$H$$$C$?O@Ah$N@h$rFI$`(B
$BCJ?t$r@)8B$9$k$3$H$,$G$-$k!#(B\\
{\sl Depth}$B%\%?%s$rA*Br$9$k$3$H$G!"@hFI$_@_Dj%&%$%s%I%&$,3+$/!#(B
$B8!;!!"Ho9p$=$l$>$l$N@hFI$_$NCJ?t$rF~NO$7$F(BDone$B%\%?%s$rA*Br$9$k$3$H$G(B
$B@_Dj$5$l$k!#CJ?t$,#1$H$O<+J,$,A*$V$Y$-O@>Z$N#1CJ@h$NH?O@$^$GF3=P$9$k(B
$B$H$$$&$3$H$G$"$k!#(B

\newpage
\subsection{$BO@>Z%V%i%&%6$NA`:n$N;EJ}(B}\label{RBSS}

$BO@>Z%V%i%&%6$OO@Ah%&%$%s%I%&$NO@AhA`:nIt$N%\%?%s$r;H$$O@>ZI=<(%(%j%"$K(B
$BO@>Z$rI=<($5$;$k5!G=$G$"$k!#(B

\subsubsection{$BO@>ZI=<($N8+J}(B}\label{RHM}

$B0J2<$,O@>ZI=<(%(%j%"$K$*$1$k0lHLE*$JO@>Z$NI=<(7A<0$NNc$G$"$k!#(B

\begin{figure}[htb]
\begin{center}
\begin{verbatim}
      $B7:0lHL(B00
      weak
      $BN)7o$9$k(B(a_object=$B;}$A5n$k(B(agent=$B?M4V(B[name=>"$B9C(B"],object=$B%O%s(B
       $B;}$A5n$k(B(agent=$B?M4V(B[name=>"$B9C(B"],object=$B%O%s%I%P%C%0(B[name=>"$B%O(B
       $B4XO"$9$kHH:a(B(a_object=$B;}$A5n$k(B(agent=$B?M4V(B[name=>"$B9C(B"],object=
       $B=hH3$9$k(B(a_object=$B;}$A5n$k(B(agent=$B?M4V(B[name=>"$B9C(B"],object=$B%O%s(B
        $B9=@.MW7o$K3:Ev$9$k(B(a_object=$B;}$A5n$k(B(agent=$B?M4V(B[name=>"$B9C(B"],
         $B;}$A5n$k(B(agent=$B?M4V(B[name=>"$B9C(B"],object=$B%O%s%I%P%C%0(B[name=>"
         $BEp$_$G$"$k(B(a_object=$B;}$A5n$k(B(agent=$B?M4V(B[name=>"$B9C(B"],object=
          $B@jM-$7$F$$$k(B(a_object=$B?M4V(B[name=>"$B25(B"],object=$B%O%s%I%P%C%0(B
          $B;}$A5n$k(B(agent=$B?M4V(B[name=>"$B9C(B"],object=$B%O%s%I%P%C%0(B[name=>
          $BG'<1$7$F$$$k(B(a_object=$B?M4V(B[name=>"$B9C(B"],object=$B@jM-$7$F$$$k(B
           $BG'<1$7$F$$$k(B(a_object=$B?M4V(B[name=>"$B9C(B"],object=$B;`K4$9$k(B(ag
            $B8m2r$9$k(B(agent=$B?M4V(B[name=>"$B9C(B"],object=$B<:?@$9$k(B(agent=$B?M(B
           $B;}$A5n$k(B(agent=$B?M4V(B[name=>"$B9C(B"],object=$B%O%s%I%P%C%0(B[name=
! 1(0)   $B8N0U$"$j(B(a_object=$B?M4V(B[name=>"$B9C(B"],object=$B;}$A5n$k(B(agent=$B?M(B
          $B;}$A5n$k(B(agent=$B?M4V(B[name=>"$B9C(B"],object=$B%O%s%I%P%C%0(B[name=>
        not -$B=hH3$9$k(B(a_object=$B;}$A5n$k(B(agent=$B?M4V(B[name=>"$B9C(B"],objec
\end{verbatim}
\end{center}
\caption{$BO@>ZI=<($NNc(B}\label{figRHR}
\end{figure}

$B:G=i$N9T$O!"I=<($5$l$F$$$kO@>Z$N%H%C%W%k!<%k$NL>>N$rI=<($7!"(B
$BFsHVL\$N9T$O!"I=<($5$l$F$$$kO@>Z$N%H%C%W%k!<%k$H$=$NO@>Z$,H?G}$7$F$$$k(B
$B?FO@>Z$NCf4VL?Bj$rF3$/%k!<%k$H$NM%@h4X78$rI=$9!#(B
{\bf weak}$B$H$O!"I=<($5$l$F$$$kO@>Z$NJ}%H%C%W%k!<%k$NJ}$,M%@hEY$,Dc$$$H$$$&(B
$B0UL#$G$"$k!#B>$K$O!"(B{\bf strong}, {\bf non-relation} $B$,$"$j!"A0<T$O(B
$BI=<($5$l$F$$$kO@>Z$N%H%C%W%k!<%k$NJ}$,M%@hEY$,9b$$$H$$$&$3$H$r0UL#$7!"(B
$B8e<T$OFs$D$N%k!<%k$N4V$KM%@h4X78$,$J$$$3$H$r0UL#$9$k!#(B

$B$=$l0J9_$N?t;z$,F,$K9_$i$l$?9T$O!"O@>Z$r>ZL@LZ$N7A$GI=$7$F$$$k!#(B
$B$=$l$>$l$N9T$OO@>Z$NCf$G;H$o$l$?Cf4V%k!<%k$K$h$C$FF3$+$l$?Cf4VL?Bj$G$"$k!#(B
$BJQ?t$OA4$F(BUnify$B$5$l$?7A$GI=8=$5$l$k!#(B
\newpage
$B0l$D$rNc$K$H$j!"$5$i$K>\$7$/@bL@$9$k!#(B

\begin{figure}[htb]
\begin{center}
\begin{verbatim}
       $B;R>pJs(B	    $BCf4VL?Bj(B
=================================================================
       !  1(0)      $B8N0U$"$j(B(a_object=$B?M4V(B[name=>"
\end{verbatim}
\end{center}
\caption{$BO@>ZI=<($NCf4VL?Bj$NNc(B}\label{figRHCR}
\end{figure}

$B;R>pJs$O$3$NAhE@$KBP$9$k;R$K4X$9$k>pJs$r<($7$?$b$N$G$"$k!#(B
$B:G=i$N(B$!$$B$O!"$3$NAhE@$rF3$/%k!<%k$H!"$3$NAhE@$KBP$7$FJ#?t$"$k;R$N(B
$B%H%C%W%k!<%k$H$N4X78$N>pJs$rI=$7$?$b$N$G$"$k!#(B
$B<oN`$H$7$F$O(B$>,!,<$$B$,$"$j!"(B$>$$B$OA4$F$N;R$KBP$9$k%H%C%W%k!<%k4X78$,6/$$(B
$BAhE@!"(B$!$$B$O6/$$$N$HL54X78$J%H%C%W%k!<%k4X78$,$"$kAhE@!"(B$<$$B$O(B1$B$D$G$b<e(B
$B$$$b$N$,$"$kAhE@$r$"$i$o$9!#(B

$B<!$N(B$1(0)$$B$O!":G=i$N?t;z$,;R$N?t$rI=$9!#<!$N3g8LFb$N?t;z$OO@Ah$,(B
$B=*N;$7$?;R$N?t$rI=$9!#$J$*!"$3$3$G$$$&O@Ah=*N;$H$O!"8!;!(B,$BHo9pN>(B
$BJ}$G$*8_$$$N<gD%$,M%0L$G$"$k$3$H$r(Bnotice$B%3%^%s%I$K$h$jDLCN$7$?>l(B
$B9g$H(Bfinish$B%3%^%s%I$K$h$jAj<j$+$i<+J,$N<gD%$7$?O@>Z$K$D$$$FO@Ah$r(B
$B=*N;$7$?$3$H$rDLCN$5$l$?>l9g$r;X$9!#(B

$BCf4VL?Bj$O%k!<%k$N5"7kIt$KAjEv$9$k!#(B
$B3F9T$NCf4VL?Bj$K6uGr$,$O$$$C$F$$$F(B1$BCJ:9$,$"$k$N$O!"(B1$BCJ:9$"$k(B
$B$b$N$K$h$j!"CJ:9$,$J$$$b$N$,F3$+$l$?$3$H$r$"$i$o$9!#(B

\subsubsection{$BO@>Z0lMwI=<($N8+J}(B}\label{RIHM}

$BH?O@0lMwI=<(%&%$%s%I%&!"O@>Z0lMwI=<(%&%$%s%I%&$K$FI=<($5$l$kJ#?t$NO@>Z$r(B
$BI=<($9$k7A<0$K$D$$$F@bL@$9$k!#(B

$B0J2<$KH?O@0lMwI=<($NNc$r<($9!#(B

\begin{figure}[htb]
\begin{center}
\begin{verbatim}
Arg ID: p0
Issue Pos: 13
Consequence: $B8N0U$"$j(B(a_object=$B?M4V(B
RuleName: $B7:(B235$BBgDM@b(B
Num Of Counter: 1
0 : *  !  >:0!:1<:0 -$B8N0U$"$j(B(a_object=$B?M4V(B
\end{verbatim}
\end{center}
\caption{$BH?O@0lMwI=<($NNc(B}\label{figHIHR}
\end{figure}

\begin{description}

\item[Arg ID:] $B?FO@>Z(BID$B!#(B
\item[Issue Pos:] $B?FO@>Z$NAhE@HV9f!#(B\\
$B$3$N;R0lMwI=<($O?FO@>Z$N$I$NAhE@$KBP$9$k$b$N$J$N$+$rI=$9!#(B
\item[Consequence:] $B?FO@>Z$NAhE@HV9f$KBP1~$9$kAhE@$rF3$/%k!<%k$N<B9TIt!#(B
\item[RuleName:] $B?FO@>Z$NAhE@HV9f$KBP1~$9$kAhE@$rF3$/%k!<%k$NL>A0!#(B
\item[Num Of Counter:] $B?FO@>Z$NAhE@HV9f$KBP1~$9$kAhE@$KBP$9$kH?O@$N?t!#(B
\item[0:] $B;RHV9f!#(B\\
$*$$B$O4{$K(Bpose$B%3%^%s%I$K$h$jH?O@$:$_$N>l9g$G$"$j!"$^$@H?(B
$BO@$7$F$$$J$$>l9g$O$J$K$bI=<($5$l$J$$!#(B\\
$!$$B$O?FO@>Z$NAhE@$H$3$N;RHV9f$KBP1~$9$kO@>Z$H$N(B
TopRule$B4X78$rI=$7$F$$$F!"<oN`$H$7$F$O(B$>,!,<$$B$,$"$k!#$=$l$>(B
$B$l!"?F$KBP$7$F;R$,<e$$(B,$BL54X78(B,$B6/$$$G$"$k!#(B\\
$>:0!:1<:0$$B$O$3$N;RHV9f$KBP1~$9$kO@>Z$KBP$9$k;R$H$N(B
TopRule$B4X78$G$"$j!"6/$$(B(\(>\)),$BL54X78(B(!),$B<e$$(B(\(<\))$B$,$$$/$D$"$k(B
$B$+$r<($7$?$b$N$G$"$k!#(B

\end{description}

\subsubsection{$BH?O@@h$NO@>Z$r8+$k$K$O(B}
$B$=$N$?$a$K$O(BBackward$B%\%?%s$r;H$&!#(B
Backward$B%\%?%s$rA*Br$9$k$3$H$G!"O@>ZI=<(%(%j%"$KI=<($5$l$F$$$kO@>Z$,(B
$BH?O@$7$F$$$kO@>Z$,I=<($5$l$k!#(B

\subsubsection{$BH?O@$r8+$k$K$O(B}
$B$=$N$?$a$K$O8=:_I=<($5$l$F$$$kO@>Z$NCf$+$i$^$:D4$Y$?$$Cf4VL?Bj$rAhE@$H$7$F(B
$BA*$V!#(B
$BO@>ZI=<(%(%j%"$KI=<($5$l$?Cf4VL?Bj$r%^%&%9$G%@%V%k%/%j%C%/$9$k$3$H$G(B
$BCf4VL?Bj$OA*Br$5$l$k!#(B
$BCf4VL?Bj$rA*Br$9$k$3$H$G!"$=$NCf4VL?Bj$rAhE@$H$9$kH?O@$N0lMw$,I=<($5$l$k!#(B

\begin{figure}[htb]
\begin{center}
\epsfile{file=cargwin.ps,height=6cm}
\end{center}
\caption{$BH?O@A*Br%&%$%s%I%&(B}
\end{figure}

$B$3$N%&%$%s%I%&$K$O!"H?O@$N7kO@$N%j%9%H$,I=<($5$l$F$$$k!#(B
$B$=$NCf$G8+$?$$H?O@$N7kO@$r%^%&%9$G%@%V%k%/%j%C%/$7$FA*Br$9$k!#(B
$B$=$N7k2L!"H?O@A*Br%&%$%s%I%&$OJD$8!"O@>ZI=<(%(%j%"$KA*Br$5$l$?H?O@$,(B
$BI=<($5$l$k!#(B

$B$3$NB>$K!"(BForward$B%\%?%s$K$h$C$F$bH?O@$X0\F0$G$-$k!#(B
$B$3$N>l9g$OH?O@$NA*BrA`:n$,>JN,$5$l!"(B
$BD>A0$N(BBackward$B%\%?%s$G$N0\F0$N0\F085$NO@>Z$,O@>ZI=<(%(%j%"$KI=<($5$l$k!#(B
Forward$B%\%?%s$O!"(BBackward$B%\%?%s$r;H$C$F?F$r8+$?8e$K85$NO@>Z$XLa$k$N$K;H$&$N$,(B
$B0lHLE*$G$"$k!#(B

\subsubsection{$BF1$8AhE@$K$D$$$FB>$NH?O@$r8+$k$K$O(B}

$B$=$N$?$a$K$O!"(Bnext$B%\%?%s$+(Bprevious$B%\%?%s$r;H$&!#(B
next$B%\%?%s$+(Bprevious$B%\%?%s$rA*Br$9$k$3$H$GF1$8AhE@$K$D$$$FAh$&B>$NO@>Z$,(B
$BO@>ZI=<(%(%j%"$KI=<($5$l$k!#(B
next$B%\%?%s$H(Bprevious$B%\%?%s$OO@>Z$NI=<(=g=x$,0c$&$N$G!"(B
next$B%\%?%s$N0\F0$N8e$K(Bprevious$B%\%?%s$rA*Br$9$l$P85$NO@>Z$KLa$l$k!#(B


\subsubsection{$BO@Ah$N>GE@$K$J$C$F$$$kO@>Z$r8+$k$K$O(B}

{\sl Focus}$B%\%?%s$rA*Br$9$k!#(B


\subsubsection{$BO@>Z(BID$B$NJ,$+$C$F$$$kO@>Z$rI=<($9$k$K$O(B}

{\sl Jump}$B%\%?%s$rA*Br$7$F!"O@>Z(BID$B;XDj%&%$%s%I%&$r3+$-!"O@>Z(BID$B$rF~NO$7$F(B
$B%j%?!<%s$rF~NO$9$k$H!"O@>Z(BID$B$KBP1~$9$kO@>Z$,I=<($5$l$k!#(B
$BO@>Z(BID$B$O<gD%:Q$_$NO@>Z$K$7$+IUM?$5$l$F$$$J$$$3$H$KCm0U$9$k$3$H!#(B


\subsubsection{$B2a5n$N<gD%$r8!:w$9$k$K$O(B}

{\sl ClaimList}$B%\%?%s$rA*Br$9$k$H!"<gD%0lMw%&%$%s%I%&$,I=<($5$l$k!#(B

\begin{figure}[htb]
\begin{center}
\epsfile{file=claimwin.ps,width=15cm}
\end{center}
\caption{$B<gD%0lMw%&%$%s%I%&(B}\label{figSIW}
\end{figure}

$B:8$,8!;!$N<gD%$G!"1&$,Ho9p$N<gD%$G$"$k!#(B
$BI=<(7A<0$OO@>Z0lMwI=<($HF1MM$G$"$k(B(\ref{RIHM} $B;2>H(B)$B!#(B
$B8+$?$$<gD%$r%@%V%k%/%j%C%/$9$k$3$H$G!"$=$N<gD%$,I=<($5$l$k!#(B


\subsubsection{$BO@>ZI=<($r<+A38@8l$K$9$k$K$O(B}

{\sl Form}$B%\%?%s$rA*Br$9$k$H!"I=<(7A<0A*Br%&%$%s%I%&$,I=<($5$l$k!#(B

\begin{figure}[htb]
\begin{center}
\epsfile{file=formwin.ps,height=3cm}
\end{center}
\caption{$BI=<(7A<0A*Br%&%$%s%I%&(B}\label{figHYKSW}
\end{figure}

{\sl H-term}$B%\%?%s$rA*Br$9$k$H$=$l0J9_$NO@>ZI=<($O(BH$B9`7A<0$GI=<($5$l$k!#(B
{\sl Natural Language}$B%\%?%s$rA*Br$9$k$H$=$l0J9_$NO@>ZI=<($O%k!<%k$KIU2C$5$l$?(B
Explain$B>pJs$r;H$C$F<+A38@8l$N7A$GI=<($5$l$k!#(B

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
%	DRS$B%&%$%s%I%&(B
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%



\section{DRS$B%&%$%s%I%&$K$*$1$kA`:n(B}

\begin{quotation}
DRS$B5!G=$O!"O@Ah$H0[$J$j0l$D$N2ACM4Q$GLdBj$rJ,@O$9$k$?$a$K$"$k!#(B
$B@hFI$_$N?<$5$r(B$-1$$B$K$9$k$3$H$GA42rC5:w$r9T$J$&$3$H$,$G$-$k!#(B

DRS(Defeasible Reasoning System)$B%&%$%s%I%&$O=i4|%&%$%s%I%&$+$i3+$+$l$k!#(B
DRS(Defeasible Reasoning System)$B%&%$%s%I%&$O4pK\E*$KO@Ah%&%$%s%I%&$+$i(B
$BO@AhA`:nIt$r=|$$$?$b$N$HF1$8$G$"$k!#(B
$B$=$N$?$a(BDRS$B%&%$%s%I%&$K$*$1$k%4!<%k!&2ACM4Q!&;HMQCN<1$N@_DjJ}K!$O(B
$B!VO@Ah%&%$%s%I%&$K$*$1$kA`:n!W$r;2>H$9$k$3$H!#(B

DRS$B%&%$%s%I%&$r3+$/$K$O!"7?!"2ACM4Q!"%4!<%k!"%k!<%k$N%m!<%I$,(B
$B40N;$7$F$$$kI,MW$,$"$k!#(B

DRS$B%&%$%s%I%&$HO@Ah%&%$%s%I%&$OF1;~$K3+$/$3$H$O$G$-$J$$!#(B
\end{quotation}

\begin{figure}[htb]
\begin{center}
\epsfile{file=drswin.ps,height=12cm}
\end{center}
\caption{DRS$B%&%$%s%I%&(B}\label{figRW}
\end{figure}

\begin{itemize}

\item DRS$B@_DjIt(B\\
\begin{description}
\item[View$B%\%?%s(B:] $B2ACM4Q$r@_Dj$9$k!#(B
\item[Unit$B%\%?%s(B:] $B;HMQ$9$kCN<1$r@_Dj$9$k!#(B
\item[Goal$B%\%?%s(B:] $B%4!<%k$r@_Dj$9$k!#(B
\item[Solve$B%\%?%s(B:] $B?dO@$r3+;O$9$k!#(B
\item[Quit$B%\%?%s(B:] DRS$B%&%$%s%I%&$rJD$8$k!#(B
\end{description}

\item DRS$B@_Dj%V%i%&%6It(B
\begin{description}
\item[Goal $B%(%j%"(B:] $B8=:_@_Dj$5$l$F$$$k%4!<%k$rI=<($9$k!#(B
\item[View $B%(%j%"(B:] $B8=:_@_Dj$5$l$F$$$k2ACM4Q$rI=<($9$k!#(B
\end{description}

\item DRS$B>uBV%V%i%&%6It(B
\begin{description}
\item[$BO@>ZI=<(%(%j%"(B:] $BO@>Z$rI=<($9$kNN0h!#O@>Z$G$"$k>ZL@LZ$r9=@.$9$k3F%k!<%k$N(B
Unify$B$5$l$?7kO@(B($BCf4VL?Bj(B)$B$r!"$=$N;2>H4X78$K$h$j%$%s%G%s%HIU$1$FI=<($7$F$$$k!#(B
\end{description}

\item{$BO@>Z%V%i%&%6A`:nIt(B}
\begin{description}
\item[Backward$B%\%?%s(B:] $B8=:_(B $BO@>ZI=<(%(%j%"$KI=<($5$l$F$$$kO@>Z$NH?O@BP>]$G$"$k(B
$BO@>Z$rI=<($5$;$k!#(B
\item[Forward$B%\%?%s(B:] Backward$B%\%?%s$G0\F0$7$?>l9g!"$3$N%\%?%s$rA*$V$3$H$G(B
$BD>A0$N(BBackward$B$G0\F0$9$kA0$NO@>Z$KLa$k!#(B
$B8=:_(B $BO@>ZI=<(%(%j%"$KI=<($5$l$F$$$kO@>Z$X$NH?O@$N$"$k0l$D$XLa$k!#(B
\item[Next$B%\%?%s(B:] $B8=:_(B $BO@>ZI=<(%(%j%"$KI=<($5$l$F$$$kO@>Z$HF1$8AhE@$K$D$$$F(B
$BAh$C$F$$$k$,H?O@$,$"$k>l9g$=$l$K?J$`!#(B
\item[Previous$B%\%?%s(B:] $B8=:_(B $BO@>ZI=<(%(%j%"$KI=<($5$l$F$$$kO@>Z$HF1$8AhE@$K(B
$B$D$$$FAh$C$F$$$k$,H?O@$,$"$k>l9g$=$l$K?J$`!#(B
Next$B%\%?%s$H$O5U$N=g$KI=<($5$l$k!#(B
\item[Explain$B%\%?%s(B:] $B8=:_I=<($7$F$$$kO@>Z$N<+A38@8l$K$h$k@bL@J8$r(B
$BI=<($5$;$k!#(B
\item[form$B%\%?%s(B:] $BO@>ZI=<(%(%j%"$KI=<($9$kCf4VL?Bj$NI=<(7A<0$r;XDj$9$k!#(B
$BI=<(7A<0$K$O(BH$B9`$K$h$kI=8=$H<+A38@8l$K$h$k@bL@J,$NFsDL$j$,MQ0U$5$l$F$$$k!#(B
\end{description}

\end{itemize}

\subsection{DRS$B%&%$%s%I%&$r3+$/$K$O(B}
$B=i4|%&%$%s%I%&$N(B{\sl DRS}$B%\%?%s$rA*Br$9$k$H3+$/!#$?$@$7!"I,MW$J%U%!%$%k$N(B
$B%m!<%I$r=*$($F$$$J$$$H(B{\sl DRS}$B%\%?%s$O(Bsensitive$B$K$O$J$i$J$$!#(B

\subsection{DRS$B%&%$%s%I%&$rJD$8$k$K$O(B}
DRS$B%&%$%s%I%&$N(B{\sl Quit}$B%\%?%s$rA*Br$9$k!#(B

\subsection{$B?dO@$r9T$J$&$K$O(B}

DRS$B%&%$%s%I%&$N(B{\sl Solve}$B%\%?%s$rA*Br$9$k!#$?$@$7!"A*Br$NA0$K(B
$B2ACM4Q!";HMQCN<1!"%4!<%k$N@_Dj$r9T$J$o$J$1$l$P$J$i$J$$!#(B
$B?dO@7k2L$OO@>ZI=<(%(%j%"$KI=<($5$l$k!#(B
$BO@>Z%V%i%&%6$NA`:nJ}K!$O!"!VO@>Z%V%i%&%6$NA`:n$N;EJ}!W$r;2>H$9$k$3$H!#(B

\section{$B@)8B;v9`(B}

'95/4$BG[I[$N%P!<%8%g%s$G$O0J2<$N5!G=$,<B8=$5$l$F$$$^$;$s!#(B

\begin{itemize}
\item $B<+A38@8l$K$h$C$FO@>Z$rI=<($9$k5!G=(B
\item $BO@Ah8e$K2a5n$N<gD%$r;2>H$9$k%V%i%&%:5!G=(B
\end{itemize}

\end{document}
