This research line has resulted in the development of a logic programming language, Possibilistic Defeasible Logic Programming (PDeLP), an extension of DeLP that allows the treatment of possibilistic uncertainty and fuzzy knowledge at objectlanguage level. This research line has been developed in collaboration with the University of Lleida (Spain) and Artificial Intelligence Research Institute (Spain). In PDeLP, knowledge representation features are formalized based on PGL, a possibilistic logic based on the Hornrule fragment of Gödel fuzzy logic. In PGL formulas are built over fuzzy propositional variables and the certainty degree of formulas is expressed with a necessity measure. In a logic programming setting, the proof method for PGL is based on a complete calculus for determining the maximum degree of possibilistic entailment of a fuzzy goal. In a multiagent context, we have studied how agents can use PDeLP to encode their knowledge about the world, using the argument and warrant computing procedure to perform their inferences. In particular, we have also formalized and studied a number of argumentbased consequence operators which allow to model different aspects of the reasoning abilities in an intelligent agent. We have also analyzed how answers to PDeLP queries can be speeded up by pruning the associated search space.
Argumentbased Expansion Operators in Possibilistic Defeasible Logic Programming: Characterization and Logical Properties. C. Chesñevar, G. Simari, L. Godo, and T. Alsinet, Proc. of ECSQARU 2005 Conference. Barcelona, Spain, pp. 353365.
Computing Dialectical Trees Efficiently in Possibilistic Defeasible Logic Programming. C. Chesñevar and G. Simari and L. Godo, LNAI Springer Series Vol. 3662 (8th Intl. Conf. on Logic Programming and Nonmonotonic Reasoning LPNMR 2005, Eds. pp. 158171.
A Logic Programming Framework for Possibilistic Argumentation with Vague Knowledge. C. Chesñevar and G. Simari and T. Alsinet and L. Godo, Proc. Intl. Conf. in Uncertainty in Artificial Intelligence (UAI 2004). Banff, Canada, pp. 7684.
