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

El desenvolupament de la morfologia verbal: l'imperfet nord-occidental en la producció infantil

L'objectiu d'aquest article és contribuir a l'estudi de la morfologia verbal catalana, en aquest cas amb dades relatives a la varietat nord-occidental. Les formes que forneixen la part descriptiva corresponen a mostres de producció oral obtingudes en informants de 3 -4, 6- 7 i 11- 12 anys, la qual cosa signi ca una descripció morfològica del període de desenvolupament lingüístic del nen. Pel que fa a la interpretació dels resultats es proposa una perspectiva d'anàlisi que inclou tant les consideracions que tenen a veure amb aspectes interns del llenguatge com amb els de caràcter extern.

La reflexió metalingüística en el treball de grup

En aquest article s'analitzen quatre factors que poden incidir en el desenvolupament i el resultats de les tasques de reflexió metalingüística quan es realitzen en grup: tipus de tasca, formes d'interacci ó del grup, condici ó de monolingüe o bilingüe dels participants i llengua objecte de reflexió. Les dades analitzades provenen de la gravació i transcripci ó d'un seguit de sessions de treball en grup en les quals es proposava a nois i noies de secundària (14-15 anys) diferents tasques de tipus metalingüístic. Com a complement de l'an àlisi dels quatre factors esmentats, l'article tamb e inclou un apartat on es compara el proc és de reflexió que segueixen els estudiants de secundària amb el procés que segueixen alumnes del Curs d'Aptitud Pedag ògica (CAP).

Modelització i simulació de processos dinàmics en xarxes complexes adaptatives

El 1736, Leonhard Euler va ser pioner en l'estudi de la teoria de grafs, i des de llavorsmúltiples autors com Kirchoff, Seymour, etc. continuaren amb l'estudi de la teoria i topologiade grafs. La teoria de xarxes, part de la teoria de grafs, també ha estat estudiada abastament.D'altra banda, la dinàmica de xarxes fou popularitzada per Dan Gillespie el 1977, en el qual proposà un algorisme que permet la simulació discreta i estocàstica d'un sistema de partícules, el qual és la base del treball ja que serveix per dur a terme les simulacions de processos sobre les xarxes complexes. El camp de l'anàlisi de la dinàmica de xarxes, de fet, és un campemergent en l'actualitat; comprèn tant l'anàlisi estadística com la utilització de simulacions persolucionar problemes de la mateixa dinàmica.Les xarxes complexes (xarxes de característiques complexes, sovint xarxes reals) també sónobjecte d'estudi de l'actualitat, sobretot a causa de l'aparició de les xarxes socials. S'han convertiten un paradigma per l'estudi de processos dinàmics en sistemes formats per molts componentsque interactuen entre si de manera molt homogèniaL'objectiu del treball és triple:1. Estudiar i entendre els conceptes bàsics i la topologia de les xarxes complexes, així comdiferents tipus de dinàmiques de processos sobre elles.2. Programar un simulador estocàstic en llenguatge C++ capaç de generar trajectòries mitjantçant l'algorisme de Gillespie tant pel model epidèmic com pel model de dinàmicad'enllaços amb reconnexió.3. Utilitzar el simulador tant per estudiar casos que ja han estat tractats en la literatura comcasos nous que no han estat tractats i que poden ser assimilables a xarxes reals com, perexemple, xarxes socials