Successor Relation

A Successor Relation is an domain-specific event relation where a class member is replaced by a new entity instance.

• Context:
  • It is an Intransitive Relation; because something succeeded is not also succeeded by their successor's successor.
  • It is an Irreflexive Relation; because something does not succeed itself.
  • It can be on a specific Date.
• Example(s):
  • SucceededBy("Jean Chretien","Paul Martin") ⇒ True, where Succeeded(InstanceOf(X,Human),InstanceOf(Y,Human)) and X≠Y and domain is Organizational Management.
• Counter-Example(s):
  • HeadquarterLocation(Organization O, Location L) if organization $O$ (e.g. Microsoft) is headquartered in location [math]\displaystyle{ L }[/math] (e.g. Redmond).
  • Parent Of(person="Johann Strauss Sr.”, person="Johann Strauss Jr.”).
• See: Semantic Relation.

---

---

References

2007

• (Schiffel & Thielscher, 2007) ⇒ Stephan Schiffel, and Michael Thielscher. (2007). “Fluxplayer: A Successful General Game Player.” In: AAAI, vol. 7, pp.
  • QUOTE: ... For the decision if an argument of a fluent is ordered it is necessary to know the domains of the arguments of fluents and if there is a successor relation for this domain. The domains, or rather...