A proof theoretic study of soft concurrent constraint programming

dc.contributor.authorPimentel, Elaine Gouvea
dc.contributor.authorNigam, Vivek
dc.contributor.authorVega, Carlos Alberto Olarte
dc.date.accessioned2020-08-03T20:35:07Z
dc.date.available2020-08-03T20:35:07Z
dc.date.issued2014
dc.description.resumoConcurrent Constraint Programming (CCP) is a simple and powerful model for concurrency where agents interact by telling and asking constraints. Since their inception, CCP-languages have been designed for having a strong connection to logic. In fact, the underlying constraint system can be built from a suitable fragment of intuitionistic (linear) logic -ILL- and processes can be interpreted as formulas in ILL. Constraints as ILL formulas fail to represent accurately situations where ā€œpreferencesā€ (called soft constraints) such as probabilities, uncertainty or fuzziness are present. In order to circumvent this problem, c-semirings have been proposed as algebraic structures for defining constraint systems where agents are allowed to tell and ask soft constraints. Nevertheless, in this case, the tight connection to logic and proof theory is lost. In this work, we give a proof theoretical meaning to soft constraints: they can be defined as formulas in a suitable fragment of ILL with subexponentials (SELL) where subexponentials, ordered in a c-semiring structure, are interpreted as preferences. We hence achieve two goals: (1) obtain a CCP language where agents can tell and ask soft constraints and (2) prove that the language in (1) has a strong connection with logic. Hence we keep a declarative reading of processes as formulas while providing a logical framework for soft-CCP based systems. An interesting side effect of (1) is that one is also able to handle probabilities (and other modalities) in SELL, by restricting the use of the promotion rule for non-idempotent c-semirings.This finer way of controlling subexponentials allows for considering more interesting spaces and restrictions, and it opens the possibility of specifying more challenging computational systemspt_BR
dc.identifier.citationPIMENTEL, Elaine; OLARTE, Carlos; NIGAM, Vivek. A Proof theoretic study of soft concurrent constraint programming. Theory and Practice of Logic Programming, [S.L.], v. 14, n. 4-5, p. 649-663, jul. 2014. Cambridge University Press (CUP). DisponĆ­vel em: https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/proof-theoretic-study-of-soft-concurrent-constraint-programming/6F8DFEC730643E6682E8F549AC99927D. Acesso em: 30 jul. 2020. http://dx.doi.org/10.1017/s147106841400026xpt_BR
dc.identifier.doi10.1017/S147106841400026X
dc.identifier.issn1471-0684
dc.identifier.urihttps://repositorio.ufrn.br/jspui/handle/123456789/29779
dc.languageenpt_BR
dc.publisherCambridge University Presspt_BR
dc.subjectConcurrent Constraint Programmingpt_BR
dc.subjectLinear Logicpt_BR
dc.subjectSoft Constraintspt_BR
dc.titleA proof theoretic study of soft concurrent constraint programmingpt_BR
dc.typearticlept_BR

Arquivos

Pacote Original

Agora exibindo 1 - 1 de 1
Carregando...
Imagem de Miniatura
Nome:
ProofTheoreticStudy_VEGA_2014.pdf
Tamanho:
330.86 KB
Formato:
Adobe Portable Document Format
Carregando...
Imagem de Miniatura
Baixar

LicenƧa do Pacote

Agora exibindo 1 - 1 de 1
Nenhuma Miniatura disponĆ­vel
Nome:
license.txt
Tamanho:
1.45 KB
Formato:
Item-specific license agreed upon to submission
Nenhuma Miniatura disponĆ­vel
Baixar