Common Sense A-V

1
Common Sense A-V

• Debugging the creation of an explosive backchainer

2
Rules in Cyc

• 28,900 of basic form (implies x y)
• 172 RuleMacroPredicates which translate into
  above form
• 48,500 RMP instances
• 77,000 rules

3
Term Ordering Problem

• (implies (and (greaterThan (Meter 100) ?DIST)
  (greaterThan ?DIST (Meter 0))
• (cpof-ReportUnit ?CURRENT_REPORT
  ?CURRENT_UNIT)
• (different ?CURRENT_REPORT ?OTHER_REPORT)
• (mtTime ?CURRENT_REPORT ?CURRENT_MT_TIME)
• (equals ?CURRENT_MT_TIME ?OTHER_MT_TIME)
• (mtTime ?OTHER_REPORT ?OTHER_MT_TIME)
• (cpof-ReportUnit ?OTHER_REPORT ?OTHER_UNIT)
• (different ?CURRENT_UNIT ?OTHER_UNIT)
• (distanceBetween ?CURRENT_POINT
  ?OTHER_POINT ?DIST)
• (ist-Asserted ?CURRENT_REPORT
• (locatedAtPoint-SurfaceGeographical
  ?CURRENT_UNIT ?CURRENT_POINT))
• (ist-Asserted ?OTHER_REPORT
• (locatedAtPoint-SurfaceGeographical
  ?OTHER_UNIT ?OTHER_POINT)))
• (cpof-CloseUnits ?CURRENT_REPORT ?CURRENT_UNIT
  ?OTHER_REPORT ?OTHER_UNIT))
• 11 Clauses in antecedent of above rule
• 11! 40 million possible term orderings

4
Rule Indexing

• Full set on 3rd day of execution
• Started new, limited lt8 terms in antecedent today
• 5000 potential orderings per rule
• 3rd option revamp indexing strategy