Component assembly and theorem proving in constraint handling rules

AUTOR(ES)
DATA DE PUBLICAÇÃO

2009

RESUMO

Devido à grande demanda por softwares cada vez mais robustos, complexos e flexÃveis, e, sobretudo, pelo curtÃssimo tempo de entrega exigido, a engenharia de software tem procurado novos meios de desenvolvimento que supram satisfatoriamente essas demandas. Uma forma de galgar esses novos patamares de produtividade provÃm do uso de uma metodologia baseada em agentes que se comunicam e com isso, ao invÃs dos programas serem estritamente programados, o comportamento destes sistemas de software emerge da interaÃÃo de agentes, robÃs, ou subsistemas autÃnomos, independentes, alÃm de declarativamente especificados. Isto provà a habilidade para automaticamente configurÃ-los, otimizÃ-los, monitorÃ-los, adaptÃ-los, diagnosticÃ-los, reparÃ-los e protegÃ-los dentro do ambiente. Contudo, um grande problema das linguagens declarativas e a falta de mecanismos que permitem a melhor estruturaÃÃo de dados, facilitando portanto, o reuso. Portanto, esta dissertaÃÃo explica o desenvolvimento de nova linguagem lÃgica declarativa para programar sistemas de raciocÃnio automÃtico de uma forma modularizada: CÂHRv. A linguagem base escolhida para a extensÃo com componentes lÃgicos foi CHR. Os motivos para essa escolha sÃo definidos ao longo da dissertaÃÃo. Duas abordagens, portanto, sÃo apresentadas: a primeira, conhecida como CHRat, foi desenvolvida numa parceria juntamente com o grupo de pesquisas CONTRAINTES do INRIA/Rocquencourt-Paris, onde o programador à o responsÃvel direto por definir os componentes CHR, permitindo o seu reuso por outros componentes; a segunda aplicaÃÃo, CHRtp, visa atender prioritariamente requisitos de completude e, por isso, se baseia em procedimentos lÃgicos de inferÃncia como: o raciocÃnio para frente, o raciocÃnio para trÃs, e a resoluÃÃo/factoring. A dissertaÃÃo mostra tambÃm alguns exemplos prÃticos, onde uso de componentes facilita radicalmente sua implementaÃÃo. As contribuiÃÃes almejadas com essa dissertaÃÃo sÃo: a definiÃÃo de uma famÃlia bem formalizada de provadores de teoremas automÃticos, que podem trabalhar com sentenÃas especificadas em lÃgica horn ou em lÃgica de primeira ordem, a extensÃo de CHR como uma linguagem modular de propÃsito geral, a melhor estruturaÃÃo de bases conhecimentos e atà o uso em conjunto de bases heterogÃneas, a definiÃÃo de uma linguagem para a fÃcil e direta estruturaÃÃo de dados por meio de componentes, dentre outras

ASSUNTO(S)

ciencia da computacao theorem prover representÃÃo de conhecimento desenvolvimento baseado em componentes programaÃÃo lÃgica de restriÃÃes inteligÃncia artificial knowledge representation provador de teoremas component-based developing constraint logic programming

ACESSO AO ARTIGO

Documentos Relacionados