Archangel
Todau I received the following situation update.

QUOTE
>TU 167: Political Situation
   
    AFF            ALLIES                        WARS
   
    BHD (63)        CIA CNF
    CIA (64)                                      IMP GTT GCS
    CNF (65)                                      IMP GTT FET GCS
    COH (23)                                      FLZ
    DEN (67)        DOM
    DOM (57)        DEN
    DTR (58)                                      IMP GTT FET
    FCN (70)                                      FLZ
    FEL (49)                                      FLZ
    FET (56)                                      HLQ HSZ KST BHD CIA CNF DTR
    FGZ (26)        HVE WMB OPS
    GCS (10)        GTT
    GTT (52)        IMP FET GCS
    HLQ (41)        CNF CIA
    HVE (68)        FGZ OPS
    IMP (51)                                      HSZ BHD CIA CNF DTR KST HLQ
    OPS (36)        HVE WMB FGZ
    RIP (17)                                      FLZ
    SMS (53)                                      FLZ
    WMB (25)        FGZ OPS
    Total TU cost for this action is 7


This is the first time I have received such a report. Some interesting states are reported here hence my questions.

1. I note that for some reason a bilateral state of war does not exist between the CIA and FET. A similar relationship exists between FET and the HLQ. Is this an error in reporting?

2. I also not that a number of groups are at war with the FLZ but no detail line exists for the FLZ at all?

3. In the case where published alliances exist, I also note that transitive states do not apply either. For example, FGZ is allied with HVE, WMD and OPS, yet WMB is only allied with FGZ and OPS. Is this a correct situation?

ohmy.gif
Mandible
QUOTE (Archangel @ Oct 29 2004, 04:25 PM)
Todau I received the following situation update.

QUOTE
>TU 167: Political Situation
   
    AFF             ALLIES                        WARS
   
    BHD (63)        CIA CNF
    CIA (64)                                      IMP GTT GCS
    CNF (65)                                      IMP GTT FET GCS
    COH (23)                                      FLZ
    DEN (67)        DOM
    DOM (57)        DEN
    DTR (58)                                      IMP GTT FET
    FCN (70)                                      FLZ
    FEL (49)                                      FLZ
    FET (56)                                      HLQ HSZ KST BHD CIA CNF DTR
    FGZ (26)        HVE WMB OPS
    GCS (10)        GTT
    GTT (52)        IMP FET GCS
    HLQ (41)        CNF CIA
    HVE (68)        FGZ OPS
    IMP (51)                                      HSZ BHD CIA CNF DTR KST HLQ
    OPS (36)        HVE WMB FGZ
    RIP (17)                                      FLZ
    SMS (53)                                      FLZ
    WMB (25)        FGZ OPS
    Total TU cost for this action is 7


This is the first time I have received such a report. Some interesting states are reported here hence my questions.

1. I note that for some reason a bilateral state of war does not exist between the CIA and FET. A similar relationship exists between FET and the HLQ. Is this an error in reporting?

2. I also not that a number of groups are at war with the FLZ but no detail line exists for the FLZ at all?

3. In the case where published alliances exist, I also note that transitive states do not apply either. For example, FGZ is allied with HVE, WMD and OPS, yet WMB is only allied with FGZ and OPS. Is this a correct situation?

ohmy.gif

Lots of weird things. Ive never used the order (its one of the new ones), but Id always thought it would only show your own affiliations political situation.

It also appears to be true for the GTT - CIA/CNF/DTR are at war with them, but GTT are not at war back. Guess its one-sided wink.gif
Mandible
The HSZ and the KST are also not on the list (though someone is at war with them). I guess if the affiliation has no allies and has not declared war itself, then it doesnt show on the report (no nil entries).

Mark
Archangel
QUOTE
The HSZ and the KST are also not on the list (though someone is at war with them). I guess if the affiliation has no allies and has not declared war itself, then it doesnt show on the report (no nil entries).


More like an entry level mathematicians implemtation of a sparse matrix.
Archangel
QUOTE
The HSZ and the KST are also not on the list (though someone is at war with them). I guess if the affiliation has no allies and has not declared war itself, then it doesnt show on the report (no nil entries).


More like an entry level mathematicians implementation of a sparse matrix.
ptb
QUOTE (Archangel @ Oct 29 2004, 05:25 PM)
1. I note that for some reason a bilateral state of war does not exist between the CIA and FET. A similar relationship exists between FET and the HLQ. Is this an error in reporting?

3. In the case where published alliances exist, I also note that transitive states do not apply either. For example, FGZ is allied with HVE, WMD and OPS, yet WMB is only allied with FGZ and OPS. Is this a correct situation?

If your at war, or allied is defined soully by if the players running the affilation has issued the orders, and is only one way, possibly you could be allied with somoene who was at war with you, which brings on the great concepts of their ships being unable to attack you happy.gif

QUOTE (Archangel @ Oct 29 2004, 05:25 PM)
2. I also not that a number of groups are at war with the FLZ but no detail line exists for the FLZ at all?


