changeset 28:bd4f63546821

modified compare.tex
author Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
date Sun, 31 Mar 2013 07:10:14 +0900
parents ee0841608f16
children 9733b7b08dd0
files paper/figure/TOModel0.bb paper/figure/TOModel0_2.bb paper/figure/TOModel2.bb paper/figure/TOModel2_2.bb paper/figure/Temporal.bb paper/figure/Temporal.pdf paper/figure/architecture.bb paper/figure/d_add.bb paper/figure/toulmin.bb paper/figure/usecase.bb paper/implmodel.tex
diffstat 11 files changed, 20 insertions(+), 14 deletions(-) [+]
line wrap: on
line diff
--- a/paper/figure/TOModel0.bb	Sun Mar 31 06:24:32 2013 +0900
+++ b/paper/figure/TOModel0.bb	Sun Mar 31 07:10:14 2013 +0900
@@ -1,5 +1,5 @@
 %%Title: ./TOModel0.pdf
 %%Creator: extractbb 20110311
 %%BoundingBox: 0 0 554 138
-%%CreationDate: Sun Mar 31 05:51:42 2013
+%%CreationDate: Sun Mar 31 06:25:41 2013
 
--- a/paper/figure/TOModel0_2.bb	Sun Mar 31 06:24:32 2013 +0900
+++ b/paper/figure/TOModel0_2.bb	Sun Mar 31 07:10:14 2013 +0900
@@ -1,5 +1,5 @@
 %%Title: ./TOModel0_2.pdf
 %%Creator: extractbb 20110311
 %%BoundingBox: 0 0 573 257
-%%CreationDate: Sun Mar 31 05:51:42 2013
+%%CreationDate: Sun Mar 31 06:25:41 2013
 
--- a/paper/figure/TOModel2.bb	Sun Mar 31 06:24:32 2013 +0900
+++ b/paper/figure/TOModel2.bb	Sun Mar 31 07:10:14 2013 +0900
@@ -1,5 +1,5 @@
 %%Title: ./TOModel2.pdf
 %%Creator: extractbb 20110311
 %%BoundingBox: 0 0 545 522
-%%CreationDate: Sun Mar 31 05:51:42 2013
+%%CreationDate: Sun Mar 31 06:25:41 2013
 
--- a/paper/figure/TOModel2_2.bb	Sun Mar 31 06:24:32 2013 +0900
+++ b/paper/figure/TOModel2_2.bb	Sun Mar 31 07:10:14 2013 +0900
@@ -1,5 +1,5 @@
 %%Title: ./TOModel2_2.pdf
 %%Creator: extractbb 20110311
 %%BoundingBox: 0 0 675 513
-%%CreationDate: Sun Mar 31 05:51:42 2013
+%%CreationDate: Sun Mar 31 06:25:41 2013
 
--- a/paper/figure/Temporal.bb	Sun Mar 31 06:24:32 2013 +0900
+++ b/paper/figure/Temporal.bb	Sun Mar 31 07:10:14 2013 +0900
@@ -1,5 +1,5 @@
 %%Title: ./Temporal.pdf
 %%Creator: extractbb 20110311
 %%BoundingBox: 0 0 576 218
-%%CreationDate: Sun Mar 31 05:51:42 2013
+%%CreationDate: Sun Mar 31 06:25:41 2013
 
Binary file paper/figure/Temporal.pdf has changed
--- a/paper/figure/architecture.bb	Sun Mar 31 06:24:32 2013 +0900
+++ b/paper/figure/architecture.bb	Sun Mar 31 07:10:14 2013 +0900
@@ -1,5 +1,5 @@
 %%Title: ./architecture.pdf
 %%Creator: extractbb 20110311
 %%BoundingBox: 0 0 638 260
-%%CreationDate: Sun Mar 31 05:51:42 2013
+%%CreationDate: Sun Mar 31 06:25:41 2013
 
--- a/paper/figure/d_add.bb	Sun Mar 31 06:24:32 2013 +0900
+++ b/paper/figure/d_add.bb	Sun Mar 31 07:10:14 2013 +0900
@@ -1,5 +1,5 @@
 %%Title: ./d_add.pdf
 %%Creator: extractbb 20110311
 %%BoundingBox: 0 0 428 353
-%%CreationDate: Sun Mar 31 05:51:42 2013
+%%CreationDate: Sun Mar 31 06:25:41 2013
 
--- a/paper/figure/toulmin.bb	Sun Mar 31 06:24:32 2013 +0900
+++ b/paper/figure/toulmin.bb	Sun Mar 31 07:10:14 2013 +0900
@@ -1,5 +1,5 @@
 %%Title: ./toulmin.pdf
 %%Creator: extractbb 20110311
 %%BoundingBox: 0 0 404 234
-%%CreationDate: Sun Mar 31 05:51:42 2013
+%%CreationDate: Sun Mar 31 06:25:41 2013
 
--- a/paper/figure/usecase.bb	Sun Mar 31 06:24:32 2013 +0900
+++ b/paper/figure/usecase.bb	Sun Mar 31 07:10:14 2013 +0900
@@ -1,5 +1,5 @@
 %%Title: ./usecase.pdf
 %%Creator: extractbb 20110311
 %%BoundingBox: 0 0 503 525
-%%CreationDate: Sun Mar 31 05:51:42 2013
+%%CreationDate: Sun Mar 31 06:25:41 2013
 
--- a/paper/implmodel.tex	Sun Mar 31 06:24:32 2013 +0900
+++ b/paper/implmodel.tex	Sun Mar 31 07:10:14 2013 +0900
@@ -43,19 +43,25 @@
   \item toulmin : トゥールミンモデルにおける主張以外の5つの要素が入る
   \item timestamp : 作成された時間を示すタイムスタンプ
 \end{itemize}
+主張のそれぞれの合意状態は, passedは合意されている, failedは否認された, unknownはpassedでもfailedでも無いことを示す.
 
 主張同士を繋ぐエッジはプロパティを持たないが, ユーザへと伸びる合意要求のエッジだけは
 以下のプロパティを持つ.
 \begin{itemize}
 \item status : ユーザの主張に対する合意状態を表す. agreed, denied, pend, unknown の状態がある.
 \end{itemize}
+agreedは合意した, deniedは否認した, pendは保留, unknownは最初の状態をそれぞれ示す.
 
 \subsection{合意状態の計算}
-今回のモデルの特徴の1つとしてエッジの関係により合意状態の計算が変わってくるところにある.
-
-サーバ側は主張に繋がっている合意要求のstatusが変更した際に主張の合意状態を計算しなければならない.
-
-
+基本, 各主張は自身に繋がっている合意要求の関係にあるエッジのstatusが全てagreedかfailedとなることで合意か否認されたとみなされる.
+しかし, 今回のモデルの特徴の1つとしてエッジの関係により合意状態の計算が変わってくるというのがある.
+これにより, ユーザへと伸びる合意要求のエッジの他に, 子となる主張の合意状態とエッジの関係も見る必要がでてくる.
+主張が合意状態となるために以下の2つもチェックする必要がある.
+\begin{itemize}
+\item 反論の関係で繋がっている子の主張は全て否認の状態になってなければならない.
+\item 質問の関係で繋がっている子の主張は全て合意の状態になってなければならない.
+\end{itemize}
+提案の関係は, 合意状態に影響を及ぼさないため気にする必要はない.
 
 
 \subsection{時系列ごとにみられる合意状況}