Sebastian Gottifredi

Learn More
In this work we present a BDI agent architecture to provide mobile soccer robots a high level reasoning mechanism. This architecture is build on top of layered system, where each layer is associated with a different level of abstraction in terms of robotic specification. The proposed approach allows the declarative specification of goal driven robot(More)
This paper introduces an approach for sharing beliefs in collaborative multi-agent application domains where some agents can be more credible than others. In this context, we propose a formalization where every agent has its own partial order among its peers representing the credibility the agent assigns to its informants; each agent will also have a belief(More)
Argumentation is an attractive reasoning mechanism due to its dialectical and non monotonic nature, and its properties of computational tractability. In dynamic domains where the agents deal with incomplete and contradictory information, to determine the accepted or warranted information, an argument comparison criterion must be used. Argumentation systems(More)
Argumentation in AI provides an inconsistency-tolerant formalism capable of establishing those pieces of knowledge that can be accepted despite having information in contradiction. Computation of accepted arguments tends to be expensive; in order to alleviate this issue, we propose a heuristics-based pruning technique over argumentation trees. Empirical(More)