Página 1 dos resultados de 180 itens digitais encontrados em 0.301 segundos

Approximations of modal logics: K and beyond

RABELLO, Guilherme de Souza; FINGER, Marcelo
Fonte: ELSEVIER SCIENCE BV Publicador: ELSEVIER SCIENCE BV
Tipo: Artigo de Revista Científica
Português
Relevância na Pesquisa
45.79%
Inspired by the recent work on approximations of classical logic, we present a method that approximates several modal logics in a modular way. Our starting point is the limitation of the n-degree of introspection that is allowed, thus generating modal n-logics. The semantics for n-logics is presented, in which formulas are evaluated with respect to paths, and not possible worlds. A tableau-based proof system is presented, n-SST, and soundness and completeness is shown for the approximation of modal logics K, T, D, S4 and S5. (c) 2008 Published by Elsevier B.V.

Redes lógicas de Markov aplicadas ao aprendizado de classificadores automáticos de dados.; Markov logic networks applied to learning of automatic data classifiers.

Silva, Victor Anselmo
Fonte: Biblioteca Digitais de Teses e Dissertações da USP Publicador: Biblioteca Digitais de Teses e Dissertações da USP
Tipo: dissertação de mestrado Formato: application/pdf
Publicado em 15/06/2010 Português
Relevância na Pesquisa
35.97%
Sistemas de computação têm se tornado maiores e mais complexos com o objetivo de lidar com a vasta quantidade de dados disponíveis. Uma tarefa decisiva em tais sistemas é classificar estes dados, bem como extrair informação útil destes. Nesta dissertação, testam-se as redes lógicas de Markov como linguagem para especificação e aprendizado de classificadores automáticos de dados. Esta linguagem combina fragmentos da lógica de primeira ordem e modelos probabilísticos gráficos (redes de Markov) em uma única representação. A junção destas duas técnicas permite a modelagem de conhecimento relacional através da lógica, e também de incertezas por meio de probabilidades e grafos não-direcionados. Neste trabalho, classificadores são aprendidos segundo dois paradigmas de aprendizado de máquina: o supervisionado, foco desta dissertação, e também o aprendizado semi-supervisionado com restrições determinísticas. Para investigar a utilidade das redes lógicas de Markov no treinamento de classificadores, uma série de experimentos de aprendizado é desenvolvida a partir de bases de dados de treino reais disponíveis em repositórios na internet. Como ferramenta auxiliar nos experimentos, esta dissertação testa também o pacote Alchemy...

O ensino de estatística na universidade e a controvérsia sobre os fundamentos da inferência; Teaching Statistics at the University and the inference controversy

Cordani, Lisbeth Kaiserlian
Fonte: Biblioteca Digitais de Teses e Dissertações da USP Publicador: Biblioteca Digitais de Teses e Dissertações da USP
Tipo: Tese de Doutorado Formato: application/pdf
Publicado em 18/06/2001 Português
Relevância na Pesquisa
55.9%
A maioria dos cursos universitários tem, em seu currículo, uma disciplina básica obrigatória de elementos de probabilidade e estatística. Além dos procedimentos de natureza descritiva, associados a análise de dados, fazem parte da ementa dessas disciplinas procedimentos inferenciais, geralmente apresentados dentro da teoria clássica(ou frequentista) de Neyman-Pearson. Não é costume nesta disciplina nem discutir aspectos epistemológicos ligados à inferência estatística e nem incluir a apresentação da escola Bayesiana, como uma possível alternativa. Sabidamente, tal disciplina é um entrave na vida escolar, tanto do aluno como do professor. Do aluno, porque este se depara, em boa parte das vezes, com um oferecimento mecânico da disciplina, sem motivação de natureza aplicada e sem vínculo aparente com sua realidade próxima curricular. Do professor, porque encontra geralmente alunos, além de despreparados com relação aos conceitos primários de incerteza e variabilidade, também com predisposição negativa, devido ao tabu associado à disciplina. Com o intuito de discutir a necessidade do oferecimento das primeiras noções inferenciais nessa disciplina, bem como responder a pergunta qual a inferência que deve ser ensinada numa disciplina básica de um curso universitário? buscamos caracterizar...

Uso da lógica fuzzy para avaliação e desenvolvimento de fornecedores baseado em modelos de portfólio; Using fuzzy logic for supplier evaluation and development based on portfolio models

