Reasoning about Theory Formulation and Reformulation: A New Solution to the Qualification Problem.
Paolo BouquetFausto GiunchigliaPublished in: WOCFAI (1995)
Keyphrases
- reasoning about physical systems
- formal theory
- iterative procedure
- set partitioning
- representer theorem
- optimal solution
- theoretical framework
- optimization procedure
- knowledge base
- mathematical formulation
- robust optimization
- network flow
- dual formulation
- causal reasoning
- physical systems
- integer program
- linear equations
- neural network
- qualitative reasoning
- mixed integer
- theoretical basis
- integer programming
- solution quality
- computational model
- evolutionary algorithm
- decision making