Search Results for "which"

...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 this extension is used as a strategy for belief revision. The new evidence is treated as a constraint so the extended merging operator can obtain the revised belief base.

VoteCounter is a distributed voting program which can handle multiple clients over a network. VoteCounter is written in Java, and so it is very portable; VoteCounter's input is an XML file specifying posts to be voted for and nominees contesting them, and it's output is a human-readable tally of votes for each nominee, making it easy to use and customize. VoteCounter is still under development, but is ready to use for small elections.