A logic of argumentation for specification and verification of abstract argumentation frameworks

In this paper, we propose a logic of argumentation for the specification and verification (LA4SV) of requirements on Dung??s abstract argumentation frameworks. We distinguish three kinds of decision problems for argumentation verification, called extension verification, framework verification, and specification verification respectively. For example, given a political requirement like ??if the argument to increase taxes is accepted, then the argument to increase services must be accepted too,?? we can either verify an extension of acceptable arguments, or all extensions of an argumentation framework, or all extensions of all argumentation frameworks satisfying a framework specification. We introduce the logic of argumentation verification to specify such requirements, and we represent the three verification problems of argumentation as model checking and theorem proving properties of the logic. Moreover, we recast the logic of argumentation verification in a modal framework, in order to express multiple extensions, and properties like transitivity and reflexivity of the attack relation. Finally, we introduce a logic of meta-argumentation where abstract argumentation is used to reason about abstract argumentation itself. We define the logic of meta-argumentation using the fibring methodology in such a way to represent attack relations not only among arguments but also among attacks. We show how to use this logic to verify the requirements of argumentation frameworks where higher-order attacks are allowed [A preliminary version of the logic of argumentation compliance was called the logic of abstract argumentation?(2005).]     

The ANNS approach to DEM reconstruction

This research has 6 fundamental aims: (i) to present a modified version of Taylor's interpolation, one that is more effective and faster than the original; (ii) outline the capability of artificial neural networks (ANNs) to perform an optimal functional approximation of the digital elevation model reconstruction from a satellite map, using a small and independent sample of Global Positioning System observations; (iii) demonstrate experimentally how ANNs outperform the traditional and most used algorithm for the height interpolation (Taylor's interpolation); (iv) introduce a new ANN, the Conic Net, able to outperform the results of the classic and more known multilayer perceptron; (v) determine that Conic Nets, even when using Taylor's modified interpolation as input features, are able to optimally approximate the heights with one order of magnitude more than the original satellite map; and (vi) make evident the possibility to interpolate the DEM heights through an ANN, which learns a data set of known points.     

Biocatalyzed Synthesis and Structural Characterization of Monoglucuronides of Hydroxytyrosol,Tyrosol, Homovanillic Alcohol,and 3‐(4′‐Hydroxyphenyl)propanol

The biocatalytic synthesis and purification of O‐β‐D ‐monoglucuronide conjugates of hydroxytyrosol, tyrosol, homovanillic alcohol, and 3‐(4′‐hydroxyphenyl)propanol, using porcine liver microsomes, are described here. The glucuronides were synthesized, analyzed and separated by HPLC‐UV, identified by HPLC‐MS, and their structures unequivocally established by NMR techniques. The outcome of the glucuronidation reaction depends on the structure of the phenolic compounds. Thus, the glucuronidation of hydroxytyrosol, biocatalyzed with porcine liver microsomes, proceeded exclusively on the phenolic hydroxy groups. The regioselectivity was similar to that observed for human and rat liver microsomes, the 4′‐hydroxy position being more favorable than the 3′‐hydroxy one. In the case of tyrosol, homovanillic alcohol, and hydroxyphenylpropanol, two products were formed during microsomal glucuronidation: a major one, the phenolic O‐β‐D ‐glucuronidated derivative and, a minor one, the O‐β‐D ‐glucuronidated aliphatic alcohol.     

Commitments and interaction norms in organisations

In an organisational setting such as an online marketplace, an entity called the ‘organisation’ or ‘institution’ defines interaction protocols, monitors agent interaction, and intervenes to enforce the interaction protocols. The organisation might be a software system that thus regulates the marketplace, for example. In this article we abstract over application-specific protocols and consider commitment lifecycles as generic interaction protocols. We model interaction protocols by explicitly-represented norms, such that we can operationalise the enforcement of protocols by means of norm enforcement, and we can analyse the protocols by a logical analysis of the norms. We adopt insights and methods from commitment-based approaches to agent interaction as well as from norm-based approaches to agent behaviour governance. First, we show how to use explicitly-represented norms to model commitment dynamics (lifecycles). Second, we introduce an operational semantics to operationalise norm enforcement. Third, we show how to logically analyse interaction protocols by means of commitment dynamics and norm enforcement. The model, semantics, and analysis are illustrated by a running example from a vehicle insurance domain.     

FMAP: Distributed cooperative multi-agent planning

