Towards Default Reasoning through MAX-SAT.
Berilhes Borges GarciaSamuel M. Brasil Jr.Published in: SBIA (2002)
Keyphrases
- default reasoning
- max sat
- weighted max sat
- belief revision
- lower bound
- sat solvers
- search algorithm
- nonmonotonic reasoning
- default logic
- branch and bound algorithm
- conditional logic
- tabu search
- branch and bound
- sat problem
- dependency directed backtracking
- satisfiability problem
- partial order
- constraint satisfaction
- maximum satisfiability
- probabilistic reasoning
- max sat solver
- linear programming
- inheritance reasoning
- default rules
- bayesian networks
- cnf formula
- upper bound
- search space
- integer programming
- search strategy
- simulated annealing
- artificial intelligence