[CSUSB] >> [CompSci] >> [Dick Botting] >> [CS656/556 Course Materials] >> fig22
[Index] || [Contents] || [Grades] Tue Aug 5 11:44:59 PDT 2003

Contents


    Source

    [RobertsonAgusti99]

    Argumentation Networks

  1. Argumentation_network::= following
    Net
    1. Requirement::Sets.
    2. Position::Sets.
    3. Issue::Sets.
    4. Decision::Sets.

    5. Node::= Requirement | Position | Issue | Decision.

    6. specializes::@(Requirement , Requirement).
    7. generate::@(Requirement, Issue).
    8. responds_to::@(Position, Issue).
    9. suggested_by::@(Issue, Position).
    10. based_on::@(Decision, Position).
    11. resolves::@(Decision, Issue).
    12. depends_on::@(Decision, Decision).

    13. linked_to::= specializes | generates | responds_to | based_on | is_suggested_by | resolves.

    14. contributes_to::= do(linked_to); linked_to.

    (End of Net)

    Figure 2.2 of RobertsonAgusti99

  2. Figure_2_2::=the Argumentation_network with following,

    1. |-Requirement=img(r).
    2. r::= ('Loan application system', 'Represent divisions', 'Represent communications', 'Key role of loan department', 'Wish to automate').


    3. |-Issue= img(i).
    4. i::= ('Describing divisions', 'Representing communications channels', 'A special model of the loan department', 'How much of loan assessment is it realistic to automate', 'Representing different decisions in divisions').


    5. |-Position = img(p).
    6. p::=('As operators', 'As data streams', 'No special treatment', 'Constructing local decision procedures').


    7. |-Decision= img(d).
    8. d::=( 'An operator model', 'All divisions represented as operators', 'Model based decision procedures').


    9. |-r2 specializes r1.
    10. |-r3 specializes r1.
    11. |-r4 specializes r1.
    12. |-r5 specializes r1.
    13. |-r2 generates i1.
    14. |-i2 generates i2.
    15. |-r4 generates i3.
    16. |-r5 generates i4.
    17. |-p1 responds_to i1 .
    18. |-p2 responds_to r3 .
    19. |-p3 responds_to i3.
    20. |-d1 based_on p1.
    21. |-d1 based_on p2.
    22. |-d1 resolves i1.
    23. |-d1 resolves r3.
    24. |-p2 based_on p3.
    25. |-p2 depends_on d1.
    26. |-p2 is_suggested_by i5.
    27. |-d3 depends_on d1.
    28. |-d3 based_on p4.
    29. |-p4 responds_to i5.



Formulae and Definitions in Alphabetical Order