Osiro, Lauro
Fonte: Biblioteca Digitais de Teses e Dissertações da USP Publicador: Biblioteca Digitais de Teses e Dissertações da USP
Tipo: Tese de Doutorado Formato: application/pdf
Publicado em 30/01/2013 Português
Relevância na Pesquisa
36.05%
A gestão de fornecedores é uma atividade crítica para a gestão do desempenho de empresas inseridas em redes produtivas. O modelo de segmentação ou portfólio de compras é definido como um processo de separação de fornecedores em grupos em função de diferentes necessidades e características, requerendo diferentes tipos de relacionamentos. Esta técnica tem recebido uma atenção cada vez maior no meio acadêmico e empresarial devido a sua estrutura simples e eficaz na organização de diferentes estratégias de suprimentos. Diferentes propostas de modelos têm sido apresentadas, mas todas com grande presença de variáveis qualitativas. Embora a teoria da lógica fuzzy tenha se demosnstrada adequada no tratamento deste tipo de variável, que tem forte presença de incerteza e imprecisão na coleta e tratamento dos dados, não há na literatura uma investigação de como um sistema de inferência fuzzy poderia ser utilizado em um modelo de portfólio de compras. Desta forma, este trabalho tem por objetivo a proposição de um sistema de inferência fuzzy para auxiliar no processo de tomada de decisão na avaliação e desenvolvimento de fornecedores baseado em modelos de portfolio. Busca-se contribuir com o conhecimento das pesquisas cujo tema envolve a segmentação...

Lógica probabilística baseada em redes Bayesianas relacionais com inferência em primeira ordem.; Probabilistic logic based on Bayesian network with first order inference.

Polastro, Rodrigo Bellizia
Fonte: Biblioteca Digitais de Teses e Dissertações da USP Publicador: Biblioteca Digitais de Teses e Dissertações da USP
Tipo: Tese de Doutorado Formato: application/pdf
Publicado em 03/05/2012 Português
Relevância na Pesquisa
36.2%
Este trabalho apresenta três principais contribuições: i. a proposta de uma nova lógica de descrição probabilística; ii. um novo algoritmo de inferência em primeira ordem a ser utilizado em terminologias representadas nessa lógica; e iii. aplicações práticas em problemas reais. A lógica aqui proposta, crALC (credal ALC), adiciona inclusões probabilísticas na popular lógica ALC combinando as terminologias com condições de aciclicidade, de Markov, e adotando uma semântica baseada em interpretações. Como os métodos de inferência exata tradicionalmente apresentam problemas de escalabilidade devido à presença de quantificadores (restrições universal e existencial), apresentamos um algoritmo de loopy propagation em primeira-ordem que se comporta bem para terminologias com domínios não triviais. Uma série de testes foi feita com o algoritmo proposto em comparação com algoritmos tradicionais da literatura; os resultados apresentados mostram uma clara vantagem em relação aos outros algoritmos. São apresentadas ainda duas aplicações da lógica e do algoritmo para resolver problemas reais da área de robótica móvel. Embora os problemas tratados sejam relativamente simples, eles constituem a base de muitos outros problemas da área...

Simulation of active control using fuzzy logic applied to a pulse combustor

Botura, C. A.; Botura, G.; Carvalho, J. A.; Mesquita, L.
Tipo: Artigo de Revista Científica Formato: 134-138
Português
Relevância na Pesquisa
36.02%
This work analyzes an active fuzzy logic control system in a Rijke type pulse combustor. During the system development, a study of the existing types of control for pulse combustion was carried out and a simulation model was implemented to be used with the package Matlab and Simulink. Blocks which were not available in the simulator library were developed. A fuzzy controller was developed and its membership functions and inference rules were established. The obtained simulation showed that fuzzy logic is viable in the control of combustion instabilities. The obtained results indicated that the control system responded to pulses in an efficient and desirable way. It was verified that the system needed approximately 0.2 s to increase the tube internal pressure from 30 to 90 mbar, with an assumed total delay of 2 ms. The effects of delay variation were studied. Convergence was always obtained and general performance was not affected by the delay. The controller sends a pressure signal in phase with the Rijke tube internal pressure signal, through the speakers, when an increase the oscillations pressure amplitude is desired. On the other hand, when a decrease of the tube internal pressure amplitude is desired, the controller sends a signal 180° out of phase.