This paper proposes FMAP (Forward Multi-Agent Planning), a fully-distributed multi-agent planning method that integrates planning and coordination. Although FMAP is specifically aimed at solving problems that require cooperation among agents, the flexibility of the domain-independent planning model allows FMAP to tackle multi-agent planning tasks of any type. In FMAP, agents jointly explore the plan space by building up refinement plans through a complete and flexible forward-chaining partial-order planner. The search is guided by h _{D T G} , a novel heuristic function that is based on the concepts of Domain Transition Graph and frontier state and is optimized to evaluate plans in distributed environments. Agents in FMAP apply an advanced privacy model that allows them to adequately keep private information while communicating only the data of the refinement plans that is relevant to each of the participating agents. Experimental results show that FMAP is a general-purpose approach that efficiently solves tightly-coupled domains that have specialized agents and cooperative goals as well as loosely-coupled problems. Specifically, the empirical evaluation shows that FMAP outperforms current MAP systems at solving complex planning tasks that are adapted from the International Planning Competition benchmarks.     

On the Effect of Reduction and Ageing on the TWC Activity of Pt/Ce0.68Zr0.32O2 under Simulated Automotive Exhausts

The three-way activity under complex feed-streams of a series of Pt/Ce_0.68Zr_0.32O₂ catalysts, either fresh or submitted to different ageing treatments, both before and after reduction, has been studied and related to the species present on the catalysts in view of their characteristics and TPR behaviour.     

Screening of Fe–Cu-Zeolites Prepared by Different Methodology for Application in NSR–SCR Combined DeNOx Systems

The NO_x NH₃-SCR performance of several Cu and Fe catalysts supported on BETA and ZSM-5 zeolites has been studied in single SCR and double NSR–SCR configuration, and the activity related to the nature and reducibility of metal species on the catalyst surface. Intermediate ammonia formed in NSR improved greatly NO_x conversion at the exit of the double NSR–SCR configuration, which was practically totally converted to N₂.     

Exploring the unique pharmacology of a novel opioid receptor, ZFOR1, using molecular modeling and the `message-address' concept

Previous studies have probed the structural basis of ligandselectivity in the mu, delta and kappa opioid receptors throughthe application of molecular modeling techniques in concertwith the `message–address' concept. Here, this approachwas used in an attempt to rationalize the unique pharmacologicalprofile of a recently cloned novel opioid receptor, ZFOR1 (ZebraFishOpioid Receptor 1). Specifically, a model of the transmembranedomains of ZFOR1 was constructed and used to explore the bindingmodes of various prototypical opioid ligands. The results showthat the `message' portion of the binding pocket of ZFOR1 ishighly conserved; hence, the binding modes of non-selectiveopioid ligands are well preserved. In contrast, a small numberof variant residues at the extracellular end of the bindingpocket, particularly Lys288 (VI:26) and Trp304 (VII:03), areshown to create adverse steric interactions with all delta andkappa selective ligands examined, thereby disrupting their bindingmodes. These results are consistent with, and serve as an explanationfor, the observed pharmacology of this receptor, lending supportto both the validity of the `message–address' conceptitself and to the use of molecular modeling approaches in itsapplication.     

Effects of dietary fiber and phytic acid on mineral availability.

In general, it has been shown that dietary fiber may bind metallic cations in both in vitro and in vivo studies. However, there clearly are many unresolved questions on the effects of high-fiber diets on mineral availability. On one side, the effects of fiber on the utilization of nutrients vary greatly with the amount and type of fiber. In addition, there are many agents in both food and the digestive tract that may affect the mineral binding to fiber: some agents may inhibit binding, while others will enhance it. Also, there are several major difficulties in drawing conclusions from the in vitro and in vivo studies due to the different experimental conditions, methods used to follow the mineral balance, etc. Finally, it must be borne in mind that fiber and phytic acid occur together in fiber-rich diets and, thus, it is difficult to separate the effects of fiber and phytate in the utilization of most essential polyvalent metallic ions. The studies summarized in this review show that the recommendation for increasing dietary fiber in Western communities would not be expected to have any adverse effect on mineral absorption if we increase not only the intake of fiber, but also the dietary intake of other food components such as protein (both vegetable and animal protein) and ascorbic, citric, and oxalic acids (in fruits and vegetables). The adequate intake of minerals, fat, and simple sugars are maintained with this type of diet. The recommendations should be best interpreted in such a way as to prevent the consumption of excessive amounts of phytate, particularly for those whose mineral needs are great. Further studies are still needed in this field in order to understand the conflicting results published in the literature regarding the effects of fiber on the utilization of minerals; however, the studies reviewed in this article may give us an idea of the complexity of mineral availability in fiber-rich, phytate-rich diets.