Hi All,

Can someone explain for me the different between Forcing chains - Nice Loops - AIC? They seem to look like together...

Thanks

TTT

3 posts
• Page **1** of **1**

Hi All,

Can someone explain for me the different between Forcing chains - Nice Loops - AIC? They seem to look like together...

Thanks

TTT

Can someone explain for me the different between Forcing chains - Nice Loops - AIC? They seem to look like together...

Thanks

TTT

- ttt
**Posts:**185**Joined:**20 October 2006**Location:**vietnam

Based on Jeff's definition A forcing chain is a chain that has 2 or more implication streams that start from one node and end in another node where the outcomes of inferences merge from the 2 implication streams. In a forcing chain, a node can only infer the next successive node downstream. Nice loops and AIC are essentially different ways of looking at double implication forcing chains which follow specific propagation rules. In the case of nice loops these rules establish how strong links, bivalues, ALS, etc can be linked together to construct a valid eliminations. In the case of AIC these rules establish how candidates in strong links, bivalues, ALS, etc can be linked together using alternating strong and weak links to construct valid eliminations.

- Mike Barker
**Posts:**458**Joined:**22 January 2006

3 posts
• Page **1** of **1**