Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification

Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the treatment of possibilistic uncertainty at the object-language level. In spite of its expressive power, an important limitation in P-DeLP is that imprecise, fuzzy information cannot be expressed in the object language. One interesting alternative for solving this limitation is the use of PGL+, a possibilistic logic over Gödel logic extended with fuzzy constants. Fuzzy constants in PGL+ allow expressing disjunctive information about the unknown value of a variable, in the sense of a magnitude, modelled as a (unary) predicate. The aim of this article is twofold: firstly, we formalize DePGL+, a possibilistic defeasible logic programming language that extends P-DeLP through the use of PGL+ in order to incorporate fuzzy constants and a fuzzy unification mechanism for them. Secondly, we propose a way to handle conflicting arguments in the context of the extended framework.

A logic programming framework for possibilistic argumentation: formalization and logical properties

In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has shown to be particularly useful for developing different argument-based frameworks on the basis of different variants of logic programming which incorporate defeasible rules. Most of such frameworks, however, are unable to deal with explicit uncertainty, nor with vague knowledge, as defeasibility is directly encoded in the object language. This paper presents Possibilistic Logic Programming (P-DeLP), a new logic programming language which combines features from argumentation theory and logic programming, incorporating as well the treatment of possibilistic uncertainty. Such features are formalized on the basis of PGL, a possibilistic logic based on G¨odel fuzzy logic. One of the applications of P-DeLP is providing an intelligent agent with non-monotonic, argumentative inference capabilities. In this paper we also provide a better understanding of such capabilities by defining two non-monotonic operators which model the expansion of a given program P by adding new weighed facts associated with argument conclusions and warranted literals, respectively. Different logical properties for the proposed operators are studied

A Virtual Laboratory Structure for Developing Programming Labs

Virtual Laboratories are an indispensablespace for developing practical activities in a Virtual Environment. In the field of Computer and Software Engineering different types of practical activities have tobe performed in order to obtain basic competences which are impossible to achieve by other means. This paper specifies an ontology for a general virtual laboratory.The proposed ontology provides a mechanism to select the best resources needed in a Virtual Laboratory once a specific practical activity has been defined and the maincompetences that students have to achieve in the learning process have been fixed. Furthermore, the proposed ontology can be used to develop an automatic and wizardtool that creates a Moodle Classroom using the practical activity specification and the related competences.

Online and Offline Participation at the Local Level : A Quantitative Analysis of the Catalan Municipalities

This paper presents a first analysis on local electronic participatory experiences in Catalonia. The analysis is based on a database constructed and collected by the authors. The paper carries out an explanatory analysis of local initiatives in eparticipationand off line participation taking into account political variables (usually not considered in this kind of analysis) but also classical socio-economic variables that characterise municipalities. Hence, we add a quantitative analysis to the numerous case studies on local e-participation experiences. We have chosen Catalonia because is one of the European regions with more initiatives and one that has enjoyed considerable local governmental support to citizen participation initiatives since the 80s. The paper offers a characterisation of these experiences and a first explanatory analysis, considering: i) the institutional context in which these experiences are embedded, ii) the characteristics of the citizen participation processes and mechanisms on-line, and iii) a set of explanatory variables composed by the population size, thepolitical adscription of the mayor, the electoral abstention rate, age, income and level ofeducation in the municipality. The model that we present is explanatory for the municipalities with more than 20,000 inhabitants but it is not for the fewer than 20,000inhabitants. Actually, the number of participatory activities developed by these last municipalities is very low. Among all the variables, population size becomes the mostinfluential variable. Political variables such as political party of the mayor and the localabstention rate have a certain influence but that have to be controlled by population size.

Online and Offline Participation at the Local level: A Quantitative Analysis of the Catalan Municipalities

This article presents an analysis on local participatory experiences in Catalonia,both online and in-person. The analysis is based on a database set up by theauthors. The article carries out an explanatory analysis of local participatoryinitiatives (on- and offline) taking into account political variables (not usually con-sidered in this kind of analysis) and also classical socio-economic variables thatcharacterize municipalities. Hence, we add a quantitative analysis to the numerouscase studies on local e-participation experiences. We have chosen Catalonia becauseit is one of the European regions with more initiatives and a considerable localgovernment support for citizen participation initiatives since the 1980s. Thearticle offers a characterization of these experiences and an explanatory analysis,considering: (i) the institutional context in which these experiences are embedded,(ii) the citizen participation processes and mechanisms online and (iii) a set ofexplanatory variables composed of the population size and the province to whichthe municipality belongs, the political tendency of the mayor, the electoral absten-tion rate, age, income, level of education, broadband connection and users of theInternet in the municipality. The model that we present is explanatory for munici-palities with more than 20,000 inhabitants but it is not for fewer than 20,000inhabitants. Actually, the majority of these latter municipalities have not developedany participatory activities. Among all the variables, population size is the mostinfluential variable and affects the influence of other variables, such as the politicalparty of the mayor, the local abstention rate and the province.

Combining Generic Programming and Service-Oriented Architectures for the Effective and Timely Development of Complex e-Learning Systems

Peer-reviewed

Programming and analysing measurement experiments using the PicoCricket system

The aim of this project is to get used to another kind of programming. Since now, I used very complex programming languages to develop applications or even to program microcontrollers, but PicoCricket system is the evidence that we don’t need so complex development tools to get functional devices. PicoCricket system is the clear example of simple programming to make devices work the way we programmed it. There’s an easy but effective way to programs mall devices just saying what we want them to do. We cannot do complex algorithms and mathematical operations but we can program them in a short time. Nowadays, the easier and faster we produce, the more we earn. So the tendency is to develop fast, cheap and easy, and PicoCricket system can do it.