Skip to main content

Academia.edu no longer supports Internet Explorer.

To browse Academia.edu and the wider internet faster and more securely, please take a few seconds to upgrade your browser.

KNOWN: Thermal conductivity, thickness and temperature difference across a sheet of rigid extruded insulation. FIND: (a) The heat flux through a 2 m × 2 m sheet of the insulation, and (b) The heat rate through the sheet. SCHEMATIC: q cond... more
    • by 
    • by 
Tendo em vista que as aplicações de Inteligência Artificial (IA) são amplas, o foco deste trabalho é apresentar uma alternativa para aumentar o rendi-mento de um sistema fotovoltaico (FV) utilizando o MATLAB Simulink. O rendimento de um... more
    • by 
    • by 
WSPC Journals Online,WorldSciNet.
    • by 
    •   3  
      Cognitive Science, Boolean Satisfiability, Energy function
Page 1. SATyrus: A SAT-based Neuro-Symbolic Architecture for Constraint Processing Priscila MV Lima NCE/Instituto de Matemática Universidade Federal do Rio de Janeiro, Brazil priscila@nce.ufrj.br M. Mariela Morveli-Espinoza ...
    • by  and +1
    •   11  
      Stochastic processes, Optimization Problem, Higher Order Thinking, Hybrid Intelligent Systems
This paper introduces a novel approach to the specification of hard combinatorial problems as pseudo-Boolean constraints. It is shown (i) how this set of constraints defines an energy landscape representing the space state of solutions of... more
    • by 
    •   16  
      Artificial Intelligence, Combinatorial Optimization, Simulated Annealing, Landscape
This paper presents the implementation of ARQ-PROP II, a limited-depth propositional reasoner, via the compilation of its specification into an exact formulation using the satyrus platform. satyrus’ compiler takes as input the definition... more
    • by 
    •   5  
      Neural Network, Higher Order Thinking, Boolean Satisfiability, Artificial Neural Network
    • by 
    •   6  
      Multi Agent System, Multiple Valued Logic, Multi Agent Systems, Pedagogic Conversational Agent
In this paper we propose an architecture for deliberative agents based on progressive reasoning. When an agent receives a query, it tries to satisfy it by building an answer based on its current knowledge. Depending on the available time... more
    • by 
    •   2  
      Agent Based, Boolean Satisfiability
    • by 
    • Pedagogic Conversational Agent
    • by  and +1
    •   9  
      Higher Order Thinking, Combinatorial Problems, Global Optimization, Graph Coloring
    • by  and +2
    •   16  
      Artificial Intelligence, Combinatorial Optimization, Simulated Annealing, Landscape
Threats make part of the set of rhetorical arguments, which are used in negotiation dialogues when a proponent agent tries to persuade his opponent to accept a proposal more readily. When more than one threat is generated, the proponent... more
    • by  and +2
    • by  and +1
    • by 
    •   8  
      Decision Making, Scheduling, Optimal mine design and scheduling, Optimization
    • by 
    •   8  
      Decision Making, Heuristics, Computer Aided Design, Scheduling
    • by 
    • by 
    •   7  
      Decision Making, Heuristics, Computer Aided Design, Scheduling
    • by 
    •   5  
      Engineering, Industrial, Product Distribution, CHEMICAL SCIENCES