Constraint-based ReasoningEugene C. Freuder, Alan K. Mackworth MIT Press, 1994 - 403 pàgines Constraint-based reasoning is an important area of automated reasoning in artificial intelligence, with many applications. These include configuration and design problems, planning and scheduling, temporal and spatial reasoning, defeasible and causal reasoning, machine vision and language understanding, qualitative and diagnostic reasoning, and expert systems. Constraint-Based Reasoning presents current work in the field at several levels: theory, algorithms, languages, applications, and hardware. Constraint-based reasoning has connections to a wide variety of fields, including formal logic, graph theory, relational databases, combinatorial algorithms, operations research, neural networks, truth maintenance, and logic programming. The ideal of describing a problem domain in natural, declarative terms and then letting general deductive mechanisms synthesize individual solutions has to some extent been realized, and even embodied, in programming languages. Contents A Bradford Book. |
Continguts
Freuder and A K Mackworth | 1 |
Freuder and R J Wallace | 21 |
E Hyvönen | 71 |
P Van Hentenryck H Simonis and M Dincbas | 113 |
S Minton M D Johnston A B Philips and P Laird | 161 |
P R Cooper and M J Swain | 207 |
R Dechter and J Pearl | 234 |
Frases i termes més freqüents
Referències a aquest llibre
Autonomous Dynamic Reconfiguration in Multi-Agent Systems: Improving the ... Markus Hannebauer Previsualització no disponible - 2002 |
Constraint Satisfaction Techniques for Agent-Based Reasoning Nicoleta Neagu Previsualització limitada - 2005 |