Input:

Argument construction
Argument Valuation
Argument Interaction
Argument status evaluation (Semantics)

An alternative way to submit is to type two consecutive backquotes, or backslashes, in the input area.


Result: 

The claim, b is accepted View Graph     View AIFXML

Trace:

restricted rebutting = false
transposition = false
valuation = weakest_link
semantics = grounded

Query whether b is admissible

  1.   190 www PRO: searching arguments for literal b.
  2.   194 www PRO: found one or more rules for literal b.
  3.   199 www PRO: found rule r1: ba 0.50.
  4.   552 www PRO: searching for arguments for: r1, a.
  5.   190 wwwPRO: searching arguments for literal r1 [3].
  6.   194 wwwPRO: found one or more facts or beliefs for literal r1.
  7.   199 wwwPRO: found belief r1 0.50.
  8.   203 wwwPRO: found Arg1: r1 0.50.

  9.   190 wwwPRO: searching arguments for literal a [3].
 10.   194 wwwPRO: found one or more facts or beliefs for literal a.
 11.   199 wwwPRO: found fact a.
 12.   203 wwwPRO: found Arg2: a.

 13.   203 www PRO: found Arg3: 
                    b 0.50r1 0.50.
                       a.

 14.    89 www STS: { Arg3 } / ø
 15.    92 www CON: starting attack against Arg3
 16.   859 www CON: examining Arg3 [13].
 17.   190 www CON: searching arguments for literal ¬b.
 18.   859 www CON: examining Arg1 [8].
 19.   190 www CON: searching arguments for literal ¬r1.
 20.   194 www CON: found one or more facts or beliefs for literal ¬r1.
 21.   199 www CON: found belief ¬r1 0.80.
 22.   203 www CON: found Arg4: ¬r1 0.80.

 23.   899 www CON: Arg4 strong enough to interfere with Arg1 
 24.    98 www CON: found 1th attacker against PRO's Arg3: Arg4
 25.   859 www PRO: examining Arg4 [22].
 26.   190 www PRO: searching arguments for literal r1.
 27.   194 www PRO: found one or more facts or beliefs for literal r1.
 28.   199 www PRO: found belief r1 0.50.
 29.   203 www PRO: found Arg5: r1 0.50.

 30.   899 www PRO: Arg5 too weak to interfere with Arg4 
 31.   194 www PRO: found one or more rules for literal r1.
 32.   199 www PRO: found rule r2: r1h 0.90.
 33.   552 www PRO: searching for arguments for: r2, h.
 34.   190 wwwPRO: searching arguments for literal r2 (need 0.50) [32].
 35.   194 wwwPRO: found one or more facts or beliefs for literal r2.
 36.   199 wwwPRO: found belief r2 0.90.
 37.   203 wwwPRO: found Arg6: r2 0.90.

 38.   190 wwwPRO: searching arguments for literal h (need 0.50) [32].
 39.   194 wwwPRO: found one or more facts or beliefs for literal h.
 40.   199 wwwPRO: found fact h.
 41.   203 wwwPRO: found Arg7: h.

 42.   203 www PRO: found Arg8: 
                    r1 0.90r2 0.90.
                       h.

 43.   899 www PRO: Arg8 strong enough to interfere with Arg4 
 44.   106 www PRO: starting defense against attack Arg3 <- Arg4
 45.    89 wwwSTS: { Arg3, Arg8 } / { Arg4 }
 46.    92 wwwCON: starting attack against Arg8
 47.   859 wwwCON: examining Arg8 [42].
 48.   899 wwwCON: Arg4 too weak to interfere with Arg8 
 49.   859 wwwCON: examining Arg6 [37].
 50.   190 wwwCON: searching arguments for literal ¬r2.
 51.   859 wwwCON: examining Arg7 [41].
 52.   190 wwwCON: searching arguments for literal ¬h.
 53.   131 wwwCON: no attackers, hence attack on Arg8 fails
 54.   135 wwwSTS: Arg8 is a member of the admissible set { Arg3, Arg8 }
 55.   108 www PRO: defense Arg3 <- Arg4 <- Arg8 succeeds
 56.   118 www PRO: defense of Arg3 successful, returning { Arg3, Arg8 }
 57.   859 www CON: examining Arg2 [12].
 58.   190 www CON: searching arguments for literal ¬a.
 59.   133 www CON: no more attackers, hence attack on Arg3 fails
 60.   135 www STS: Arg3 is a member of the admissible set { Arg3, Arg8 }
 61.   194 wwwPRO: found one or more rules for literal r1.
 62.   199 wwwPRO: found rule r2: r1h 0.90.
 63.   552 wwwPRO: searching for arguments for: r2, h.
 64.   190 www   …    …  PRO: searching arguments for literal r2 (need 0.50) [62].
 65.   194 www   …    …  PRO: found one or more facts or beliefs for literal r2.
 66.   199 www   …    …  PRO: found belief r2 0.90.
 67.   203 www   …    …  PRO: found Arg9: r2 0.90.

 68.   190 www   …    …  PRO: searching arguments for literal h (need 0.50) [62].
 69.   194 www   …    …  PRO: found one or more facts or beliefs for literal h.
 70.   199 www   …    …  PRO: found fact h.
 71.   203 www   …    …  PRO: found Arg10: h.

 72.   203 wwwPRO: found Arg11: 
                         r1 0.90r2 0.90.
                            h.

 73.   190 wwwPRO: searching arguments for literal a [3].
 74.   194 wwwPRO: found one or more facts or beliefs for literal a.
 75.   199 wwwPRO: found fact a.
 76.   203 wwwPRO: found Arg12: a.

 77.   203 www PRO: found Arg13: 
                    b 0.90r1 0.90r2 0.90.
                          h.
                       a.

 78.    89 www STS: { Arg13 } / ø
 79.    92 www CON: starting attack against Arg13
 80.   859 www CON: examining Arg13 [77].
 81.   859 www CON: examining Arg11 [72].
 82.   899 www CON: Arg4 too weak to interfere with Arg11 
 83.   859 www CON: examining Arg9 [67].
 84.   859 www CON: examining Arg10 [71].
 85.   859 www CON: examining Arg12 [76].
 86.   131 www CON: no attackers, hence attack on Arg13 fails
 87.   135 www STS: Arg13 is a member of the admissible set { Arg13 }

13 arguments 14 rules and 33 terms generated
0.021891944 seconds
PRO
Action performed by constructor
CON
Action performed by destructor
zegt(..
Term functor
.. zegt ..
Constant
( , , )
Term token (comma, brace)
X, Y, ..
Variable
0.75
Numeric (rule strength and others)
0.63
Support
{ ... }
Substitution
assd
Argument
234 adm
Reference to source
: ... words words ...
Actions refering to argument construction


Script "AS.index.rb" last modified on 2017-01-22 16:42:28 +0000. This page generated on 2017-05-26 21:39:24 +0100.