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)
In persuasive negotiation dialogues, agents, with different interests and goals, exchange proposals that are supported by rhetorical arguments such as threats, rewards, or appeals. The aim of this thesis is to investigate such dialogue systems, where agents can generate rhetorical arguments in order to try to persuade their opponents, and can also construct(More)