A Fuzzy Syllogistic Reasoning Schema for Generalized Quantifiers

In this paper, a new approximate syllogistic reasoning schema is described that expands some of the approaches expounded in the literature into two ways: (i) a number of different types of quantifiers (logical, absolute, proportional, comparative and exception) taken from Theory of Generalized Quantifiers and similarity quantifiers, taken from statistics, are considered and (ii) any number of premises can be taken into account within the reasoning process. Furthermore, a systematic reasoning procedure to solve the syllogism is also proposed, interpreting it as an equivalent mathematical optimization problem, where the premises constitute the constraints of the searching space for the quantifier in the conclusion.Comment: 22 pages, 6 figures, journal pape

New trends in content and design at the Spanish cybermedia

In the last years, the cybermedia and the Internet itself have marked as medium and support of communication. Nevertheless, constant technologic evolution, the training of the newsroom people and the absence of a clear definition of the business model make continuous modifications in the final structure of the new media environment. This communication focuses in four important aspects: the hypertext –as a basis and essence of the Internet and the cybermedia as well–, the information architecture –as a managing system for big amounts of content–, the journalistic genres –as the main expression of the journalistic work–, and the design –the final layout of the product and, at the same time, the content access interface–. All these issues are continuously subjected to changes. In this paper, starting from the four axis mentioned before, we present an overview of the evolution of cybermedia in Spain and we suggest a perspective about the current situation of the sector

On the incorporation of interval-valued fuzzy sets into the Bousi-Prolog system: declarative semantics, implementation and applications

In this paper we analyse the benefits of incorporating interval-valued fuzzy sets into the Bousi-Prolog system. A syntax, declarative semantics and im- plementation for this extension is presented and formalised. We show, by using potential applications, that fuzzy logic programming frameworks enhanced with them can correctly work together with lexical resources and ontologies in order to improve their capabilities for knowledge representation and reasoning

Prospects for practice-based philosophy of logic

We explore prospects for practice-based approaches to logical theory, in particular the link between classical and intuitionistic logic and the inferential structure of traditional practices of representation & argument in science and mathematics. After discussing some key notions about practice, we outline the connection between representation practices and classical logic, and then consider a spectrum of actual practices followed or proposed by (real) scientists. Intuitionistic logic helps to clarify the potential of practice-based approaches for understanding pluralism, and to hammer some key points about the general thesis.Ministerio de Economía y Competitividad FFI2009-1002

Tratamiento multimodal de contextos

We take as starting point the context logic studied in (Grossi, Meyer, and Dignum 2008) and (Aucher et al. 2009), which was concerned with the development of a dynamic logic of rules. Here we focus on issues of Formal Epistemology and omit the addition of deontic operators.We define some basic logics that are useful for the study of epistemic actions such as expanding, contracting or revising a theory taking into account different kinds of inferential results

Creating an Index to Calculate the Level of Convergence of a Medium

Since the end of 1990's, media are undergoing great changes brought by digital technology, with the objective to optimize resources and enrich contents. The concept of convergence has a relevant significance in this process. We see the convergence as an integrating process of traditional separated media outlets and modes of communication that affect business, technology, professionals, and audiences at all stages of production, delivery, and consumption of contents of any kind (information, entertainment, and advertising). This paper provides a methodological tool for calculating an index over which reflects the level of convergence of a medium. This proposal, fruit of the work of a collective research project -which is currently carried out by a numerous group of Spanish scholars with public funding (see for details our website _www.infotendencias.com/objetivos_)-, is based on the following variables: relationships among newsrooms, media polyvalence, type of collaboration on contents development, and type of contents delivery

Abducción y semántica de teoría de juegos

An agency-inspired inferential game is proposed in which two agents (abductive and deductive) interact. It depicts hybrid inferencial contexts where deductive and abductive steps are mixed. The abductive agent can use results obtained by the deductive one but not vice versa due to the abductive process do not always generate deductive valid formulas.