Páginas novas

(Mais novas | Mais antigas) Ver (50 posteriores | 50 anteriores) (20 | 50 | 100 | 250 | 500)

• 11h52min de 10 de novembro de 2020 ‎Ações e Planejamento (his | editar) ‎[14 411 bytes] ‎Abaffa (discussão | contribs) (Criou página com 'Nesta seção, apresentamos uma abordagem simplificada para gerar planos de ação para um robô hipotético. A situação básica envolve blocos em uma mesa. Os blocos indivi...')
• 11h09min de 10 de novembro de 2020 ‎Redux da coloração de mapas (his | editar) ‎[4 629 bytes] ‎Abaffa (discussão | contribs) (Criou página com 'Esta seção reconsidera o problema de coloração do mapa da Seção 2.1. Desta vez, devemos representar as regiões adjacentes usando uma lista de r...')
• 10h48min de 10 de novembro de 2020 ‎Jogo dos Animais (his | editar) ‎[4 227 bytes] ‎Abaffa (discussão | contribs) (Criou página com 'Está é uma versão Prolog do jogo de identificação de animais (sistema especialista simples) apresentado em um programa 'Lisp' no Capítulo 6 de Winston e Horn (1985)<ref>...')
• 10h38min de 10 de novembro de 2020 ‎Troco para um dólar (his | editar) ‎[1 755 bytes] ‎Abaffa (discussão | contribs) (Criou página com 'Este programa Prolog simples verifica ou gera trocos que somam um dólar que consiste em half-dollars (50 centavos), quarters (25 centavos), dimes (10 centavos), nickels (5 ce...')
• 10h20min de 10 de novembro de 2020 ‎Quebra-cabeças das Torres de Hanói (his | editar) ‎[4 451 bytes] ‎Abaffa (discussão | contribs) (Criou página com 'O objetivo deste famoso quebra-cabeça é mover 'N' discos do pino esquerdo para o pino direito usando o pino central como um pino de fixação auxiliar. Em nenhum momento um...')
• 10h08min de 10 de novembro de 2020 ‎Duas Definições de Fatorial (his | editar) ‎[6 853 bytes] ‎Abaffa (discussão | contribs) (Criou página com 'Duas definições de predicado que calculam a função fatorial estão no arquivo '2_2.pl', que o leitor pode visualizar clicando no link 'Código' ao finalo desta página. A...')
• 09h43min de 10 de novembro de 2020 ‎Coloração de mapas (his | editar) ‎[5 723 bytes] ‎Abaffa (discussão | contribs) (Criou página com 'Um famoso problema da matemática diz respeito à coloração de regiões planas adjacentes. Como os mapas cartográficos, é necessário que, quaisquer que sejam as cores rea...')
• 01h23min de 8 de novembro de 2020 ‎Quebra-cabeça do desafio das rainhas do xadrez (his | editar) ‎[3 192 bytes] ‎Abaffa (discussão | contribs) (Criou página com 'O desafio é colocar N rainhas em um tabuleiro NxN de forma que nenhuma rainha possa "atacar" qualquer outra rainha. As rainhas podem se mover horizontalmente, verticalmente o...')
• 01h10min de 8 de novembro de 2020 ‎Diagramas de estrutura e Prolog (his | editar) ‎[20 206 bytes] ‎Abaffa (discussão | contribs) (Criou página com 'Os diagramas considerados são grafos finitos cujos nós e arestas possuem um número finito de propriedades. A lógica computacional pode especificar diagramas e raciocinar s...')
• 20h12min de 7 de novembro de 2020 ‎Um Jogo da Velha contra o oponente do Prolog (§5.3) com Java GUI (his | editar) ‎[6 608 bytes] ‎Abaffa (discussão | contribs) (Criou página com 'Esta seção discute uma metodologia para permitir que uma GUI Java p/ o Jogo da Velha interaja com o agente de jogo Prolog para o Jogo da Velha descrito na Busca-αβ no Pr...')
• 19h24min de 7 de novembro de 2020 ‎Animando o 8-puzzle (§5.2) usando gráficos de personagens (his | editar) ‎[8 200 bytes] ‎Abaffa (discussão | contribs) (Criou página com 'Combinamos as seções 5.1 e 5.2 para produzir um solucionador para o 8-puzzle que gera soluções da forma [esquerda, p...')
• 19h08min de 7 de novembro de 2020 ‎Animando o movedor de blocos (§2.19) usando gráficos de personagens (his | editar) ‎[3 652 bytes] ‎Abaffa (discussão | contribs) (Criou página com 'Esta seção usa o planejador de ação de blocos da Seção 2.19 e o protótipo de interface de comando e pergunta idiomática em inglês da Coma...')
• 18h29min de 7 de novembro de 2020 ‎Especificação de ação para uma calculadora simples (his | editar) ‎[5 404 bytes] ‎Abaffa (discussão | contribs) (Criou página com 'commoldura|direita|fig. 8.1 Consider the following action specification for a simple calculator. '''Informal Requirements or Intentions...''' #...')
• 12h46min de 7 de novembro de 2020 ‎Comandos idiomáticos em linguagem natural e interfaces de perguntas (his | editar) ‎[10 816 bytes] ‎Abaffa (discussão | contribs) (Criou página com 'O significado cotidiano do termo "expressão idiomática" envolve uma frase em linguagem natural cuja forma gramatical segue os padrões típicos da linguagem, mas cujo signif...')
• 12h17min de 7 de novembro de 2020 ‎Gramática do Prolog para estruturas simples de frases em inglês (his | editar) ‎[8 422 bytes] ‎Abaffa (discussão | contribs) (Criou página com 'Prolog tem a capacidade de carregar regras gramaticais de cláusulas definidas (regras DCG - definite clause grammar) e convertê-las automaticamente em regras de análise Pro...')
• 12h04min de 7 de novembro de 2020 ‎Analisador de gramática em Prolog (his | editar) ‎[4 403 bytes] ‎Abaffa (discussão | contribs) (Criou página com 'Prolog tem a capacidade de carregar regras gramaticais de cláusulas definidas (regras DCG - definite clause grammar) e convertê-las automaticamente em regras de análise Pro...')
• 19h34min de 6 de novembro de 2020 ‎Cláusulas como dados (his | editar) ‎[6 021 bytes] ‎Abaffa (discussão | contribs) (Criou página com 'O predicado nativo 'clause' do Prolog extrai a estrutura de definição de cláusulas da memória. Por exemplo, suponha que o arquivo lists.pro tenha sido carregado. Então, o...')
• 19h25min de 6 de novembro de 2020 ‎Buscas em Prolog (his | editar) ‎[6 091 bytes] ‎Abaffa (discussão | contribs) (Criou página com 'A seção anterior discutiu a travessia de um grafo estático. Os nós e arestas foram dados antecipadamente, ao invés de calculados durante a busca por uma solução. Consi...')
• 18h41min de 6 de novembro de 2020 ‎Estruturas e caminhos em grafos em Prolog (his | editar) ‎[3 527 bytes] ‎Abaffa (discussão | contribs) (Criou página com 'Como exemplo, considere o seguinte gráfico conectado: commoldura|centro|Fig. 2.15 As arestas podem ser representadas no Prolog como fatos: <syntaxhig...')
• 18h30min de 6 de novembro de 2020 ‎Analisador AFD em Prolog (his | editar) ‎[2 072 bytes] ‎Abaffa (discussão | contribs) (Criou página com 'O programa a seguir simula um analisador/aceitador para um autômato finito determinístico arbitrário (AFD). Quando este e um programa de tabela de estado são carregados no...')
• 18h16min de 6 de novembro de 2020 ‎Gerador de Tabela Verdade (his | editar) ‎[7 309 bytes] ‎Abaffa (discussão | contribs) (Criou página com 'O objetivo desta seção é desenvolver um programa Prolog para calcular e exibir tabelas verdade para expressões booleanas envolvendo 'e', 'ou' e 'não'. Procuramos o seguin...')
• 13h56min de 6 de novembro de 2020 ‎Conjunto de respostas (his | editar) ‎[4 664 bytes] ‎Abaffa (discussão | contribs) (Criou página com 'Prolog tem três predicados integrados projetados para coletar objetos resultantes de cálculos bem-sucedidos: <syntaxhighlight lang="Prolog"> bagof(Things, GoalCondition, Ba...')
• 13h07min de 6 de novembro de 2020 ‎I/O Simples em Prolog (his | editar) ‎[5 293 bytes] ‎Abaffa (discussão | contribs) (Criou página com 'Prolog usa os seguintes predicados para ler dados <syntaxhighlight lang="Prolog"> seeing(File) see(File)...')
• 12h49min de 6 de novembro de 2020 ‎Listas em Prolog (his | editar) ‎[16 468 bytes] ‎Abaffa (discussão | contribs) (Criou página com '== Listas == Prolog usa colchetes [...] como um construtor de uma lista. A notação [X|Y] se refere a uma lista cujo primeiro elemento é X e cuja cauda é Y. Uma lista fini...')
• 11h46min de 6 de novembro de 2020 ‎Dados e relações em árvores (his | editar) ‎[4 954 bytes] ‎Abaffa (discussão | contribs) (Criou página com 'Considere o seguinte diagrama de árvore. commoldura|centro|Fig. 2.6 O arquivo '2_6.pl' tem uma representação para esta árvore e definições de pred...')
• 11h26min de 6 de novembro de 2020 ‎Negação como falha (his | editar) ‎[4 804 bytes] ‎Abaffa (discussão | contribs) (Criou página com 'O predicado de negação-como-falha 'not' pode ser definido no Prolog da seguinte forma: <syntaxhighlight lang="Prolog"> not(P) :- call(P), !, fail. not(P). </syntaxhighlight...')
• 11h05min de 6 de novembro de 2020 ‎Carregando programas, editando programas (his | editar) ‎[5 304 bytes] ‎Abaffa (discussão | contribs) (Criou página com 'Os predicados padrão do Prolog para carregar programas são 'consult', 'reconsult' e a notação do carregador de colchetes '[...]'. Por exemplo, o objetivo <code>?- consult(...')
• 13h58min de 5 de novembro de 2020 ‎Augusto Baffa (his | editar) ‎[4 908 bytes] ‎Abaffa (discussão | contribs) (Criou página com ''''Augusto Cesar Espíndola Baffa''' (Rio de Janeiro, 02 de junho de 1980) é um cientista da computação e professor universitário brasileiro. Professor do quadro compleme...')
• 11h37min de 5 de novembro de 2020 ‎Distância de Levenshtein (his | editar) ‎[1 745 bytes] ‎Abaffa (discussão | contribs) (Criou página com 'A distância de Levenshtein é uma métrica de string para medir a diferença entre duas sequências. Normalmente, a distância Levenshtein entre duas palavras é o número m...')
• 11h08min de 5 de novembro de 2020 ‎Algoritmo Strike a Match (his | editar) ‎[14 685 bytes] ‎Abaffa (discussão | contribs) (Criou página com '''' ==Introduction== '''''''In my previous articleTame the Beast by Matching Similar Strings, I presented a brief survey of approximate string matching algorithms, and argued...')
• 11h03min de 5 de novembro de 2020 ‎Métrica lp ponderada (his | editar) ‎[432 bytes] ‎Abaffa (discussão | contribs) (Criou página com 'Categoria:Medidas de Proximidade <math>d_p(x,y) = \left ( \sum_{i=1}^l w_i|x_i-y_i|^p \right )^{1/p}</math> onde <math>x_i</math> e <math>y_i</math> são as i–ésimas...')
• 10h58min de 5 de novembro de 2020 ‎Métrica Norma l∞ ponderada (his | editar) ‎[145 bytes] ‎Abaffa (discussão | contribs) (Criou página com 'Categoria:Medidas de Proximidade <math>d(x,y) = max_{1 \leq i \leq l} ~ w_i|x_i-y_i|</math> == Ver também == * Medidas de Proximidade')
• 10h53min de 5 de novembro de 2020 ‎Métrica l2 ponderada (Mahalanobis) (his | editar) ‎[200 bytes] ‎Abaffa (discussão | contribs) (Criou página com ' Categoria:Medidas de Proximidade <math>d(x,y) = \sqrt{(x-y)^T B(x-y)}</math> onde <math>B</math> é uma matriz simétrica positiva (Mahalanobis) == Ver também == * [...')
• 10h52min de 5 de novembro de 2020 ‎Métrica lp especial (Manhattan) (his | editar) ‎[179 bytes] ‎Abaffa (discussão | contribs) (Criou página com ' Categoria:Medidas de Proximidade <math>d_1(x,y) = \sum^{l}_{i=1} w_i |x_i-y_i|</math> é também chamada de norma Manhattan == Ver também == * Medidas de Proximida...')
• 10h47min de 5 de novembro de 2020 ‎Distância de Hamming (his | editar) ‎[783 bytes] ‎Abaffa (discussão | contribs) (Criou página com 'Categoria:Medidas de Proximidade <math>d_H(x,y) = \sum^{k-1}_{i=0}\sum^{k-1}_{j=0,j \neq i} a_{ij}</math> Corresponde a soma de todos os elementos fora da diagonal de <m...')
• 10h47min de 5 de novembro de 2020 ‎Produto interno (inner) (his | editar) ‎[313 bytes] ‎Abaffa (discussão | contribs) (Criou página com 'Categoria:Medidas de Proximidade <math>d_H(x,y) = \sum^{k-1}_{i=0}\sum^{k-1}_{j=0,j \neq i} a_{ij}</math> Corresponde a soma de todos os elementos fora da diagonal de <m...')
• 10h44min de 5 de novembro de 2020 ‎Medida de Tanimoto (his | editar) ‎[328 bytes] ‎Abaffa (discussão | contribs) (Criou página com 'Categoria:Medidas de Proximidade <math>S_T(x,y) = \frac{\sum_{i=1}^{k-1} a_{ii}}{\sum^{k-1}_{i=1}\sum^{k-1}_{j=0} a_{ij}+\sum^{k-1}_{i=0}\sum^{k-1}_{j=1} a_{ij} 1-\sum^{k...')
• 10h34min de 5 de novembro de 2020 ‎Medidas de Proximidade (his | editar) ‎[568 bytes] ‎Abaffa (discussão | contribs) (Criou página com '== Medidas de Dissimilaridade == * Métrica ''l_p'' ponderada * Métrica Norma l∞ ponderada|Métrica Norma ''l_∞'' ponderad...')
• 17h37min de 2 de novembro de 2020 ‎Busca-αβ no Prolog (his | editar) ‎[12 533 bytes] ‎Abaffa (discussão | contribs) (Criou página com 'Esta seção adapta a estrutura de Busca α&beta em ''The Art of Prolog'', de L. Sterling e E. Shapiro (1986)<ref name="shapiro">Sterling, Leon, and Shapiro, Ehud, The Art of...')
• 14h27min de 2 de novembro de 2020 ‎O 8-puzzle no Prolog (his | editar) ‎[5 820 bytes] ‎Abaffa (discussão | contribs) (Criou página com 'Esta seção refere-se a um conhecido e popular quebra-cabeça de peças deslizantes que já existe há pelo menos quarenta anos. As versões anteriores mais frequentes desse...')
• 13h43min de 2 de novembro de 2020 ‎O algoritmo A * no Prolog (his | editar) ‎[6 928 bytes] ‎Abaffa (discussão | contribs) (Criou página com 'A Seção 2.16 apresentou um esboço para um programa de pesquisa Prolog simples. Esta seção discute a pesquisa heurística usando o algoritmo A *, devi...')
• 01h05min de 2 de novembro de 2020 ‎Meta-interpretadores no Prolog (his | editar) ‎[14 072 bytes] ‎Abaffa (discussão | contribs) (Criou página com 'Os programas também podem ser considerados como dados de entrada para outros programas. Os programas Prolog são sequências de termos prolog, portanto, os programas prolog s...')
• 00h05min de 2 de novembro de 2020 ‎Cut no Prolog (his | editar) ‎[5 246 bytes] ‎Abaffa (discussão | contribs) (Criou página com 'O predicado 'cut' do Prolog, ou '!', elimina escolhas em uma árvore de derivação do Prolog. Para ilustrar, primeiro considere um corte em um objetivo. Por exemplo, consider...')
• 18h34min de 1 de novembro de 2020 ‎Objetivos Integrados do Prolog (his | editar) ‎[13 700 bytes] ‎Abaffa (discussão | contribs) (Criou página com '== Objetivos integrados ao Prolog == Este capítulo contém um resumo descritivo da maioria dos objetivos internos importantes do Prolog. Para mais detalhes consulte a [https...')
• 17h44min de 1 de novembro de 2020 ‎Árvores de derivação no Prolog, seleções e unificação (his | editar) ‎[9 408 bytes] ‎Abaffa (discussão | contribs) (Criou página com 'Para ilustrar como o Prolog produz respostas para programas e objetivos, considere o seguinte programa de registro de dados simples (sem funções). <syntaxhighlight lang="Pr...')
• 17h04min de 1 de novembro de 2020 ‎Notas do Capítulo 6 (his | editar) ‎[2 814 bytes] ‎Abaffa (discussão | contribs) (Criou página com 'O capítulo 6 cobre algum material básico sobre lógica matemática e computacional. O conteúdo deste capítulo foi usado como notas para parte de um curso teórico de ciên...')
• 14h12min de 1 de novembro de 2020 ‎Exemplos de Programas em Prolog (his | editar) ‎[6 261 bytes] ‎Abaffa (discussão | contribs) (Criou página com 'Neste capítulo, fornecemos vários programas exemplos de Prolog. Os programas são fornecidos em uma progressão de programas bastante simples para programas mais complexos....')
• 13h47min de 1 de novembro de 2020 ‎Prolog Tutorial Sumário (his | editar) ‎[4 705 bytes] ‎Abaffa (discussão | contribs) (Criou página com 'Introdução ---- 1. Como executar o Prolog ---- 2. Programas Exemplo 2.1 Map colorings 2.2 Two factorial definitions 2.3 T...')
• 13h36min de 1 de novembro de 2020 ‎Como executar o Prolog (his | editar) ‎[8 280 bytes] ‎Abaffa (discussão | contribs) (Criou página com 'Os exemplos neste Tutorial do Prolog foram desenvolvidos usando Quintus Prolog rodando em Digital Equipment Corporation MicroVAXes (pré-história) ou usando SWI Prolog em Sun...')
• 12h56min de 1 de novembro de 2020 ‎Prolog Tutorial (his | editar) ‎[13 518 bytes] ‎Abaffa (discussão | contribs) (Criou página com ' == Introdução == Prolog é uma linguagem de programação lógica e declarativa. Seu nome (Prolog) é a abreviação de PROgramming in LOGic. Prolog é baseado na pesquis...')

(Mais novas | Mais antigas) Ver (50 posteriores | 50 anteriores) (20 | 50 | 100 | 250 | 500)