I belive archangel is right about this, but i just wanted to mention that the FLZ are evil.
Dan Reed
having a war also stops your allies showing on this report - of course for us it is the other Consortium member affiliations, but it would be good for people to be able to see that.

We have been effectively at war with the FLZ since before the Felini were a player aff - it is only since the combat changes that we have been able to recognise this. The FLZ have had an affiliation number since the start of Phoenix (and probably before that) and have been on our enemy lists from the start of Phoenix

and yes, they are evil mad.gif

Dan
Steve-Law
From what I understand you can't ally to someone unless they ally back (if you want a new ally under the current rules).
Dan Reed
We are mutually allied (all the Consortium affs) - or at least we are shown as allies on my political report. It also showed on the political situation printout on the day of the combat changes, and did not disappear until the issue declaring war on the FLZ was passed

Dan
Ro'a-lith
QUOTE (Archangel @ Oct 29 2004, 05:25 PM)
FGZ is allied with HVE, WMD and OPS.


<coughs>
Clay
QUOTE (Ro'a-lith @ Oct 31 2004, 05:20 AM)
QUOTE (Archangel @ Oct 29 2004, 05:25 PM)
FGZ is allied with HVE, WMD and OPS.


<coughs>

Hey! The FGZ are allied to a Wimble of Mass Destruction? Cool... can I buy one? tongue.gif
Archangel
QUOTE
QUOTE (Ro'a-lith @ Oct 31 2004, 05:20 AM)
QUOTE (Archangel @ Oct 29 2004, 05:25 PM)
FGZ is allied with HVE, WMD and OPS.




<coughs> 




Ok let me be more precise I what I was trying to understand.

AFF ALLIES
FGZ (26) HVE WMB OPS
OPS (36) HVE WMB FGZ
WMB (25) FGZ OPS

Define the boolean function Allied(A, cool.gif as

if (A is Allied to cool.gif then return(true) else return(false);

Define the boolean function AtWar(A, cool.gif as

if (A is At War with cool.gif then return(true) else return(false);

Define the boolean function Neutral(A, cool.gif as

if not(AtWar(A, cool.gif Or Allied(A, cool.gif) then return(true) else return(false);

or equivalently

if (not(AtWar(A, cool.gif And not(Allied(A, cool.gif)) then return(true) else return(false); // De Morgans Laws

Also it should be self evident that the table of entries representing states

AtWar(A, cool.gif, Allied(A, cool.gif, Neutral(A, cool.gif
1 0 0
0 1 0
0 0 1

details the only valid combinations (i.e. mutually exclusive states)

Now:

if Allied(WMB, FGZ) -> Allied(FGZ, WMB) == true; // Alliances cannot logically exist if there is no reciprocation.

From which it follows

if (Allied(WMB, FGZ) And Allied(FGZ, HVE) then Allied(WMB, HVE) == true; // Law of transitivity working here???

In similar fashion

if AtWar(WMB, FGZ) -> AtWar(FGZ, WMB) == true; // Last I checked, war is also not a one way relationship.

However,

if (AtWar(WMB, FGZ) and AtWar(FGZ, HVE) is not sufficent to infer AtWar(WMB, HVE) == true; // Law of transitivity definately does not unconditionally apply here.

It is also not sufficient to assume

if (AtWar(WMB, FGZ) And AtWar(FGZ, HVE) then Allied(WMB, HVE) == true;

as any of the states
AtWar(WMB, HVE), Allied(WMB, HVE), Neutral(WMB, HVE) could simultaneously be true.

Now that we have demonstrated that transitivity does not apply for the AtWar relationships, it is apparent that my earlier conclusion:

if (Allied(WMB, FGZ) And Allied(FGZ, HVE) then Allied(WMB, HVE) == true
is not necessarily a valid conclusion for we could have either of the conditions
Neutral(WMB, HVE) or AtWar(WMB, HVE) being true.

This analysis answers my original question in point 3.

There is an obvious anomaly here for the case AtWar(WMB, HVE) == true;

Is it a reasonable state of affairs that if

if (Allied(WMB, FGZ) And Allied(FGZ, HVE) And AtWar(WMB, HVE)) == true?

Surely the declared alliance between WMB and FGZ cannot simultaneously exist when WMB is in a state of war with another FGZ ally?

It is presumed that in the event of AtWar(WMB, HVE) suddenly becoming true, then both WMB and HVE would be calling on FGZ for support.

FGZ cannot assist both sides, nor can it choose any side without offending the other ally. In essense I see that only two outcomes from such a deadlock situation.

An automatic solution not requiring an input from FGZ would be to set the states
Neutral(FGZ, WMB) and Neutral(FGZ, HVE).

A second alternative would require the FGZ to choose the required states between itself and the other two parties. Of course, this last requirement will take extra time, possibly requiring a voting procedure to undertaken by the FGZ before a valid response can be returned to KJC. A tricky/sticky situation at best.

Thats enough for now... I hope that I have been lucid enough to all to explain why I am uncomfortable with this table as it stands, and thus the need to raise questions in the hope of either highlighting one of 'Some errors exist in the table', 'I need it properly explained to me', I need new specs' ...


Regards to all

Archangel
Archangel
Oh shucks...

The emoticons wrecked my doc

token B) should be read as 'B')


eg;

AtWar('A', 'B').
ptb
notes that the B ) on your second post didn't actually convert to cool.gif but i'm sure people understood.

QUOTE
if (Allied(WMB, FGZ) And Allied(FGZ, HVE) then Allied(WMB, HVE) == true; // Law of transitivity working here???

I wouldn't agree this should be the case, or at least depending on the term 'allied'. For example a mutal defence agreement could exist between WMB and FGZ, and between FGZ and HVE which would mean that if the FGZ were attacked then both the HVE and the WMB would aid them, but if the WMB were attacked only the FGZ would aid them.

In the case were 'allied' is used to lend support in an aggression against a third party then it could follow the WMB and HVE are allied if just because any combat the FGZ helped with would pull the third side in along with them, probably.

For the same reason the assumption that two of your allies cannot be a war is flawed, although can make things confusing. Most of the time the ally would play a netural part to both alliances.

That alliances and war is reciprical does make sense, and with the case of an alliance that the other party should have to confirm it. However it all depends on what the states are to mean. In code terms they are just, i assume, flags stating who you will and won't attack, and who you will and won't defend. In which case there is no reason one alliance stating they will not attack xyz might be marked as allied, but the other side doesn't recipricate. An example would be a small affiliation not wanting a troublesome newbie to attack an agressive and much more powerful affiliation.

That alliances and war should be multally exclusive however should always be the case.
Sam_Toridan
A couple of things I'd like to check on this topic.

Is it possible for Aff A to be at War with Aff B, but Aff B NOT to be at war with Aff A?

When I got an mid-week update on my political due to a SA, and with a pending Political Situation report I noticed that none of the affs we are allied with were listed. Is that a bug (similar to Tech Manuals at colonies) or is there some other reason for it?
Archangel
[/QUOTE]Is it possible for Aff A to be at War with Aff B, but Aff B NOT to be at war with Aff A?[QUOTE]

The assertion below is addressing exactly this question.

if AtWar(WMB, FGZ) -> AtWar(FGZ, WMB) == true; // Last I checked, war is also not a one way relationship.

If AtWar(WMB, FGZ) <> ATWar(FGZ, WMB) all kinds of weird things could be generated like the WMB thinks he is at war with the FGZ, so he can shoot up the FGZ, but the FGZ thinks that no war exists so turns the other cheek. blink.gif


FLZPD
QUOTE (Archangel @ Nov 1 2004, 03:13 PM)

If AtWar(WMB, FGZ) <> ATWar(FGZ, WMB) all kinds of weird things could be generated like the WMB thinks he is at war with the FGZ, so he can shoot up the FGZ, but the FGZ thinks that no war exists so turns the other cheek. blink.gif

Sure, why not? If the enemy attacks, then you defend yourself (and your friends and allies defend you too, if they have the naval officers on board). But it means you do not go actively looking to attack the enemy. It might sound strange, but its a viable option.
Archangel
QUOTE
Sure, why not? If the enemy attacks, then you defend yourself (and your friends and allies defend you too, if they have the naval officers on board). But it means you do not go actively looking to attack the enemy. It might sound strange, but its a viable option.


I have definately missed the bus here... It is not the weird constructs that could ensue here, but the principle that a state of war can only exist 'in the mind' of one party but not the other that appears to me as a totally irrational concept.

ptb
take for example 'the war on terror', terror not being an entity itself cannot recpriate and be at war with america happy.gif

Just because i declare war on someone doesn't mean they should back, or that they even care. They may well just ignore you completely.
Archangel
QUOTE
take for example 'the war on terror', terror not being an entity itself cannot recpriate and be at war with america


Maybe so, but the Taliban, Al Q'Aeda and others are all reciprocating against actions taken against them under this banner.

You might also note that I have never discussed a war on a concept but wars between parties/Affiliations, all of which are entities.

You are quite correct that a DOW may be ignored by the other party. I venture the Status Quo would not remain intact after the first shots are fired.

I would also like to point out that you now contradict your earlier statement
QUOTE
That alliances and war is reciprical does make sense, and with the case of an alliance that the other party should have to confirm it.


Anyway, sadly this thread has become a debate which was not my original objective. I would rather have my original questions answered.

Thanks for your participation all the same though, it certainly proved interesting.

Steve-Law
QUOTE (Archangel @ Nov 1 2004, 05:41 PM)
I have definately missed the bus here... It is not the weird constructs that could ensue here, but the principle that a state of war can only exist 'in the mind' of one party but not the other that appears to me as a totally irrational concept.

Gandhi's non-violent resistance?