public override void Run()
{
if (sourceGroup == null)
{
// Pick an expected group to start from.
sourceGroup = workspace.PickRandomGroupByRecencyAndStrength();
}
if (sourceGroup == null)
{
return;
}
// Try to find another group of similar size, near the first group.
Group otherGroup = workspace.PickRandomGroupByAdjacencyAndSize(sourceGroup);
if (otherGroup == null)
{
return;
}
// Add to attention history.
workspace.RecordCodeletAttentionHistory(this, sourceGroup.MinLocation, sourceGroup.MaxLocation);
workspace.RecordCodeletAttentionHistory(this, otherGroup.MinLocation, otherGroup.MaxLocation);
// If size is too different, skip.
if (Math.Abs(otherGroup.LengthInMeasures - sourceGroup.LengthInMeasures) / (float)sourceGroup.LengthInMeasures > 0.25f)
{
return;
}
// Sort in order.
Group LHS, RHS;
if (sourceGroup.MinLocation < otherGroup.MinLocation)
{
LHS = sourceGroup;
RHS = otherGroup;
}
else
{
LHS = otherGroup;
RHS = sourceGroup;
}
// Try to add an analogy.
CreateAnalogyCodelet cac = new CreateAnalogyCodelet((int)this.rawUrgency, this, coderack, workspace, slipnet, LHS, RHS);
coderack.AddCodelet(cac);
}
public override void Run()
{
if (eanalogy == null)
{
// Pick an expected analogy where the RHS is not in the future.
eanalogy = workspace.expectations.PickRandomAnalogyWithMaxEndTime(workspace.measures.Count - 1);
}
if (eanalogy == null)
{
return;
}
// Add to attention history.
workspace.RecordCodeletAttentionHistory(this, eanalogy.LHS.MinLocation, eanalogy.LHS.MaxLocation);
workspace.RecordCodeletAttentionHistory(this, eanalogy.RHS.MinLocation, eanalogy.RHS.MaxLocation);
// Look for LHS and RHS.
GroupElement LHS = workspace.FindGroupElement(eanalogy.LHS.MinLocation, eanalogy.LHS.MaxLocation);
if (LHS == null)
{
return;
}
GroupElement RHS = workspace.FindGroupElement(eanalogy.RHS.MinLocation, eanalogy.RHS.MaxLocation);
if (RHS == null)
{
return;
}
// Try to add an analogy.
CreateAnalogyCodelet cac = new CreateAnalogyCodelet((int)this.rawUrgency, this, coderack, workspace, slipnet, LHS, RHS);
coderack.AddCodelet(cac);
}
public override void Run()
{
// If groups are not specified already,
// look for two groups that are linked.
if (ge1 == null || ge2 == null || !workspace.GroupElements.Contains(ge1) || !workspace.GroupElements.Contains(ge2))
{
// Pick a link.
Relationship r = workspace.PickRandomRelationshipByRecencyAndStrength();
if (r == null)
{
return;
}
ge1 = r.LHS;
ge2 = r.RHS;
// We prefer an analogy between parent groups containing the ends of this link.
//Alternately, just try to find analogies when starting-relatinoships are found/
// If both have parents, spawn a codelet to look at that!
// If they don't have parents, try to make groups including them.
if (ge1.hasParent && ge2.hasParent)
{
if (ge1.parentGroup != ge2.parentGroup)
{
CreateAnalogyCodelet cac = new CreateAnalogyCodelet((int)this.rawUrgency, this, coderack, workspace, slipnet, ge1.parentGroup, ge2.parentGroup);
coderack.AddCodelet(cac);
}
}
else
{
MetaGrouperCodelet mgc1 = new MetaGrouperCodelet((int)this.rawUrgency, this, coderack, workspace, slipnet, ge1);
MetaGrouperCodelet mgc2 = new MetaGrouperCodelet((int)this.rawUrgency, this, coderack, workspace, slipnet, ge2);
coderack.AddCodelet(mgc1);
coderack.AddCodelet(mgc2);
}
// Now try to work with this relationship as well, just in case it's at a good level and has good support.
}
if (ge1 == null || ge2 == null || ge1 == ge2 || !workspace.GroupElements.Contains(ge1) || !workspace.GroupElements.Contains(ge2))
{
return;
}
if (ge1.Location > ge2.Location)
{
GroupElement tmp = ge1;
ge1 = ge2;
ge2 = tmp;
}
// Make analogies between single measures?
if (Constants.MAKE_SINGLE_MEASURE_ANALOGIES)
{
if (!(ge1 is Group && ge2 is Group))
{
return;
}
}
// Check for redundant (identical) analogies!
foreach (Analogy a2 in workspace.analogies)
{
if (a2.LHS == ge1 && a2.RHS == ge2)
{
return;
}
}
// Make sure the 2 sides of the analogy span distinct time intervals (no mapping of m. 1-3 onto m.1-5, for instance)
if (ge1.MaxLocation >= ge2.MinLocation)
{
return;
}
// Add to attention history.
workspace.RecordCodeletAttentionHistory(this, ge1.MinLocation, ge1.MaxLocation);
workspace.RecordCodeletAttentionHistory(this, ge2.MinLocation, ge2.MaxLocation);
// So now we have 2 group elements, and we want to consider an analogy between them.
// Look for a relationship between these elements (if bottom-level) or their subelements (if they have children)
Analogy a = new Analogy(ge1, ge2, workspace);
foreach (Relationship r in workspace.relationships)
{
// Check if this relatinoship is relevant.
if (ge1 is Group)
{
Group g1 = (Group)ge1;
if (!g1.GroupElements.Contains(r.LHS))
{
continue;
}
}
else
{
if (r.LHS != ge1)
{
continue;
}
}
if (ge2 is Group)
{
Group g2 = (Group)ge2;
if (!g2.GroupElements.Contains(r.RHS))
{
continue;
}
}
else
{
if (r.RHS != ge2)
{
continue;
}
}
// Inside an analogy, we can only have one relationship (of normal similarity type) for each measure. For multiple ones, have them compete.
// Compete against each conflicting relationship. Only add if it beats them all.
bool won = true;
List <Relationship> conflicting = a.FindConflictingRelationships(r);
foreach (Relationship r2 in conflicting)
{
if (FightItOut(r, r2) == r2)
{
won = false;
break;
}
}
if (!won)
{
continue;
}
foreach (Relationship r2 in conflicting)
{
a.relationships.Remove(r2);
}
a.TryToAddRelationship(r);
}
// Make sure we were able to add something.
if (a.relationships.Count == 0)
{
return;
}
// Create analogy if it's strong enough. Then other codelets will strengthen it and use it if necessary.. this
// codelet just starts it up.
double rnd = Utilities.rand.NextDouble() * 100;
double score = a.Strength;
if (rnd < score)
{
if (workspace.AddAnalogy(a))
{
// Spawn more codelets to improve this analogy.
AddRelationshipsToAnalogyCodelet arac = new AddRelationshipsToAnalogyCodelet(100, this, coderack, workspace, slipnet, a);
// Consider a metagroup if the two items in the analogy are neighbors.
if (ge1.MaxLocation + 1 == ge2.MinLocation)
{
MetaGrouperCodelet mgc = new MetaGrouperCodelet(100, this, coderack, workspace, slipnet, ge1, ge2, a);
coderack.AddCodelet(mgc);
}
// Improve strength of subgroups.
SpawnAnalogyReasonCodeletsRecur(ge1, a);
SpawnAnalogyReasonCodeletsRecur(ge2, a);
// Add contour analysis for LHS-RHS.
LookForContourRelationshipCodelet lrc = new LookForContourRelationshipCodelet(100, this, coderack, workspace, slipnet, ge1, ge2);
coderack.AddCodelet(lrc);
AddRelationshipsToAnalogyCodelet arc = new AddRelationshipsToAnalogyCodelet(50, this, coderack, workspace, slipnet, a);
coderack.AddCodelet(arc);
}
}
}
public override void Run()
{
if (sourceAnalogy == null)
{
// Pick an expected group to start from.
sourceAnalogy = workspace.PickRandomGapAnalogyByRecencyAndStrengthAndSizeAndGapSize();
}
if (sourceAnalogy == null)
{
return;
}
// Add to attention history.
workspace.RecordCodeletAttentionHistory(this, sourceAnalogy.LHS.MinLocation, sourceAnalogy.LHS.MaxLocation);
workspace.RecordCodeletAttentionHistory(this, sourceAnalogy.RHS.MinLocation, sourceAnalogy.RHS.MaxLocation);
// Look in two places for parallel analogies: one crossing the LHS of the given analogy (RHS of new in the gap),
// and one crossing the RHS (the LHS will be in the gap)
int sizeRHS = sourceAnalogy.RHS.LengthInMeasures;
int sizeLHS = sourceAnalogy.LHS.LengthInMeasures;
int gapMin = sourceAnalogy.LHS.MaxLocation + 1;
int gapMax = sourceAnalogy.RHS.MinLocation - 1;
// Make sure gap is large enough to hold something of appropriate size.
if (gapMax - gapMin < Math.Min(sizeLHS, sizeRHS))
{
return;
}
// First try to find a group inside the gap, of the same size as the RHS.
GroupElement geGap = FindGroupElementInRange(gapMin, gapMax, sizeRHS);
if (geGap != null)
{
// Now look for an element of same size as LHS, to the left of the original LHS.
// We find the difference in starting pos between the element in the gap and the RHS, and look at that offset to the left to find an element.
// If none found, send grouping codelets.
int offset = sourceAnalogy.RHS.MinLocation - geGap.MinLocation;
GroupElement geLHS = FindGroupElementStartingNearPointWithMax(sourceAnalogy.LHS.MinLocation - offset, sourceAnalogy.LHS.MinLocation - 1, sizeLHS); // start point, max, size
if (geLHS != null)
{
// Try to form analogy.
CreateAnalogyCodelet cac = new CreateAnalogyCodelet(100, this, coderack, workspace, slipnet, geLHS, geGap);
coderack.AddCodelet(cac);
}
else
{
// Send group scouts to find something in that area.
SendGroupScoutsToArea(sourceAnalogy.LHS.MinLocation - offset, sizeLHS); // min, size
}
}
else
{
// Send group scouts to look in the gap.
}
// Second try to find a group inside the gap, of the same size as the LHS.
geGap = FindGroupElementInRange(gapMin, gapMax, sizeLHS);
if (geGap != null)
{
// Now look for an element of same size as RHS, to the right of the original RHS.
// We find the difference in starting pos between the element in the gap and the RHS, and look at that offset to the left to find an element.
// If none found, send grouping codelets.
int offset = geGap.MinLocation - sourceAnalogy.LHS.MaxLocation;
GroupElement geRHS = FindGroupElementStartingNearPointWithMin(sourceAnalogy.RHS.MaxLocation + offset, sourceAnalogy.RHS.MaxLocation + 1, sizeRHS); // start point, min, size
if (geRHS != null)
{
// Try to form analogy.
CreateAnalogyCodelet cac = new CreateAnalogyCodelet(100, this, coderack, workspace, slipnet, geGap, geRHS);
coderack.AddCodelet(cac);
}
else
{
// Send group scouts to find something in that area.
SendGroupScoutsToArea(sourceAnalogy.RHS.MaxLocation + offset, sizeRHS); // min, size
}
}
}
/// <summary>
/// Adds high-level codelets.
/// This function provides top-down control by finding which structures are missing, and adding codelets
/// to search for the missing structures.
/// </summary>
/// <param name="currentMeasureIndex">The index of the current (newest) measure, useful for focusing our attention</param>
private static void AddHighLevelCodelets(int currentMeasureIndex)
{
// Add old link-breaker codelets for old analogies. This removes links that are irrelevant, where those measures
// are already connected by anologies with good link/relationships.
foreach (Analogy a in workspace.analogies)
{
if (a.Strength > 80 || a.MaxLocation < currentMeasureIndex - 4)
{
for (int j = 0; j < 5; j++)
{
OldMeasureLinkBreakerCodelet obc = new OldMeasureLinkBreakerCodelet(5, null, coderack, workspace, slipnet, a);
coderack.AddCodelet(obc);
}
}
}
// Get happiness for each measure (taking into account a range before/after the measure.
// Skip measures too far in past.
for (int i = Math.Max(0, currentMeasureIndex - 8); i < workspace.measures.Count; i++)
{
int minMeasure;
int maxMeasure;
double happiness = workspace.GetHappinessStandardWindow(i, out minMeasure, out maxMeasure);
double unhappiness = 100 - happiness;
int urgency = (int)unhappiness;
int linkUrgency = 0, groupUrgency = 0, analogyUrgency = 0;
// Look for links at this measure. Do we need to search for more?
double avgLinkStrength, maxLinkStrength;
int numLinks = workspace.CountLinksToMeasure(i, out avgLinkStrength, out maxLinkStrength);
if (numLinks < 1 || maxLinkStrength < 80 || avgLinkStrength < 50)
{
// Look for links.
// TODO: how many to add?
linkUrgency = (int)(100 - avgLinkStrength);
for (int j = 0; j < 4; j++)
{
MeasureLinkerCodelet mlc = new MeasureLinkerCodelet(linkUrgency, null, coderack, workspace, slipnet, workspace.measures[i]);
coderack.AddCodelet(mlc);
}
}
// Look for Groups involving this measure. Do we need to search for more?.
double avgGroupStrength, maxGroupStrength;
int numGroups = workspace.CountGroupsInvolvingMeasure(i, out avgGroupStrength, out maxGroupStrength);
if (numGroups < 1 || maxGroupStrength < 80 || avgGroupStrength < 50)
{
// Look for groups.
// TODO: how many to add?
for (int j = 0; j < 4; j++)
{
groupUrgency = Math.Max(5, (int)(100 - avgGroupStrength) - linkUrgency);
MeasureSamenessGrouperCodelet msgc = new MeasureSamenessGrouperCodelet(groupUrgency, null, coderack, workspace, slipnet, workspace.PickMeasureLinkInRange(i, i));
coderack.AddCodelet(msgc);
ProximityGrouperCodelet pgc = new ProximityGrouperCodelet(groupUrgency, null, coderack, workspace, slipnet, workspace.PickGroupElementInRange(i, i));
coderack.AddCodelet(pgc);
MetaGrouperCodelet mgc = new MetaGrouperCodelet(groupUrgency, null, coderack, workspace, slipnet, workspace.PickGroupInRange(i, i));
coderack.AddCodelet(mgc);
}
}
// Improve existing group scores.
if (numGroups > 0 && maxGroupStrength < 75)
{
// TODO: how many to add?
for (int j = 0; j < numGroups; j++)
{
Codelet codelet = new GroupReasonAnalogyComponentCodelet((int)(100 - maxGroupStrength), null,
coderack, workspace, slipnet, workspace.PickGroupInRange(i, i));
coderack.AddCodelet(codelet);
codelet = new GroupReasonComponentsSimilarCodelet((int)(100 - maxGroupStrength), null,
coderack, workspace, slipnet, workspace.PickGroupInRange(i, i));
coderack.AddCodelet(codelet);
codelet = new GroupReasonNumberComponentsCodelet((int)(100 - maxGroupStrength), null,
coderack, workspace, slipnet, workspace.PickGroupInRange(i, i));
coderack.AddCodelet(codelet);
codelet = new GroupReasonRhythmGapCodelet((int)(100 - maxGroupStrength), null,
coderack, workspace, slipnet, workspace.PickGroupInRange(i, i));
coderack.AddCodelet(codelet);
codelet = new GroupPenaltySubcomponentLengthCodelet((int)(100 - maxGroupStrength), null,
coderack, workspace, slipnet, workspace.PickGroupInRange(i, i));
coderack.AddCodelet(codelet);
}
}
// Look for Analogies involving this measure. Do we need to search for more?.
double avgAnalogyStrength, maxAnalogyStrength;
int numAnalogies = workspace.CountAnalogiesInvolvingMeasure(i, out avgAnalogyStrength, out maxAnalogyStrength);
if (numAnalogies < 1 || maxAnalogyStrength < 80 || avgAnalogyStrength < 50)
{
// Look for analogies.
// TODO: how many to add?
for (int j = 0; j < 4; j++)
{
analogyUrgency = Math.Max(5, (int)(100 - avgAnalogyStrength) - groupUrgency - linkUrgency);
CreateAnalogyCodelet cac = new CreateAnalogyCodelet(analogyUrgency, null, coderack, workspace, slipnet);
coderack.AddCodelet(cac);
}
}
// Add breakers and groupers. Add NUM_CODELETS_TILL_NEW_HIGH_LEVEL if we are super unhappy, less if happier.
// TODO: how many to add?
for (int j = 0; j < unhappiness / 100 * Constants.NUM_CODELETS_TILL_NEW_HIGH_LEVEL / 20; j++)
{
GroupBreakerCodelet gbc = new GroupBreakerCodelet(urgency, null, coderack, workspace, slipnet, workspace.PickGroupInRange(minMeasure, maxMeasure));
coderack.AddCodelet(gbc);
/*MeasureSamenessGrouperCodelet msgc = new MeasureSamenessGrouperCodelet(urgency, null, coderack, workspace, slipnet, workspace.PickMeasureLinkInRange(minMeasure, maxMeasure));
* coderack.AddCodelet(msgc);
*
* ProximityGrouperCodelet pgc = new ProximityGrouperCodelet(urgency, null, coderack, workspace, slipnet, workspace.PickGroupElementInRange(minMeasure, maxMeasure));
* coderack.AddCodelet(pgc);
*
* MetaGrouperCodelet mgc = new MetaGrouperCodelet(urgency, null, coderack, workspace, slipnet, workspace.PickGroupInRange(minMeasure, maxMeasure));
* coderack.AddCodelet(mgc);*/
//CreateAnalogyCodelet cac = new CreateAnalogyCodelet(urgency, null, coderack, workspace, slipnet);
//coderack.AddCodelet(cac);
}
//Generate/manage Expectations
}
}
