Este documento descreve um projeto de pesquisa para desenvolver um ambiente de desenvolvimento de sistemas de indução lógica de programas (ILP) através da criação de módulos reutilizáveis. O projeto visa reduzir o tempo de desenvolvimento de novos sistemas de ILP ao fornecer funcionalidades comuns através de uma arquitetura modular e interfaces.
Ambiente de Desenvolvimento de Sistemas de ILP - Estado da Artejcazevedo
O documento discute a indução de programas em lógica, apresentando sua motivação, ingredientes, processos e técnicas. Aborda também sistemas e aplicações de ILP.
O documento descreve duas paisagens naturais sem elementos humanos. A primeira cena contém montanhas, um lago, flores, árvores e neve sob o céu e relva. A segunda cena apresenta árvores, mar, céu, nuvens e relva, mas nenhum elemento humano em ambas as paisagens.
O documento apresenta dados sobre a evolução da inclusão digital no Brasil entre 2000-2010, mostrando o crescimento da penetração da internet de 2,9% para 37,8% e programas governamentais para democratizar o acesso como Computador para Todos e telecentros. Ele também compara dados do IBGE de 2005 e 2008, indicando aumento do acesso em todas as regiões e faixas de renda.
A paisagem natural é composta por características físicas naturais como montanhas, rios, oceanos, florestas e desertos. Estas características moldam o ambiente e fornecem recursos naturais para as pessoas e outros seres vivos. A paisagem natural é afetada pelas mudanças climáticas e atividades humanas.
Esta paisagem inclui elementos humanos como uma estrada e elementos naturais como árvores e flores, descrevendo uma paisagem modificada pela ação humana. O texto foi escrito por Susana Santos para a 7a série, número 21.
Este trabalho define paisagem como a imagem resultante dos elementos presentes em um local, vista alcançada pelo olhar, formada por volumes, cores e sons. Discute paisagens naturais, não modificadas pelo homem, e paisagens humanizadas, transformadas pela ação humana em graus variados. Conclui que há paisagens naturais e humanizadas, alteradas conforme as necessidades humanas.
Elaboração TIC : Trabalho de Iniciação CientíficaEidmar Marcosen
O documento fornece dicas para elaborar o Trabalho de Conclusão de Curso (TIC) de forma menos estressante e mais prazerosa, como escolher um tema de interesse, pesquisar fontes confiáveis, manter contato com o orientador, não deixar tudo para última hora e equilibrar o trabalho com a vida social.
O documento discute os principais aspectos da paisagem no Brasil, incluindo: 1) Definição de paisagem e tipos de paisagem (natural, humanizada); 2) Principais elementos do relevo brasileiro como planaltos, planícies e depressões; 3) Fatores que influenciam a paisagem como clima, vegetação, hidrografia e problemas ambientais.
Ambiente de Desenvolvimento de Sistemas de ILP - Estado da Artejcazevedo
O documento discute a indução de programas em lógica, apresentando sua motivação, ingredientes, processos e técnicas. Aborda também sistemas e aplicações de ILP.
O documento descreve duas paisagens naturais sem elementos humanos. A primeira cena contém montanhas, um lago, flores, árvores e neve sob o céu e relva. A segunda cena apresenta árvores, mar, céu, nuvens e relva, mas nenhum elemento humano em ambas as paisagens.
O documento apresenta dados sobre a evolução da inclusão digital no Brasil entre 2000-2010, mostrando o crescimento da penetração da internet de 2,9% para 37,8% e programas governamentais para democratizar o acesso como Computador para Todos e telecentros. Ele também compara dados do IBGE de 2005 e 2008, indicando aumento do acesso em todas as regiões e faixas de renda.
A paisagem natural é composta por características físicas naturais como montanhas, rios, oceanos, florestas e desertos. Estas características moldam o ambiente e fornecem recursos naturais para as pessoas e outros seres vivos. A paisagem natural é afetada pelas mudanças climáticas e atividades humanas.
Esta paisagem inclui elementos humanos como uma estrada e elementos naturais como árvores e flores, descrevendo uma paisagem modificada pela ação humana. O texto foi escrito por Susana Santos para a 7a série, número 21.
Este trabalho define paisagem como a imagem resultante dos elementos presentes em um local, vista alcançada pelo olhar, formada por volumes, cores e sons. Discute paisagens naturais, não modificadas pelo homem, e paisagens humanizadas, transformadas pela ação humana em graus variados. Conclui que há paisagens naturais e humanizadas, alteradas conforme as necessidades humanas.
Elaboração TIC : Trabalho de Iniciação CientíficaEidmar Marcosen
O documento fornece dicas para elaborar o Trabalho de Conclusão de Curso (TIC) de forma menos estressante e mais prazerosa, como escolher um tema de interesse, pesquisar fontes confiáveis, manter contato com o orientador, não deixar tudo para última hora e equilibrar o trabalho com a vida social.
O documento discute os principais aspectos da paisagem no Brasil, incluindo: 1) Definição de paisagem e tipos de paisagem (natural, humanizada); 2) Principais elementos do relevo brasileiro como planaltos, planícies e depressões; 3) Fatores que influenciam a paisagem como clima, vegetação, hidrografia e problemas ambientais.
A crescente necessidade do mercado de obter produtos e serviços cada vez mais competitivos, traz consigo a necessidade de se buscar excelência em um determinado produto final. Na área dos sistemas de software não é diferente. Quando conceitos como padronização e reusabilidade são encorajados visando a qualidade (na criação) e agilidade (na manuteção) de um determinado produto de software, é pretendível que seja dada uma amplitude maior em soluções técnicas baseadas no conceito de “boas práticas” de desenvolvimento. Padrões de projeto, ou design patterns, visam resolver soluções em contextos diferentes sem que essa solução precise ser reescrita para ser implementada. Quando design patterns são implementados, desenvolvedores mais experientes já implementaram, testaram e catalogaram uma determinada solução para que a mesma possa ser usada em contextos diferentes. Este trabalho apresenta o conceito de desing patterns e reusabilidade, bem como conceitos preliminares como orientação a objetos. Também será abordado um estudo de caso, onde foram implementados alguns padrões de projeto na linguagem PHP5.
Apresentação - Modelagem de Ambientes de Computação Ubíqua Utilizando SimulaçãoJurmir Canal Neto
1. O documento descreve um trabalho acadêmico sobre modelagem de ambientes de computação ubíqua utilizando simulação.
2. Apresenta os objetivos do trabalho, revisão bibliográfica sobre computação ubíqua, modelagem, simulação e conceitos relacionados.
3. Descreve a implementação de um simulador para avaliar a possibilidade de uso de simulações em projetos de computação ubíqua.
A Teclógica desenvolveu um sistema móvel (SCL-BT) para coleta de leituras de medidores de energia elétrica para uma empresa distribuidora (AES Sul), melhorando a eficiência e confiabilidade do processo. O sistema oferece desempenho para grandes volumes de leituras, funcionalidades avançadas e proteção contra falhas.
O documento discute os fundamentos do sistema Lean de produção, apresentando seus princípios e ferramentas. É composto por vários módulos que abordam tópicos como mapeamento de valor, produção puxada, setup rápido e melhoria contínua visando capacitar sobre a filosofia e aplicação prática do Lean.
O documento descreve um treinamento de certificação bronze em princípios e ferramentas Lean. O treinamento inclui módulos sobre fundamentos Lean, mapeamento de fluxo de valor, criação de fluxo contínuo, processos padronizados, produção puxada, 5S, TPM e setup rápido. O objetivo é dar aos participantes uma visão geral do Lean e ensinar ferramentas básicas de forma prática.
O documento apresenta uma palestra sobre conceitos fundamentais, mercado e tendências da Programação Orientada a Aspectos (AOP). A palestra inclui definições de termos básicos de AOP, como join points, pointcuts e advices. Também discute como AOP permite separar preocupações transversais de um sistema em aspectos modulares.
Planejamento do processo_de_software_halanHalan Ridolphi
Este documento descreve (1) o processo de software genérico de uma empresa desenvolvedora, (2) a organização da equipe de desenvolvimento e (3) os processos de gerência de projeto, garantia da qualidade, gerência de configuração e desenvolvimento de software.
O documento discute a integração entre o processo RUP de desenvolvimento de software e o guia de gerenciamento de projetos PMBoK. A integração entre os modelos pode ser benéfica para projetos de software, uma vez que o RUP foca no desenvolvimento de software mas não cobre todas as áreas de gerenciamento de projetos, enquanto o PMBoK fornece uma visão mais ampla de gerenciamento mas não leva em conta particularidades de projetos de software. Estudos de caso mostram como a integração entre os modelos pode melhorar o gerenciamento e sucesso de
PLP – Paradigma de Programação Orientado a Modeloselliando dias
O documento discute o paradigma de programação orientada a modelos (MDA). Apresenta os princípios e benefícios do MDA, incluindo o uso de modelos em diferentes níveis de abstração e transformações automatizadas. Também descreve os tipos de modelos como CIM, PIM e PSM e como eles se relacionam no ciclo de vida do desenvolvimento de software.
As classes de modelagem podem ser comparadas a moldes ou
formas que definem as características e os comportamentos dos
objetos criados a partir delas. Vale traçar um paralelo com o projeto de
um automóvel. Os engenheiros definem as medidas, a quantidade de
portas, a potência do motor, a localização do estepe, dentre outras
descrições necessárias para a fabricação de um veículo
A linguagem C# aproveita conceitos de muitas outras linguagens,
mas especialmente de C++ e Java. Sua sintaxe é relativamente fácil, o que
diminui o tempo de aprendizado. Todos os programas desenvolvidos devem
ser compilados, gerando um arquivo com a extensão DLL ou EXE. Isso torna a
execução dos programas mais rápida se comparados com as linguagens de
script (VBScript , JavaScript) que atualmente utilizamos na internet
Mais conteúdo relacionado
Semelhante a Ambiente de Desenvolvimento de Sistemas de ILP
A crescente necessidade do mercado de obter produtos e serviços cada vez mais competitivos, traz consigo a necessidade de se buscar excelência em um determinado produto final. Na área dos sistemas de software não é diferente. Quando conceitos como padronização e reusabilidade são encorajados visando a qualidade (na criação) e agilidade (na manuteção) de um determinado produto de software, é pretendível que seja dada uma amplitude maior em soluções técnicas baseadas no conceito de “boas práticas” de desenvolvimento. Padrões de projeto, ou design patterns, visam resolver soluções em contextos diferentes sem que essa solução precise ser reescrita para ser implementada. Quando design patterns são implementados, desenvolvedores mais experientes já implementaram, testaram e catalogaram uma determinada solução para que a mesma possa ser usada em contextos diferentes. Este trabalho apresenta o conceito de desing patterns e reusabilidade, bem como conceitos preliminares como orientação a objetos. Também será abordado um estudo de caso, onde foram implementados alguns padrões de projeto na linguagem PHP5.
Apresentação - Modelagem de Ambientes de Computação Ubíqua Utilizando SimulaçãoJurmir Canal Neto
1. O documento descreve um trabalho acadêmico sobre modelagem de ambientes de computação ubíqua utilizando simulação.
2. Apresenta os objetivos do trabalho, revisão bibliográfica sobre computação ubíqua, modelagem, simulação e conceitos relacionados.
3. Descreve a implementação de um simulador para avaliar a possibilidade de uso de simulações em projetos de computação ubíqua.
A Teclógica desenvolveu um sistema móvel (SCL-BT) para coleta de leituras de medidores de energia elétrica para uma empresa distribuidora (AES Sul), melhorando a eficiência e confiabilidade do processo. O sistema oferece desempenho para grandes volumes de leituras, funcionalidades avançadas e proteção contra falhas.
O documento discute os fundamentos do sistema Lean de produção, apresentando seus princípios e ferramentas. É composto por vários módulos que abordam tópicos como mapeamento de valor, produção puxada, setup rápido e melhoria contínua visando capacitar sobre a filosofia e aplicação prática do Lean.
O documento descreve um treinamento de certificação bronze em princípios e ferramentas Lean. O treinamento inclui módulos sobre fundamentos Lean, mapeamento de fluxo de valor, criação de fluxo contínuo, processos padronizados, produção puxada, 5S, TPM e setup rápido. O objetivo é dar aos participantes uma visão geral do Lean e ensinar ferramentas básicas de forma prática.
O documento apresenta uma palestra sobre conceitos fundamentais, mercado e tendências da Programação Orientada a Aspectos (AOP). A palestra inclui definições de termos básicos de AOP, como join points, pointcuts e advices. Também discute como AOP permite separar preocupações transversais de um sistema em aspectos modulares.
Planejamento do processo_de_software_halanHalan Ridolphi
Este documento descreve (1) o processo de software genérico de uma empresa desenvolvedora, (2) a organização da equipe de desenvolvimento e (3) os processos de gerência de projeto, garantia da qualidade, gerência de configuração e desenvolvimento de software.
O documento discute a integração entre o processo RUP de desenvolvimento de software e o guia de gerenciamento de projetos PMBoK. A integração entre os modelos pode ser benéfica para projetos de software, uma vez que o RUP foca no desenvolvimento de software mas não cobre todas as áreas de gerenciamento de projetos, enquanto o PMBoK fornece uma visão mais ampla de gerenciamento mas não leva em conta particularidades de projetos de software. Estudos de caso mostram como a integração entre os modelos pode melhorar o gerenciamento e sucesso de
PLP – Paradigma de Programação Orientado a Modeloselliando dias
O documento discute o paradigma de programação orientada a modelos (MDA). Apresenta os princípios e benefícios do MDA, incluindo o uso de modelos em diferentes níveis de abstração e transformações automatizadas. Também descreve os tipos de modelos como CIM, PIM e PSM e como eles se relacionam no ciclo de vida do desenvolvimento de software.
Semelhante a Ambiente de Desenvolvimento de Sistemas de ILP (9)
As classes de modelagem podem ser comparadas a moldes ou
formas que definem as características e os comportamentos dos
objetos criados a partir delas. Vale traçar um paralelo com o projeto de
um automóvel. Os engenheiros definem as medidas, a quantidade de
portas, a potência do motor, a localização do estepe, dentre outras
descrições necessárias para a fabricação de um veículo
A linguagem C# aproveita conceitos de muitas outras linguagens,
mas especialmente de C++ e Java. Sua sintaxe é relativamente fácil, o que
diminui o tempo de aprendizado. Todos os programas desenvolvidos devem
ser compilados, gerando um arquivo com a extensão DLL ou EXE. Isso torna a
execução dos programas mais rápida se comparados com as linguagens de
script (VBScript , JavaScript) que atualmente utilizamos na internet
1. ´
Indice
Introdu¸˜o
ca
Situa¸˜o Actual
ca
Problema Proposto
Perspectivas de Solu¸˜o
ca
Aspectos Tecnol´gicos
o
Plano de Trabalhos
Referˆncias
e
Ambiente de Desenvolvimento de Sistemas de ILP
Jo˜o Azevedo
a
Orientador: Prof. Rui Camacho
Faculdade de Engenharia da Universidade do Porto
ei05028@fe.up.pt,rcamacho@fe.up.pt
9 de Dezembro de 2009
Jo˜o Azevedo
a Ambiente de Desenvolvimento de Sistemas de ILP 1/9
2. ´
Indice
Introdu¸˜o
ca
Situa¸˜o Actual
ca
Problema Proposto
Perspectivas de Solu¸˜o
ca
Aspectos Tecnol´gicos
o
Plano de Trabalhos
Referˆncias
e
Introdu¸˜o
ca
Situa¸˜o Actual
ca
Problema Proposto
Perspectivas de Solu¸˜o
ca
Aspectos Tecnol´gicos
o
Plano de Trabalhos
Referˆncias
e
Jo˜o Azevedo
a Ambiente de Desenvolvimento de Sistemas de ILP 2/9
3. ´
Indice
Introdu¸˜o
ca
Situa¸˜o Actual
ca
Problema Proposto
Perspectivas de Solu¸˜o
ca
Aspectos Tecnol´gicos
o
Plano de Trabalhos
Referˆncias
e
Introdu¸˜o
ca
A Indu¸˜o de Programas em L´gica (ILP - Inductive Logic Programming ):
ca o
´
Area na intersec¸˜o da Aprendizagem Computacional e da Programa¸˜o
ca ca
em L´gica.
o
Aprendizagem de programas em l´gica a partir de exemplos.
o
Um dos suportes te´ricos do Data Mining Relacional.
o
Expressividade da l´gica de predicados de primeira ordem na descri¸˜o dos
o ca
dados e dos modelos constru´ ıdos.
Jo˜o Azevedo
a Ambiente de Desenvolvimento de Sistemas de ILP 3/9
4. ´
Indice
Introdu¸˜o
ca
Situa¸˜o Actual
ca
Problema Proposto
Perspectivas de Solu¸˜o
ca
Aspectos Tecnol´gicos
o
Plano de Trabalhos
Referˆncias
e
Situa¸˜o Actual
ca
Novas t´cnicas de ILP geram invariavelmente um novo sistema.
e
O tempo de desenvolvimento de um sistema de ILP ´ bastante elevado.
e
Um sistema de ILP envolve um enorme n´mero de opera¸˜es sendo uma
u co
grande parte delas comum.
Jo˜o Azevedo
a Ambiente de Desenvolvimento de Sistemas de ILP 4/9
5. ´
Indice
Introdu¸˜o
ca
Situa¸˜o Actual
ca
Problema Proposto
Perspectivas de Solu¸˜o
ca
Aspectos Tecnol´gicos
o
Plano de Trabalhos
Referˆncias
e
Problema Proposto
Melhorar significativamente o tempo de desenvolvimento de um sistema que
inclua uma nova t´cnica de ILP:
e
Definir um conjunto de m´dulos reutiliz´veis que permitam rapidamente ter
o a
dispon´
ıveis todas as funcionalidades “comuns” aos sistemas de ILP sendo o
tempo de desenvolvimento gasto na codifica¸˜o do(s) m´dulo(s) que
ca o
implementam a nova t´cnica de ILP.
e
Jo˜o Azevedo
a Ambiente de Desenvolvimento de Sistemas de ILP 5/9
6. ´
Indice
Introdu¸˜o
ca
Situa¸˜o Actual
ca
Problema Proposto
Perspectivas de Solu¸˜o
ca
Aspectos Tecnol´gicos
o
Plano de Trabalhos
Referˆncias
e
Perspectivas de Solu¸˜o
ca
Identifica¸˜o e desenvolvimento de um conjunto de m´dulos uteis para a
ca o ´
constru¸˜o de sistemas de ILP.
ca
Identifica¸˜o de uma arquitectura por n´
ca ıveis para localiza¸˜o dos m´dulos.
ca o
Desenvolvimento de uma interface de constru¸˜o de novos sistemas de ILP,
ca
por escolha de colec¸˜o de m´dulos.
ca o
Avalia¸˜o de dependˆncias e incompatibilidades entre m´dulos, permitindo a
ca e o
compila¸˜o num sistema final de ILP.
ca
Disponibiliza¸˜o de APIs que permitam a r´pida constru¸˜o e integra¸˜o de
ca a ca ca
novos m´dulos.
o
Jo˜o Azevedo
a Ambiente de Desenvolvimento de Sistemas de ILP 6/9
7. ´
Indice
Introdu¸˜o
ca
Situa¸˜o Actual
ca
Problema Proposto
Perspectivas de Solu¸˜o
ca
Aspectos Tecnol´gicos
o
Plano de Trabalhos
Referˆncias
e
Aspectos Tecnol´gicos
o
Utiliza¸˜o do YAP como compilador Prolog.
ca
M´dulos de comunica¸˜o do YAP com bibliotecas externas (C).
o ca
Interfaces gr´ficas (GTK/Java).
a
Acesso a dados em XML e em bases de dados relacionais (MySQL/ODBC).
Liga¸˜o ao R para melhoria das capacidades de c´lculo num´rico dos sistemas
ca a e
de ILP.
Jo˜o Azevedo
a Ambiente de Desenvolvimento de Sistemas de ILP 7/9
8. ´
Indice
Introdu¸˜o
ca
Situa¸˜o Actual
ca
Problema Proposto
Perspectivas de Solu¸˜o
ca
Aspectos Tecnol´gicos
o
Plano de Trabalhos
Referˆncias
e
Plano de Trabalhos
Estudo dos diferentes tipos de sistemas de ILP e identifica¸˜o de m´dulos
ca o
comuns e particulares de cada tipo de sistema (4 semanas).
Proposta de uma arquitectura hier´rquica para os diferentes m´dulos e de
a o
uma linguagem de configura¸˜o dos sistema de ILP (2 semanas).
ca
Desenvolvimento de um pseudo-compilador que aglutine o conjunto final de
m´dulos (5 semanas).
o
Desenvolvimento de uma interface gr´fica para a ferramenta (3 semanas).
a
Desenvolvimento de um m´dulo de computa¸˜o distribu´ para gera¸˜o de
o ca ıda ca
hip´teses que servir´ de avalia¸˜o do processo de constru¸˜o de um sistema
o a ca ca
de ILP usando m´dulos pr´-definidos com um m´dulo novo (4 semanas).
o e o
Escrita da tese (4 semanas).
Jo˜o Azevedo
a Ambiente de Desenvolvimento de Sistemas de ILP 8/9
9. ´
Indice
Introdu¸˜o
ca
Situa¸˜o Actual
ca
Problema Proposto
Perspectivas de Solu¸˜o
ca
Aspectos Tecnol´gicos
o
Plano de Trabalhos
Referˆncias
e
Referˆncias
e
N. Lavrac, S. Dzeroski. Inductive Logic Programming: Techniques and
Applications. Ellis Horwood, New York, 1994.
S. Dzeroski, N. Lavrac. Relational Data Mining. Springer, Berlin, 2001.
S. Muggleton, L. de Raedt. Inductive logic programming: Theory and
Methods. Journal of Logic Programming, volume 19, 1994.
Jo˜o Azevedo
a Ambiente de Desenvolvimento de Sistemas de ILP 9/9