Development of a water quality index using a fuzzy logic: A case study for the sorocaba river

Roveda, Sandra Regina Monteiro Masalskiene; Bondança, Ana Paula Maia; Silva, João Guilherme Soares; Roveda, José Arnaldo Frutuoso; Rosa, André Henrique
Tipo: info:eu-repo/semantics/conferencepaper
Português
Relevância na Pesquisa
35.94%
Due to growing urbanization and industrialization, the environment is suffering from pollution of rivers, degradation of soils and deteriorated air quality. Quality indices appear to be useful to evaluate the conditions of these media. The aim of this study was the development of a water quality index using a fuzzy inference system, since such an approach has proved advantageous in addressing problems that are subjective by nature or for which the data are uncertain. The methodology employed was based on this inference system, and considered the nine water quality parameters employed by CETESB (Companhia de Tecnologia de Saneamento Ambiental, São Paulo, Brazil) to evaluate water quality. After assessment of the data using the index, a comparison was made with the WQI (Water Quality Index), which is used for the monitoring of various water bodies, including in the study region. The results obtained using the index developed on the basis of fuzzy inference were found to be more useful than those derived from the method currently used by CETESB, since losses and/or omissions concerning individual parameters were minimized. © 2010 IEEE.

Aplicação da logica nebulosa na determinação de faceis do Campo de Namorado; Application of fuzzy logic in facies determination of Namorado Field

Beatriz Cristina Armelin Ninci
Fonte: Biblioteca Digital da Unicamp Publicador: Biblioteca Digital da Unicamp
Tipo: dissertação de mestrado Formato: application/pdf
Publicado em 10/09/2009 Português
Relevância na Pesquisa
35.93%
Este trabalho foi direcionado para a caracterização de fácies do reservatório do Campo de Namorado, com a interpretação de três tipos de perfis geofísicos (raios gama, densidade e neutrão) de oito poços e a utilização da lógica nebulosa. A lógica nebulosa considera que um elemento pode pertencer a mais de um conjunto, mas com graus de pertinência diferentes. Baseiase em variáveis lingüísticas e manuseia valores entre 0 e 1, tolerando dados imprecisos. Com base na descrição dos testemunhos foi definida, por meio de estatística básica, a associação dos valores dos perfis com as litologias identificadas em testemunho. As 26 fácies foram classificadas em 4 grupos de acordo com critérios geológicos. Na etapa seguinte foram desenvolvidos dois sistemas nebulosos, considerando os métodos de inferência Mamdani e Sugeno. A validação dos resultados fornecidos pelos sistemas nebulosos foi feita através da comparação com os dados dos testemunhos. A identificação dos grupos de fácies pelos dois métodos utilizados foi satisfatória, principalmente em relação ao grupo 1, constituído apenas por arenitos. Os resultados decorrentes da aplicação da lógica nebulosa representam um papel importante na caracterização de um reservatório...

Projeto habilis : a logica fuzzy contribuinso com o autoconhecimento e a escolha da profissão; Habilis project : the fuzzy logic contributing to self-knowledge and choice

Ronaldo Baumgartner
Fonte: Biblioteca Digital da Unicamp Publicador: Biblioteca Digital da Unicamp
Tipo: dissertação de mestrado Formato: application/pdf
Publicado em 22/12/2009 Português
Relevância na Pesquisa
36.05%
O presente trabalho propõe através do modelo fuzzy, a construção de um sistema de inferência para uma ferramenta de autoconhecimento (Método Habilis), que forneça orientação às pessoas com relação às tomadas de decisão quanto à escolha da profissão, curso universitário, papéis profissionais, etc. através da análise de seus sonhos, medos e habilidades sensoriais, cognitivas e emocionais. Esta análise é feita através do método de inferência fuzzy do tipo Mamdani, utilizando-se da lógica fuzzy e da teoria dos conjuntos fuzzy. Este método tem como entrada, os sonhos, medos e habilidades da pessoa analisada e fornece como saída, índices que a classificam quanto ao possível sucesso nas profissões, cursos, papéis profissionais, etc. Neste trabalho, é apresentado como exemplo, o método de inferência fuzzy (Mamdani) para os potenciais funcionais; A fuzzy model is proposed in this thesis, in order to develop an inference system as a tool of self-knowledge (named by Habilis method), that have the purpose to provide a frame of reference for the people to make a decision of professional choice, university studies or professional functions, and others. The analysis is made based on data bank of experts and self-evaluation of the people that will be self-analyzed...

