Proposta de dissertação do MEI Título: Modelação de Restrições em Folhas de Cálculo Proponente(s): Jácome Cunha (jacome@fct.unl.pt) Francisco Azevedo (fmaa@fct.unl.pt) Créditos: 42 ECTS Área científica: Decision Support and Artificial Intelligence Início preferencial: 1º Semestre URL: Já estão em curso trabalhos preliminares executados pelo alunos: Breve descrição: Em programação por restrições, a modelação de problemas numéricos complexos (de satisfação ou otimização) é feita, num sistema especializado, essencialmente pela declaração das restrições (sobre domínios finitos ou contínuos) que o problema tem de satisfazer. O sistema aplica então internamente técnicas de propagação e verificação de consistência para resolver o problema de forma eficiente. Pretende-se criar ou adaptar um sistema com uma interface tipo folha de cálculo (ex. Excel), onde as células possam ter um dado domínio numérico, e que seja capaz de aceitar diferentes restrições (como A2>3*B4-D1, ou mesmo restrições \\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\"globais\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\" como diferentes({A1,A2,A3,A4})), que poderão ser passadas para um outro formato a especificar. O objetivo é permitirá exprimir (e posteriormente resolver) numa folha de cálculo diretamente problemas de otimização (ex. encontrar o melhor plano de negócios dados os objetivos e restrições como limitações de orçamento e de recursos) e de satisfação (ex. sudoku). Observações: