Multi-agents and Non-classical Logic Systems

摘要

To model voting machine by internet, valuation of classical propositional calculus is extended, and multi-agents valuation of propo-sitional calculus is proposed. Then formal concept analysis is used to express uncertainty of statements, i.e., degrees of truth value, the conclusion points out that non-classical logic systems is necessary to process uncertain information.