\section{提案するモデル}
ある事柄に対して合意を取る場合, 議論が行われる.
そこで, 合意形成支援を行うため, 議論のモデルから考えてみた.
%いくつか上げられたモデルのうちの1つが次のモデルとなる.

\subsection{モデルの概要}
提案する議論のモデルは, 合意形成を「主張」・「関係」・「ユーザ」の要素から構成される木と考える.
合意を取りたい「主張」があり, その内容を深めて議論していくことでステークホルダ(「ユーザ」)
に合意するよう説得していく.
議論を深めていくことは, 「主張」から更に踏み込んだ内容の「主張」が複数派生すると考えられる.
また, 「主張」に対してどのように踏み込んだかという「関係」も発生する.
よって「主張」から複数の「関係」と「主張」が派生し, その「主張」からさらに複数の
「関係」と「主張」が派生することにより, 木構造を構成できる.
これは木構造には閉路が含まれないため, 循環論法が生じさせないという狙いがある.

%\begin{itemize}
%\item 木構造にすることでいくつかの利点が得られる.
%  \begin{itemize}
%    \item 木構造には閉路が含まれない. よって循環論法が生じない
%    \item 非破壊的な編集が可能である
%  \end{itemize}
%\end{itemize}

「ユーザ」・「主張」・「関係」は以下の用に定義される.
\begin{itemize}
\item ユーザ
  \begin{itemize}
    \item 合意形成の参加者をユーザという
  \end{itemize}

\item 主張
  \begin{itemize}
    \item ユーザが作成した合意をとりたい, 議論すべき内容を含むものを主張という
  \end{itemize}

\item 関係
  \begin{itemize}
%    \item 互いに異なる「主張」と「主張」がどのように踏み込んだかを示すのを「関係」という
    \item ユーザと主張, もしくは互いにことなる主張と主張がどのように踏み込んだかを示すのを「関係」という
  \end{itemize}
\end{itemize}

\subsection{GraphDBによる表現}
GraphDBを用いて上記のモデルを表現する.
提案するモデルの「ユーザ」と「主張」がノードで, 「関係」がエッジにあたる.
各主張とユーザとの関係を示したものが図\ref{fig:tomodel0}となる.四角がノードを, 矢印がエッジをそれぞれ表している.

\begin{figure}[tb]
  \begin{center}
    \includegraphics[scale=0.35]{figure/TOModel0_2.pdf}
    \caption{主張ノードとユーザノードの繋がり}
    \label{fig:tomodel0}
  \end{center}
\end{figure}

%主張が合意されたという状態になるのは, 合意要求をだしている相手から合意をもらえたときとなる.
図\ref{fig:tomodel0}において主張2,3からユーザへのエッジは省略しているが、
各主張ノードからはそれぞれ作者と合意要求の関係となるエッジがユーザノードへと繋げられる.


\subsection{合意状況の計算}
このモデルにおいて主張は一人以上のユーザに合意要求を出して合意してもらわなければならない.
しかし, その主張に子となる主張(図\ref{fig:tomodel0}での主張2,3)がある場合, つまり関係が張られた別の主張がある場合,
子となる主張を合意もしくは否認させておかなくてはならない.
自身の主張の合意を通すための各関係は以下のとおりとなる.
\begin{itemize}
\item 反論
  \begin{itemize}
    \item 反論となる主張が合意されると親の主張は合意できない. 反論には別の反論を用意して相手を納得させることで合意を進める.
  \end{itemize}
\item 質問
  \begin{itemize}
    \item 質問となる主張は別の主張により答えが得られたら合意をする. 質問の関係で繋げられた主張を合意させなければ親の主張の合意は通らない.
  \end{itemize}
\item 提案
  \begin{itemize}
    \item 提案となる主張はどの状態であろうと親の合意状況に影響は与えない.
  \end{itemize}
\end{itemize}

上記のように3種類の関係も主張の合意状態に影響を与える.
実際にどのように主張が立てられて合意がなされていくのか簡単なシナリオを
記述して示したものが図\ref{fig:tomodel2}となる.

図\ref{fig:tomodel2}の説明を行う.
四角が主張を, 矢印が関係をそれぞれ表す.
まず最初に主張1「アプリでGraphDBを利用すべきである」が立てられる.
次にその主張に対して反論となる主張2「RDBを利用すべきである」が立てられる.
この時, 最初にたてた主張は自身の合意を取るためには反論となる主張を否認させなければならない.
そこで, 反論に対して反論を用意し,  主張3「データ構造がGraphDBに向いている」を立て主張2を否認する.
2の主張の作成を行った人は3の主張で納得したため3に合意を行う.
それにより2の主張は否認されることとなる.
次に質問となる主張4「どのGraphDBを利用すべきでか？」が立てられる.
これに対しては提案となる主張5「TinkerPopはどうか」をたてることで応える.
質問者はその答えに納得し主張5に対して合意を行い, 他に反論や質問も無いため主張1に対しても合意する.
これで主張1に対して反論の関係にある主張は否認にし, 質問となる主張の合意を取ることができたため, 主張1の合意はなされた.
以上が提案するモデルによる合意を取るまでの簡単な流れである.

\begin{figure}[tb]
  \begin{center}
    \includegraphics[scale=0.30]{figure/TOModel2_2.pdf}
    \caption{主張1の合意が取られた状態}
    \label{fig:tomodel2}
  \end{center}
\end{figure}


%\subsection{トゥールミンモデル}
%また, それぞれの主張に対して, トゥールミンモデルを適用する.