Método PELC - Método de Planejamento Epidemiológico de Linha de Cuidado; PELC Method - Method of Epidemiological Planning for the Line of Care

Eneida Rached Campos
Fonte: Biblioteca Digital da Unicamp Publicador: Biblioteca Digital da Unicamp
Tipo: Tese de Doutorado Formato: application/pdf
Publicado em 27/06/2011 Português
Relevância na Pesquisa
45.66%
Introdução: Ações são encadeadas nas linhas de cuidado para organizar o percurso assistencial do consumidor de saúde. Método: Determinação de interrelações entre os conceitos e as práticas da epidemiologia, da ciência da administração e da lógica de inferência para o estudo de linha de cuidado. Resultados: 1) Criação do Método de Planejamento Epidemiológico de Linha de Cuidado - PELC - para testar e determinar o melhor percurso assistencial e para garantir sua qualidade. O Método PELC forma uma Equipe de Árbitros para definir o Tratamento Padrão (TP) da linha de cuidado e seu Escore PELC-TP; compara cada linha de cuidado (LC) com o Tratamento Padrão e o resultado é representado no Escore PELC-LC; cria base de comparação entre o Grupo Caso- LC e o Grupo Controle-LC; instala estudos epidemiológicos para investigar os fatores clínicos-sociais-organizacionais mais determinantes para os resultados futuros da linha de cuidado. No estudo prospectivo, o Experimento de Gestão oferece as linhas do Grupo Controle-LC. O Sistema do Cuidado Advir monitora a qualidade do cuidado que está por vir. A Saúde Autorreferida pesquisa o grau de autopercepção de saúde do consumidor. 2) Aplicação do Método PELC com delineamento de caso-controle na linha de cuidado das crianças e dos adolescentes infectados pelo HIV. Definição do Tratamento Padrão com PELCTP= 100 e Escore PELC-RES = 51 (sucesso terapêutico). A análise de regressão logística mostrou os seguintes fatores como mais determinantes para PELCRES< 20 e para PELC-LC; Introduction: Actions are linked in lines of care to organize the course of assistance of the healthcare consumer. Method: The determination of correlations between concepts and practices of epidemiology...

Projeto de um controlador fuzzy-PI para ajuste automático de velocidade da colhedora de cana de açúcar; Design of a fuzzy-PI controller for automatic speed adjustment of sugar cane harvester

Francisco Manoel Filho
Fonte: Biblioteca Digital da Unicamp Publicador: Biblioteca Digital da Unicamp
Tipo: Tese de Doutorado Formato: application/pdf
Publicado em 16/08/2013 Português
Relevância na Pesquisa
35.98%
A mecanização da colheita de cana é um processo irreversível no Brasil, tanto por aspectos ambientais quanto econômicos. A agroindústria canavieira da Região Sudeste tem o maior índice de mecanização, compondo a maior frota de colhedoras de cana picada do país. Essas máquinas oferecem diversos dispositivos, visando uma colheita limpa e sem perdas visíveis. Contudo, a literatura científica relata significativos índices de perdas e impurezas associados à colheita mecanizada da cana, em razão da ineficiência destes dispositivos e também pelo seu uso inadequado. Afim de minimizar erros operacionais, este trabalho apresenta o projeto de um controlador fuzzy-PI para ajuste automático da velocidade da colhedora de cana picada em função das condições operacionais. O desenvolvimento desse projeto envolveu a construção de uma base de conhecimento especialista contendo a experiência de profissionais da colheita mecanizada da cana na condução da colhedora. A partir dessa base de conhecimento, utilizando-se o "Fuzzy Logic Toolbox" do MATLAB, desenvolveu-se um sistema especialista fuzzy, com a função de indicar um índice que representa a velocidade de deslocamento da colhedora. Esse sistema especialista combinou dois Fuzzy Inference System...

Simulation of Active Control Using Fuzzy Logic Applied to a Pulse Combustor

