Constraint Solving and Constraint Satisfaction Search

Um CSP(Constraint Solving Problem ou Problema de resolução de restrição) consiste de um conjunto de entradas e saídas que podem ser:
variáveis que estão associadas a um domínio, funções, relações e conjunções lógicas.
De modo que as saídas são determinadas pelo conjunto de entrada, de acordo com sua completude e consistência

***** O que é Resolução de Restrição? (What is constraint solving)

      ---Definição

      A versatile paradigm for symbolic, numerical and hybrid symbolico-numerical automated reasoning
      Relies on hybrid logical-numerical knowledge representation formalism
      Relies on AI search, term rewriting, operation research and mathematical inference algorithms

      Um paradigma para raciocinio automatizado numérico, simbólico, e numerico-simbolico que...
      Se baseia em uma representação formal logico-numérica de conhecimento,...
      executando busca de IA, reescrição de termos, pesquisa de operadores e algoritmos de inferência matematica

      ---Características

      Allows reasoning with incomplete information
      Permite Raciocínio com informação inompleta

      Takes as input intentional and extensional knowledge
      Aceita entrada de conhecimento intensivo(não se informa valor exato, generaliza-se)
      e extensivo(especificação de valores)

      When input knowledge is consistent and complete, returns as output extensional knowledge
      When input knowledge is consistent but incomplete, returns as output intentional and extensional
                 knowledge that is more concise and easy to understand than the input

      Identifies inconsistent input knowledge
      Identifica entrada de conhecimento inconsistente

      Most other automated reasoning paradigms (monotonic deduction,
           belief revision, belief update, abduction, planning, optimization) can be reformulated as one form of constraint solving



***** Domínio de Restrição (Constraint Domain)

***** Serviços de Inferencia à resolução de restrição (Constraint solving inferrence services)
Substitution, Satisfaction, Absolute Implication, Absolute Equivalence, Normalization, Absolute Simplification, Projection,
Relative Implication, Relative Equivalence, Relative Simplification, Local Propagation, Optimization, Labeling

***** Propriedades do "Resolvedores" de Restrição (Constraint Solvers Properties)
 Correct(Corretude) - Retornam somente todas soluções corretas existentes, na forma resolvida(reduzida).
 Retornam a mesma solução para duas restrições compostas que diferem somente,
 ou na ordem de repetição de restrições primitivas(and/or), ou em termos de nomes de variável.

 Complete -
 Normalizing
 Set-based
 Variable name independent
 Monotonic (falsity preserving)
 Projecting
 Weakly projecting

***** Aplicações Práticas de CSP(Constraint Solving Problem)

***** Resolução de Domínio Finito CSP através de busca
***** Algoritmos de busca CSP