Explanation of Pseudo-Boolean Functions Using Cooperative Game Theory and Prime Implicants.
Christophe LabreuchePublished in: SUM (2022)
Keyphrases
- prime implicants
- pseudo boolean functions
- boolean functions
- cooperative game theory
- abductive reasoning
- game theory
- cooperative games
- mechanism design
- coalition formation
- prime implicates
- inference rules
- probabilistic logic
- multiagent systems
- reinforcement learning
- automated reasoning
- reasoning tasks
- linear programming
- upper bound
- scheduling problem
- evolutionary algorithm