Botura,C. A.; Botura Jr.,G.; Carvalho Jr.,J. A.; Mesquita,L.; Ferreira,M. A.
Fonte: The Brazilian Society of Mechanical Sciences Publicador: The Brazilian Society of Mechanical Sciences
Tipo: Artigo de Revista Científica Formato: text/html
Publicado em 01/05/2002 Português
Relevância na Pesquisa
45.9%
This work analyzes an active fuzzy logic control system in a Rijke type pulse combustor. During the system development, a study of the existing types of control for pulse combustion was carried out and a simulation model was implemented to be used with the package Matlab and Simulink. Blocks which were not available in the simulator library were developed. A fuzzy controller was developed and its membership functions and inference rules were established. The obtained simulation showed that fuzzy logic is viable in the control of combustion instabilities. The obtained results indicated that the control system responded to pulses in an efficient and desirable way. It was verified that the system needed approximately 0.2 s to increase the tube internal pressure from 30 to 90 mbar, with an assumed total delay of 2 ms. The effects of delay variation were studied. Convergence was always obtained and general performance was not affected by the delay. The controller sends a pressure signal in phase with the Rijke tube internal pressure signal, through the speakers, when an increase the oscillations pressure amplitude is desired. On the other hand, when a decrease of the tube internal pressure amplitude is desired, the controller sends a signal 180º out of phase.

Role of Utility and Inference in the Evolution of Functional Information

Sharov, Alexei A.
Tipo: text
Publicado em 01/04/2009 Português
Relevância na Pesquisa
36.11%
Functional information means an encoded network of functions in living organisms from molecular signaling pathways to an organism’s behavior. It is represented by two components: code and an interpretation system, which together form a self-sustaining semantic closure. Semantic closure allows some freedom between components because small variations of the code are still interpretable. The interpretation system consists of inference rules that control the correspondence between the code and the function (phenotype) and determines the shape of the fitness landscape. The utility factor operates at multiple time scales: short-term selection drives evolution towards higher survival and reproduction rate within a given fitness landscape, and long-term selection favors those fitness landscapes that support adaptability and lead to evolutionary expansion of certain lineages. Inference rules make short-term selection possible by shaping the fitness landscape and defining possible directions of evolution, but they are under control of the long-term selection of lineages. Communication normally occurs within a set of agents with compatible interpretation systems, which I call communication system. Functional information cannot be directly transferred between communication systems with incompatible inference rules. Each biological species is a genetic communication system that carries unique functional information together with inference rules that determine evolutionary directions and constraints. This view of the relation between utility and inference can resolve the conflict between realism/positivism and pragmatism. Realism overemphasizes the role of inference in evolution of human knowledge because it assumes that logic is embedded in reality. Pragmatism substitutes usefulness for truth and therefore ignores the advantage of inference. The proposed concept of evolutionary pragmatism rejects the idea that logic is embedded in reality; instead...

Toward Question-Asking Machines: The Logic of Questions and the Inquiry Calculus

Knuth,Kevin H.
Tipo: al and statistics (aistats) 2005; 6-8 jan. 2005; barbados Formato: application/pdf
Português
Relevância na Pesquisa
45.86%
For over a century, the study of logic has focused on the algebra of logical statements. This work, first performed by George Boole, has led to the development of modern computers, and was shown by Richard T. Cox to be the foundation of Bayesian inference. Meanwhile the logic of questions has been much neglected. For our computing machines to be truly intelligent, they need to be able to ask relevant questions. In this paper I will show how the Boolean lattice of logical statements gives rise to the free distributive lattice of questions thus defining their algebra. Furthermore, there exists a quantity analogous to probability, called relevance, which quantifies the degree to which one question answers another. I will show that relevance is not only a natural generalization of information theory, but also forms its foundation.

Intelligent Machines in the 21st Century: Automating the Processes of Inference and Inquiry

Knuth, Kevin H.
Formato: application/pdf
Português
Relevância na Pesquisa
56.02%
The last century saw the application of Boolean algebra toward the construction of computing machines, which work by applying logical transformations to information contained in their memory. The development of information theory and the generalization of Boolean algebra to Bayesian inference have enabled these computing machines. in the last quarter of the twentieth century, to be endowed with the ability to learn by making inferences from data. This revolution is just beginning as new computational techniques continue to make difficult problems more accessible. However, modern intelligent machines work by inferring knowledge using only their pre-programmed prior knowledge and the data provided. They lack the ability to ask questions, or request data that would aid their inferences. Recent advances in understanding the foundations of probability theory have revealed implications for areas other than logic. Of relevance to intelligent machines, we identified the algebra of questions as the free distributive algebra, which now allows us to work with questions in a way analogous to that which Boolean algebra enables us to work with logical statements. In this paper we describe this logic of inference and inquiry using the mathematics of partially ordered sets and the scaffolding of lattice theory...

