Linguagem De Programacao Logica
Mostrando 1-12 de 37 artigos, teses e dissertações.
-
1. Ontoprolog: uma linguagem para especificação de discursos sobre ontologias
RESUMO Este artigo introduz a arquitetura da informação de uma linguagem formal textual para representar e obter deduções a respeito problemas reais com base em ontologias de domínio e ontologias de fundamentação. O arcabouço é desenvolvido com base em Programação em Lógica, e consiste em uma linguagem formal que utiliza o paradigma de metamodela
Perspect. ciênc. inf.. Publicado em: 2017-06
-
2. Implementation of supervisory control in PLCs using high-level language / Implementação de controle supervisório em CLPs usando linguagem de alto nível
Hoje em dia a competitividade entre as empresas está cada vez maior. Em um sistema de produção, a eficácia, a velocidade e a flexibilidade são importantes, pois significam redução de custos. Os sistemas de automação atuais estão cada vez mais complexos, justificando a necessidade de programas de controle mais eficientes, sem erros e de fácil manut
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 15/02/2012
-
3. Ambiente para avaliação de controladores fuzzy aplicados ao método de elevação artificial por bombeio centrífugo submerso
Desde a sua concepção, as unidades de Bombeio Centrífugo Submerso (BCS) destacaram- se pelas altas vazões desenvolvidas e pelo bom desempenho em poços com alto BSW, tanto em ambientes onshore como offshore. Em qualquer sistema de elevação, sua vida útil e a frequência das intervenções são de fundamental importância, em virtude dos elevados custo
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 22/07/2011
-
4. Lógicas probabilísticas com relações de independência: representação de conhecimento e aprendizado de máquina. / Probabilistic logics with independence relationships: knowledge representation and machine learning.
A combinação de lógica e probabilidade (lógicas probabilísticas) tem sido um tópico bastante estudado nas últimas décadas. A maioria de propostas para estes formalismos pressupõem que tanto as sentenças lógicas como as probabilidades sejam especificadas por especialistas. Entretanto, a crescente disponibilidade de dados relacionais sugere o uso de
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 17/05/2011
-
5. Sistemas autônomos, processos de interação e ações criativas
A partir de Hugh Dubblerly, Usman Haque e Paul Pangaro em What is interaction: Are there different types?, como a lógica de diferentes sistemas - lineares, que se autorregulam, e que aprendem - pode modificar o pensamento do artista? Abordaremos este assunto colocando em foco o envolvimento da linguagem de programação na obra de arte e os modos por meio d
ARS (São Paulo). Publicado em: 2011
-
6. CAS Serviço de adaptação de conteúdo para aplicações web multiplataforma / CAS - Serviço de Adaptação de Conteúdo para Aplicações Web Multiplataforma.
Esta dissertação apresenta e descreve o CAS Content Adaptation Service, um serviço de adaptação de conteúdo para aplicações web multiplataforma construído com o uso do paradigma de programação orientada a aspectos. Os objetivos pretendidos com o CAS são possibilitar sua aplicação em diferentes domínios de negócio e separar a adaptação de co
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 24/06/2010
-
7. Exploração de paralelismo ou em uma linguagem em lógica com restrições / OR parallelism exploitation in a constraint logic language
Este trabalho a dedicado ao estudo da exploração de paralelismo OU na programação em lógica com restrições em ambientes distribuídos. A programação em lógica, cuja linguagem mais significativa 6 Prolog, tem como premissa a utilização da lógica de predicados como linguagem computacional. A programação em lógica com restrições (CLP) é uma e
Publicado em: 2010
-
8. Representação de conhecimento : programação em lógica e o modelo das hiperredes / Knowledge representation: logic programming and the hypernets model
Apesar de sua inerente indecidibilidade e do problema da negação, extensões da lógica de primeira ordem tem se mostrado capazes de superar a questão da monotonicidade, vindo a constituir esquemas de representação de conhecimento de expressividade virtualmente universal. Resta entretanto solucionar ou pelo menos amenizar as conseqüências do problema
Publicado em: 2010
-
9. Granlog : um modelo para analise automatica de granulosidade na programacao em logica / Granlog a model for automatic granulariy analysis in logic programming
A exploração do paralelismo na programação em lógica e considerada uma alternativa para simplificação da programação de maquinas paralelas e para aumento do desempenho de programas em lógica. Desta forma, a integração da programação em lógica e sistemas paralelos tornou-se nos últimos anos um centro de atenções da comunidade ciêntifica. De
Publicado em: 2010
-
10. Especificação de um sistema de suporte a implementação de linguagens / Specification of a support system to language implementation
Neste trabalho é descrita a organização de SINSEM, um sistema de processamento automático de especificação SINtático-SEMânticas de linguagens de programação. É colocada a motivação para um tal sistema, em relação ao uso que se daria a ele. O sistema é situado entre sistemas similares, dos quais alguns são brevemente descritos, incluindo-se e
Publicado em: 2010
-
11. Um Compilador para a linguagem RS distribuída / A compiler for distributed RS language
A Linguagem RS é destinada a programação de núcleos reativos centralizados. Tais núcleos são responsáveis por toda a lógica de um sistema reativo, manipulando os sinais de entrada, realizando as reações e gerando os sinais de saída. Sendo sua idéia inicial tratar apenas processos centralizados, não houve a preocupação com a distribuição. Est
Publicado em: 2010
-
12. Criação de uma biblioteca padrão para a linguagem HasCASL / Creating a standard library for the HasCASL language
Métodos formais são ferramentas da Engenharia de Software que empregam formalismos matemáticos na construção de programas. Em geral, são compostos por uma ou mais linguagens de especificação e algumas ferramentas auxiliares. A linguagem de especificação algébrica Common Algebraic Specification Language (Casl) foi concebida para ser a linguagem pad
Publicado em: 2010