M. Mariela Morveli-Espinoza

Learn More
This paper introduces SATyrus, a neuro-symbolic architecture oriented to optimization problem solving via mapping problems specification into sets of pseudo-Boolean constraints. SATyrus provides a logical declarative language used to specify and compile a target problem into a particular energy function representing its space state of solutions. The(More)
Agents are situated autonomous entities that perceive and act in their environment , and communicate with other agents. An agent usually starts a conversation by querying another agent because it needs to satisfy a specific goal. This process allocates a new goal to the agent receiving the initial query, starting new dialogs with other agents, generating a(More)
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 of a problem as a set of pseudo-Boolean constraints and produces, as output, the Energy function of a higher-order(More)
When an agent receives a query from another agent, it tries to satisfy it by building an answer based on its current knowledge. Depending on the available time or the urgency of the requirement the agent can produce answers with different levels of quality. Answers can contain the best one, a provisional one because it can be improved later, or a(More)
Decision making process is an important topic in cooperative design work, but it also can be a complex and long-running task, especially when many aspects must be decided, several parties are involved and there are conflicting points of view. One form of dealing with this complexity is automating all or part of the process. With the aim of giving a partial(More)
  • 1