What is a Question?

Clancy, Daniel; Knuth, Kevin H.
Tipo: maximum entropy and bayesian methods 2002; 3-7 aug. 2002; idaho; united states Formato: application/pdf
Português
Relevância na Pesquisa
35.98%
A given question can be defined in terms of the set of statements or assertions that answer it. Application of the logic of inference to this set of assertions allows one to derive the logic of inquiry among questions. There are interesting symmetries between the logics of inference and inquiry; where probability describes the degree to which a premise implies an assertion, there exists an analogous quantity that describes the bearing or relevance that a question has on an outstanding issue. These have been extended to suggest that the logic of inquiry results in functional relationships analogous to, although more general than, those found in information theory. Employing lattice theory, I examine in greater detail the structure of the space of assertions and questions demonstrating that the symmetries between the logical relations in each of the spaces derive directly from the lattice structure. Furthermore, I show that while symmetries between the spaces exist, the two lattices are not isomorphic. The lattice of assertions is described by a Boolean lattice 2(sup N) whereas the lattice of real questions is shown to be a sublattice of the free distributive lattice FD(N) = 2(sup 2(sup N)). Thus there does not exist a one-to-one mapping of assertions to questions...

The Logic of Reachability

Jonsson, Ari K.; Clancy, Daniel; Smith, David E.
Tipo: sixth international conference on artificial intelligence planning and scheduling; 23-27 apr. 2002; toulouse; france Formato: application/pdf
Português
Relevância na Pesquisa
45.79%
In recent years, Graphplan style reachability analysis and mutual exclusion reasoning have been used in many high performance planning systems. While numerous refinements and extensions have been developed, the basic plan graph structure and reasoning mechanisms used in these systems are tied to the very simple STRIPS model of action. In 1999, Smith and Weld generalized the Graphplan methods for reachability and mutex reasoning to allow actions to have differing durations. However, the representation of actions still has some severe limitations that prevent the use of these techniques for many real-world planning systems. In this paper, we 1) separate the logic of reachability from the particular representation and inference methods used in Graphplan, and 2) extend the notions of reachability and mutual exclusion to more general notions of time and action. As it turns out, the general rules for mutual exclusion reasoning take on a remarkably clean and simple form. However, practical instantiations of them turn out to be messy, and require that we make representation and reasoning choices.

Question-Begging Under a Non-Foundational Model of Argument

Suber, Peter
Fonte: Springer Verlag Publicador: Springer Verlag
Tipo: Artigo de Revista Científica
Português
Relevância na Pesquisa
45.67%
I find (as others have found) that question-begging is formally valid but rationally unpersuasive. More precisely, itought to be unpersuasive, although it can often persuade. Despite its formal validity, question-begging fails to establish its conclusion; in this sense it fails under a classical or foundationalist model of argument. But it does link its conclusion to its premises by means of acceptable rules of inference; in this sense it succeeds under a non-classical, non-foundationalist model of argument which is spelled out in the essay. However, even for the latter model question-begging fails to link the conclusion to premises that the unconvinced would find more acceptable than the conclusion. The essay includes reflections on the conditions under which the circularity of mutually supporting claims can avoid question-begging and legitimately be persuasive.; Other Research Unit

Stochastic Digital Circuits for Probabilistic Inference

Tenenbaum, Joshua B.; Jonas, Eric M.; Mansinghka, Vikash K.
Formato: 10 p.
Português
Relevância na Pesquisa
36.02%
We introduce combinational stochastic logic, an abstraction that generalizes deterministic digital circuit design (based on Boolean logic gates) to the probabilistic setting. We show how this logic can be combined with techniques from contemporary digital design to generate stateless and stateful circuits for exact and approximate sampling from a range of probability distributions. We focus on Markov chain Monte Carlo algorithms for Markov random fields, using massively parallel circuits. We implement these circuits on commodity reconfigurable logic and estimate the resulting performance in time, space and price. Using our approach, these simple and general algorithms could be affordably run for thousands of iterations on models with hundreds of thousands of variables in real time.