Belief Revision via PS-Merge under constraints belief merging operator
Belief revision is a central topic in knowledge representation and reasoning. It consists in incorporating a new belief, changing as few as
possible of the original beliefs while preserving consistency.
Revision always considers new evidence as a better belief. Such new evidence is usually
represented in the form of a propositional formula which must be preserved after the
revision.
Here, the Δps (PS-Merge) belief merging operator is extended in order to consider constraints, and ...
YANG (Yet Another Network Generator - Java) enables you to generate social networks given various social rules observed in the real population. Uses: generate realistic networks to be used in individual-centric models, teaching or benchmarking.