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)
In this paper, we investigate the problem of contraction in Defeasible Logic Programming (DeLP), a logic-based approach for defea-sible argumentation. We develop different notions of contraction based on both, the different forms of entailment implicitly existent in argumenta-tion-based formalisms and the influence literals exhibit in the reasoning process.(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)
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)