1. |
- Arndt, D. S., et al.
(författare)
-
State of the Climate in 2016
- 2017
-
Ingår i: Bulletin of The American Meteorological Society - (BAMS). - 0003-0007 .- 1520-0477. ; 98:8, s. S1-S280
-
Tidskriftsartikel (refereegranskat)abstract
- In 2016, the dominant greenhouse gases released into Earth's atmosphere-carbon dioxide, methane, and nitrous oxide-continued to increase and reach new record highs. The 3.5 +/- 0.1 ppm rise in global annual mean carbon dioxide from 2015 to 2016 was the largest annual increase observed in the 58-year measurement record. The annual global average carbon dioxide concentration at Earth's surface surpassed 400 ppm (402.9 +/- 0.1 ppm) for the first time in the modern atmospheric measurement record and in ice core records dating back as far as 800000 years. One of the strongest El Nino events since at least 1950 dissipated in spring, and a weak La Nina evolved later in the year. Owing at least in part to the combination of El Nino conditions early in the year and a long-term upward trend, Earth's surface observed record warmth for a third consecutive year, albeit by a much slimmer margin than by which that record was set in 2015. Above Earth's surface, the annual lower troposphere temperature was record high according to all datasets analyzed, while the lower stratospheric temperature was record low according to most of the in situ and satellite datasets. Several countries, including Mexico and India, reported record high annual temperatures while many others observed near-record highs. A week-long heat wave at the end of April over the northern and eastern Indian peninsula, with temperatures surpassing 44 degrees C, contributed to a water crisis for 330 million people and to 300 fatalities. In the Arctic the 2016 land surface temperature was 2.0 degrees C above the 1981-2010 average, breaking the previous record of 2007, 2011, and 2015 by 0.8 degrees C, representing a 3.5 degrees C increase since the record began in 1900. The increasing temperatures have led to decreasing Arctic sea ice extent and thickness. On 24 March, the sea ice extent at the end of the growth season saw its lowest maximum in the 37-year satellite record, tying with 2015 at 7.2% below the 1981-2010 average. The September 2016 Arctic sea ice minimum extent tied with 2007 for the second lowest value on record, 33% lower than the 1981-2010 average. Arctic sea ice cover remains relatively young and thin, making it vulnerable to continued extensive melt. The mass of the Greenland Ice Sheet, which has the capacity to contribute similar to 7 m to sea level rise, reached a record low value. The onset of its surface melt was the second earliest, after 2012, in the 37-year satellite record. Sea surface temperature was record high at the global scale, surpassing the previous record of 2015 by about 0.01 degrees C. The global sea surface temperature trend for the 21st century-to-date of +0.162 degrees C decade(-1) is much higher than the longer term 1950-2016 trend of +0.100 degrees C decade(-1). Global annual mean sea level also reached a new record high, marking the sixth consecutive year of increase. Global annual ocean heat content saw a slight drop compared to the record high in 2015. Alpine glacier retreat continued around the globe, and preliminary data indicate that 2016 is the 37th consecutive year of negative annual mass balance. Across the Northern Hemisphere, snow cover for each month from February to June was among its four least extensive in the 47-year satellite record. Continuing a pattern below the surface, record high temperatures at 20-m depth were measured at all permafrost observatories on the North Slope of Alaska and at the Canadian observatory on northernmost Ellesmere Island. In the Antarctic, record low monthly surface pressures were broken at many stations, with the southern annular mode setting record high index values in March and June. Monthly high surface pressure records for August and November were set at several stations. During this period, record low daily and monthly sea ice extents were observed, with the November mean sea ice extent more than 5 standard deviations below the 1981-2010 average. These record low sea ice values contrast sharply with the record high values observed during 2012-14. Over the region, springtime Antarctic stratospheric ozone depletion was less severe relative to the 1991-2006 average, but ozone levels were still low compared to pre-1990 levels. Closer to the equator, 93 named tropical storms were observed during 2016, above the 1981-2010 average of 82, but fewer than the 101 storms recorded in 2015. Three basins-the North Atlantic, and eastern and western North Pacific-experienced above-normal activity in 2016. The Australian basin recorded its least active season since the beginning of the satellite era in 1970. Overall, four tropical cyclones reached the Saffir-Simpson category 5 intensity level. The strong El Nino at the beginning of the year that transitioned to a weak La Nina contributed to enhanced precipitation variability around the world. Wet conditions were observed throughout the year across southern South America, causing repeated heavy flooding in Argentina, Paraguay, and Uruguay. Wetter-than-usual conditions were also observed for eastern Europe and central Asia, alleviating the drought conditions of 2014 and 2015 in southern Russia. In the United States, California had its first wetter-than-average year since 2012, after being plagued by drought for several years. Even so, the area covered by drought in 2016 at the global scale was among the largest in the post-1950 record. For each month, at least 12% of land surfaces experienced severe drought conditions or worse, the longest such stretch in the record. In northeastern Brazil, drought conditions were observed for the fifth consecutive year, making this the longest drought on record in the region. Dry conditions were also observed in western Bolivia and Peru; it was Bolivia's worst drought in the past 25 years. In May, with abnormally warm and dry conditions already prevailing over western Canada for about a year, the human-induced Fort McMurray wildfire burned nearly 590000 hectares and became the costliest disaster in Canadian history, with $3 billion (U.S. dollars) in insured losses.
|
|
2. |
|
|
3. |
- Arévalo-Lopéz, Diandra, et al.
(författare)
-
Leishmanicidal and cytotoxic activity from plants used in Tacana traditional medicine (Bolivia)
- 2018
-
Ingår i: Journal of Ethnopharmacology. - : Elsevier BV. - 0378-8741. ; 216, s. 120-133
-
Tidskriftsartikel (refereegranskat)abstract
- Etnopharmacological relevance: Thirty-eight Tacana medicinal plant species used to treat skin problems, including leishmania ulcers, skin infections, inflammation and wound healing, were collected in the community of Buena Vista, Bolivia, with the Tacana people. Twenty two species are documented for the first time as medicinal plants for this ethnic group living in the northern area of the Department of La Paz. Aim of the study: To evaluate the leishmanicidal effect (IC50) and cytotoxicity (LD50) of the selected plants. To carry out bioguided studies on the active extracts. To assess the potential of Bolivian plant biodiversity associated with traditional knowledge in the discovery of alternative sources to fight leishmaniasis. Materials and methods: Seventy three ethanol extracts were prepared from 38 species by maceration and were evaluated in vitro against promastigotes of Leishmania amazonensis and L. braziliensis. Active extracts (IC50 ≤ 50 μg/mL) were fractionated by chromatography on Silica gel column and the fractions were assessed against the two Leishmania strains. The most active fractions and the crude extracts were evaluated against reference strains of L. amazonensis, L. braziliensis, L. aethiopica, two native strains (L. Lainsoni and L. braziliensis) and for cytotoxicity against HeLa cells. The chromatographic profile of the active fractions was obtained by reverse phase chromatography using HPLC. Results: From the 73 extracts, 39 extracts (53.4%) were inactive and 34 showed activity. Thirteen species were sselected for bioguided studies. The crude extracts and their 36 fractions were evaluated against two Leishmania strains. The most active fraction were tested in a panel of five leishmania strains and for cytotoxicity. The Selective Index (SI = LD50/IC50) was calculated, and were generally low. Retention time and UV spectra were recorded for the active fractions by HPLC-DAD using a reverse phase column. Profiles were very different from each other, showing the presence of different compounds. Conclusion: Bolivian traditional knowledge from the Tacanba was useful to identify plants with effect on Leishmania promastigotes. Chromatographic bioguided studies showed stronger leishmanicidal and cytotoxic activity for the medium polar fraction. HPLC analysis showed different chromatographic profiles of the active fractions.
|
|
4. |
- Arndt, D. S., et al.
(författare)
-
STATE OF THE CLIMATE IN 2017
- 2018
-
Ingår i: Bulletin of The American Meteorological Society - (BAMS). - : American Meteorological Society. - 0003-0007 .- 1520-0477. ; 99:8, s. S1-S310
-
Forskningsöversikt (refereegranskat)
|
|
5. |
- Beal, Jacob, et al.
(författare)
-
Robust estimation of bacterial cell count from optical density
- 2020
-
Ingår i: Communications Biology. - : Springer Science and Business Media LLC. - 2399-3642. ; 3:1
-
Tidskriftsartikel (refereegranskat)abstract
- Optical density (OD) is widely used to estimate the density of cells in liquid culture, but cannot be compared between instruments without a standardized calibration protocol and is challenging to relate to actual cell count. We address this with an interlaboratory study comparing three simple, low-cost, and highly accessible OD calibration protocols across 244 laboratories, applied to eight strains of constitutive GFP-expressing E. coli. Based on our results, we recommend calibrating OD to estimated cell count using serial dilution of silica microspheres, which produces highly precise calibration (95.5% of residuals <1.2-fold), is easily assessed for quality control, also assesses instrument effective linear range, and can be combined with fluorescence calibration to obtain units of Molecules of Equivalent Fluorescein (MEFL) per cell, allowing direct comparison and data fusion with flow cytometry measurements: in our study, fluorescence per cell measurements showed only a 1.07-fold mean difference between plate reader and flow cytometry data.
|
|
6. |
- Carleo, Ilaria, et al.
(författare)
-
The Multiplanet System TOI-421*
- 2020
-
Ingår i: Astronomical Journal. - : American Astronomical Society. - 1538-3881 .- 0004-6256. ; 160:3
-
Tidskriftsartikel (refereegranskat)abstract
- We report the discovery of a warm Neptune and a hot sub-Neptune transiting TOI-421 (BD-14 1137, TIC 94986319), a bright (V = 9.9) G9 dwarf star in a visual binary system observed by the Transiting Exoplanet Survey Satellite (TESS) space mission in Sectors 5 and 6. We performed ground-based follow-up observations-comprised of Las Cumbres Observatory Global Telescope transit photometry, NIRC2 adaptive optics imaging, and FIbre-fed Echelle Spectrograph, CORALIE, High Accuracy Radial velocity Planet Searcher, High Resolution echelle Spectrometer, and Planet Finder Spectrograph high-precision Doppler measurements-and confirmed the planetary nature of the 16 day transiting candidate announced by the TESS team. We discovered an additional radial velocity signal with a period of five days induced by the presence of a second planet in the system, which we also found to transit its host star. We found that the inner mini-Neptune, TOI-421 b, has an orbital period of P-b = 5.19672 +/- 0.00049 days, a mass of M-b = 7.17 +/- 0.66 M-circle plus, and a radius of R-b = R-circle plus, whereas the outer warm Neptune, TOI-421 c, has a period of P-c = 16.06819 +/- 0.00035 days, a mass of M-c = 16.42(-1.04)(+1.06)M(circle plus), a radius of R-c = 5.09(-0.15)(+0.16)R(circle plus), and a density of rho(c) = 0.685(-0.072)(+0.080) cm(-3). With its characteristics, the outer planet (rho(c) = 0.685(-0.0072)(+0.080) cm(-3)) is placed in the intriguing class of the super-puffy mini-Neptunes. TOI-421 b and TOI-421 c are found to be well-suited for atmospheric characterization. Our atmospheric simulations predict significant Ly alpha transit absorption, due to strong hydrogen escape in both planets, as well as the presence of detectable CH4 in the atmosphere of TOI-421 c if equilibrium chemistry is assumed.
|
|
7. |
- Espinoza, Angelina, et al.
(författare)
-
Supporting Business Workflows in Smart Grids : An Intelligent Nodes-Based Approach
- 2013
-
Ingår i: IEEE Transactions on Industrial Informatics. - USA : IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC. - 1551-3203 .- 1941-0050. ; 9:3, s. 1384-1397
-
Tidskriftsartikel (refereegranskat)abstract
- This paper presents an application of business intelligence (BI) for electricity management systems in the context of the Smart Grid domain. Combining semantic web technologies (SWT) and elements of grid computing (GC), we have designed a distributed architecture of intelligent nodes, which are called power grid distributed nodes (PGDINs). This distributed architecture supports the majority of the grid management activities in an intelligent and collaborative way by means of distributed processing of semantic data. A node collaborative scheme is defined based on logical states that each node presents according to the events occurring in the grid. A specific BPEL business-workflow is formally defined for each logical state, based on the node's knowledge base (an electrical model) and the distributed data. The introduced core workflows allow the potential grid behavior to be predefined when a business requirement is triggered. Thus, this approach supports the grid to react and reach over again a stable state, which is defined as a working state that facilitates the provision of the required business tasks. We have validated our approach with the simulation of a well-known use case, the energy balancing verification, fed with real data from the Spanish electrical grid.
|
|
8. |
- Gao, Yu, et al.
(författare)
-
SOCS3 Expression by Thymic Stromal Cells Is Required for Normal T Cell Development
- 2021
-
Ingår i: Frontiers in Immunology. - : Frontiers Media SA. - 1664-3224. ; 12
-
Tidskriftsartikel (refereegranskat)abstract
- The suppressor of cytokine signaling 3 (SOCS3) is a major regulator of immune responses and inflammation as it negatively regulates cytokine signaling. Here, the role of SOCS3 in thymic T cell formation was studied in Socs3fl/fl Actin-creER mice (Δsocs3) with a tamoxifen inducible and ubiquitous Socs3 deficiency. Δsocs3 thymi showed a 90% loss of cellularity and altered cortico-medullary organization. Thymocyte differentiation and proliferation was impaired at the early double negative (CD4-CD8-) cell stage and apoptosis was increased during the double positive (CD4+CD8+) cell stage, resulting in the reduction of recent thymic emigrants in peripheral organs. Using bone marrow chimeras, transplanting thymic organoids and using mice deficient of SOCS3 in thymocytes we found that expression in thymic stromal cells rather than in thymocytes was critical for T cell development. We found that SOCS3 in thymic epithelial cells (TECs) binds to the E3 ubiquitin ligase TRIM 21 and that Trim21−/− mice showed increased thymic cellularity. Δsocs3 TECs showed alterations in the expression of genes involved in positive and negative selection and lympho-stromal interactions. SOCS3-dependent signal inhibition of the common gp130 subunit of the IL-6 receptor family was redundant for T cell formation. Together, SOCS3 expression in thymic stroma cells is critical for T cell development and for maintenance of thymus architecture.
|
|
9. |
- García, Patricia, et al.
(författare)
-
Functional and genomic characterization of three novel cell lines derived from a metastatic gallbladder cancer tumor
- 2020
-
Ingår i: Biological Research. - : Springer Science and Business Media LLC. - 0716-9760 .- 0717-6287. ; 53
-
Tidskriftsartikel (refereegranskat)abstract
- © 2020 The Author(s). Background: Gallbladder cancer (GBC) is the most common tumor of the biliary tract. The incidence of GBC shows a large geographic variability, being particularly frequent in Native American populations. In Chile, GBC represents the second cause of cancer-related death among women. We describe here the establishment of three novel cell lines derived from the ascitic fluid of a Chilean GBC patient, who presented 46% European, 36% Mapuche, 12% Aymara and 6% African ancestry. Results: After immunocytochemical staining of the primary cell culture, we isolated and comprehensively characterized three independent clones (PUC-GBC1, PUC-GBC2 and PUC-GBC3) by short tandem repeat DNA profiling and RNA sequencing as well as karyotype, doubling time, chemosensitivity, in vitro migration capability and in vivo tumorigenicity assay. Primary culture cells showed high expression of CK7, CK19, CA 19-9, MUC1 and MUC16, and negative expression of mesothelial markers. The three isolated clones displayed an epithelial phenotype and an abnormal structure and number of chromosomes. RNA sequencing confirmed the increased expression of cytokeratin and mucin genes, and also of TP53 and ERBB2 with some differences among the three cells lines, and revealed a novel exonic mutation in NF1. The PUC-GBC3 clone was the most aggressive according to histopathological features and the tumorigenic capacity in NSG mice. Conclusions: The first cell lines established from a Chilean GBC patient represent a new model for studying GBC in patients of Native American descent.
|
|
10. |
- Krisciunas, Kevin, et al.
(författare)
-
The Type Ia supernova 2004s, a clone of SN 2001el, and the optimal photometric bands for extinction estimation
- 2007
-
Ingår i: Astronomical Journal. - : American Astronomical Society. - 0004-6256 .- 1538-3881. ; 133:1, s. 58-72
-
Tidskriftsartikel (refereegranskat)abstract
- We present optical (UBVRI) and near-IR (YJHK) photometry of the normal Type Ia supernova (SN) 2004S. We also present eight optical spectra and one near-IR spectrum of SN 2004S. The light curves and spectra are nearly identical to those of SN 2001el. This is the first time we have seen optical and IR light curves of two Type Ia SNe match so closely. Within the one parameter family of light curves for normal Type Ia SNe, that two objects should have such similar light curves implies that they had identical intrinsic colors and produced similar amounts of Ni-56. From the similarities of the light-curve shapes we obtain a set of extinctions as a function of wavelength that allows a simultaneous solution for the distance modulus difference of the two objects, the difference of the host galaxy extinctions, and RV. Since SN 2001el had roughly an order of magnitude more host galaxy extinction than SN 2004S, the value of R-V = 2.15(-0.22)(+0.24) pertains primarily to dust in the host galaxy of SN 2001el. We have also shown via Monte Carlo simulations that adding rest-frame J-band photometry to the complement of BVRI photometry of Type Ia SNe decreases the uncertainty in the distance modulus by a factor of 2.7. A combination of rest-frame optical and near-IR photometry clearly gives more accurate distances than using rest-frame optical photometry alone.
|
|
11. |
- Mariela, Morveli-Espinoza, et al.
(författare)
-
An Argumentation-based Approach for Identifying and Dealing with Incompatibilities among Procedural Goals
- 2019
-
Ingår i: International Journal of Approximate Reasoning. - : Elsevier. - 0888-613X .- 1873-4731. ; 105, s. 1-26
-
Tidskriftsartikel (refereegranskat)abstract
- During the first step of practical reasoning, i.e. deliberation, an intelligent agent generates a set of pursuable goals and then selects which of them he commits to achieve. An intelligent agent may in general generate multiple pursuable goals, which may be incompatible among them. In this paper, we focus on the definition, identification and resolution of these incompatibilities. The suggested approach considers the three forms of incompatibility introduced by Castelfranchi and Paglieri, namely the terminal incompatibility, the instrumental or resources incompatibility and the superfluity. We characterize computationally these forms of incompatibility by means of arguments that represent the plans that allow an agent to achieve his goals. Thus, the incompatibility among goals is defined based on the conflicts among their plans, which are represented by means of attacks in an argumentation framework. We also work on the problem of goals selection; we propose to use abstract argumentation theory to deal with this problem, i.e. by applying argumentation semantics. We use a modified version of the “cleaner world” scenario in order to illustrate the performance of our proposal.
|
|
12. |
- Mariela, Morveli-Espinoza, et al.
(författare)
-
Measuring the strength of threats, rewards, and appeals in persuasive negotiation dialogues
- 2020
-
Ingår i: Knowledge engineering review (Print). - : Cambridge University Press. - 0269-8889 .- 1469-8005. ; 35, s. 1-27
-
Tidskriftsartikel (refereegranskat)abstract
- The aim of this article is to propose a model for the measurement of the strength of rhetorical arguments (i.e., threats, rewards, and appeals), which are used in persuasive negotiation dialogues when a proponent agent tries to convince his opponent to accept a proposal. Related articles propose a calculation based on the components of the rhetorical arguments, that is, the importance of the goal of the opponent and the certainty level of the beliefs that make up the argument. Our proposed model is based on the pre-conditions of credibility and preferability stated by Guerini and Castelfranchi. Thus, we suggest the use of two new criteria for the strength calculation: the credibility of the proponent and the status of the goal of the opponent in the goal processing cycle. We use three scenarios in order to illustrate our proposal. Besides, the model is empirically evaluated and the results demonstrate that the proposed model is more efficient than previous works of the state of the art in terms of numbers of negotiation cycles, number of exchanged arguments, and number of reached agreements.
|
|
13. |
- Morveli Espinoza, Mariela, et al.
(författare)
-
A gradual semantics with imprecise probabilities for support argumentation frameworks
- 2023
-
Ingår i: NMR 2023. International Workshop on Non-Monotonic Reasoning 2023. - : CEUR-WS. ; , s. 84-93
-
Konferensbidrag (refereegranskat)abstract
- Support Argumentation Frameworks (SAFs) are a type of the Abstract Argumentation Framework, where the interactions between arguments have a positive nature. A quantitative way of evaluating the arguments in a SAF is by applying a gradual semantics, which assigns a numerical value to each argument with the aim of ranking or evaluate them. In the literature,studied gradual semantics determine precise probability values; however, in many applications there is the necessity of imprecise evaluations which consider a range of values for assessing an argument. Thus, the first contribution of this article is an imprecise gradual semantics (IGS) based on credal networks theory. The second contribution is a set of properties for evaluating IGSs, which extend some properties proposed for precise gradual semantics. Besides, we suggest a classification of semantics considering the set of properties and evaluate our proposed IGS according to the extended properties. Finally, the practical application of the results is discussed by using an example from Network Science, i.e, PageRank. We also discuss how gradual semantics benefit PageRank research by allowing to generate contrastive explanations about the scores in a more natural way.
|
|
14. |
- Morveli-Espinoza, Mariela, et al.
(författare)
-
An argumentation-based approach for goal reasoning and explanations generation
- 2023
-
Ingår i: Journal of logic and computation (Print). - : Oxford University Press. - 0955-792X .- 1465-363X. ; 33:5, s. 984-1021
-
Tidskriftsartikel (refereegranskat)abstract
- Explainable Artificial Intelligence systems, including intelligent agents, are expected to explain their internal decisions, behaviors and reasoning that produce their choices to the humans (or to other systems) with which they interact. Given this context, the aim of this article is to introduce a practical reasoning agent framework that supports generation of explanations about the goals the agent committed to. Firstly, we present an argumentation-based formalization for supporting goal reasoning. This is based on the belief-based goal processing model proposed by Castelfranchi and Paglieri, which is a more granular and refined model than the Beliefs–Desires–Intentions model. We focus on the dynamics of goals since they are desires until they become intentions, including the conditions under which a goal can be cancelled. We use formal argumentation reasoning to support the passage of the goals from their initial state until their final state. Secondly, in order that agents based on the proposed formalization be able to generate explanations about the goals they decided to commit to, we endow them with a mechanism for generating both complete and partial explanations. Finally, we use a scenario of rescue robots in order to illustrate the performance of our proposal, for which a simulator was developed to support the agents goal reasoning.
|
|
15. |
- Morveli-Espinoza, Mariela, et al.
(författare)
-
An argumentation-based approach for generating explanations in activity reasoning
- 2023
-
Ingår i: Advances in computational intelligence. - Cham : Springer. - 9783031477645 - 9783031477652 ; , s. 229-240
-
Konferensbidrag (refereegranskat)abstract
- Human-aware Artificial Intelligent systems are goal-directed autonomous systems that are capable of interacting, collaborating, and teaming with humans. Some relevant tasks of these systems are recognizing human’s desires and intentions and exhibiting explicable behavior, giving cogent explanations on demand and engendering trust. This article tackles the problems of reasoning about activities a human is performing and generating explanations about the recognized activities. For the activity reasoning, our approach is divided in two steps: a local selection and a global selection. The former aims to distinguish possible performed activities and the latter aims to determine the status of the recognized activities. For local selection, from a set of observations, a model of the world and the human is constructed in form of hypothetical fragments of activities, which are goal-oriented actions and may be conflicting. Such conflicts indicate that they belongto different activities. In order to deal with conflicts, we base on formal argumentation; thus, we use argumentation semantics for identifying possible different activities from conflicting hypothetical fragments. The result will be consistent sets of hypothetical fragments that are part of an activity or are part of a set of non-conflicting activities. For global selection, we base on the consistent sets of hypothetical fragments to determine if an activity is achieved, partially achieved, or not achieved at all. Besides, we determine the degrees of fulfillment of the recognized activities. Regarding the explanations generation, we generate two types of explanations based on the outputs of the global selection. We apply our proposal to a scenario where a man performs different activities. Finally, we make a theoretical evaluation of the explanation generation.
|
|
16. |
- Morveli-Espinoza, Mariela, et al.
(författare)
-
An Imprecise Probability Approach for Abstract Argumentation Based on Credal Sets
- 2019
-
Ingår i: Symbolic and Quantitative Approaches with Uncertainty. - Cham : Springer. - 9783030297640 - 9783030297657 ; , s. 39-49
-
Konferensbidrag (refereegranskat)abstract
- Some abstract argumentation approaches consider that arguments have a degree of uncertainty, which impacts on the degree of uncertainty of the extensions obtained from an abstract argumentation framework (AAF) under a semantics. In these approaches, both the uncertainty of the arguments and of the extensions are modeled by means of precise probability values. However, in many real life situations the exact probabilities values are unknown and sometimes there is a need for aggregating the probability values of different sources. In this paper, we tackle the problem of calculating the degree of uncertainty of the extensions considering that the probability values of the arguments are imprecise. We use credal sets to model the uncertainty values of arguments and from these credal sets, we calculate the lower and upper bounds of the extensions. We study some properties of the suggested approach and illustrate it with an scenario of decision making.
|
|
17. |
- Morveli-Espinoza, Mariela, et al.
(författare)
-
Dealing with Conflicts between Human Activities: An Argumentation-based Approach
- 2021
-
Ingår i: The AAAI 2021 Workshop on Plan, Activity, and Intent Recognition (PAIR 2021)..
-
Konferensbidrag (övrigt vetenskapligt/konstnärligt)abstract
- Human-aware Artificial Intelligent systems are goal directed autonomous systems that are capable of interacting, collaborating, and teaming with humans. Two relevant tasks of these systems are recognizing human's desires and intentions and providing a proactive and contextual support. This article tackles the problem of recognizing the activities a human is performing and providing support for avoiding possible conflicts that may arise between activities. Our approach is based on formal argumentation, which is an appropriate technique for dealing with conflicts and inconsistencies in a knowledge base. By considering a set of observations, a model of the world and of the human is constructed in form of hypothetical fragments of activities. These hypothetical fragments will be goal-oriented actions and may be conflicting. We formalize three forms of conflicts, namely terminal conflict, resource conflict, and superfluity. To the best of our knowledge, the two last forms of conflicts have not been considered and formalized in the activity recognition context. We consider extension-based argumentation semantics for dealing with conflict between hypothetical fragments. The result of this selection (called local selection) will be consistent sets of hypothetical fragments that are part of an activity or are part of a set of non-conflicting activities. Besides, by considering degrees of fulfillment of activities a selection (called global selection) of hypothetical fragments is defined. Finally, we apply our proposal to a cooking scenario.
|
|
18. |
- Morveli Espinoza, Mariela, et al.
(författare)
-
Dealing with Incompatibilities among Procedural Goals under Uncertainty
- 2019
-
Ingår i: Inteligencia Artificial. Ibero-American Journal of Artificial Intelligence. - : IBERAMIA. - 1137-3601 .- 1988-3064. ; 22:64, s. 47-62
-
Tidskriftsartikel (refereegranskat)abstract
- By considering rational agents, we focus on the problem of selecting goals out of a set of incompatible ones. We consider three forms of incompatibility introduced by Castelfranchi and Paglieri, namely the terminal, the instrumental (or based on resources), and the superfluity. We represent the agent's plans by means of structured arguments whose premises are pervaded with uncertainty. We measure the strength of these arguments in order to determine the set of compatible goals. We propose two novel ways for calculating the strength of these arguments, depending on the kind of incompatibility thatexists between them. The first one is the logical strength value, it is denoted by a three-dimensional vector, which is calculated from a probabilistic interval associated with each argument. The vector represents the precision of the interval, the location of it, and the combination of precision and location. This type of representation and treatment of the strength of a structured argument has not been defined before by the state of the art. The second way for calculating the strength of the argument is based on the cost of the plans (regarding the necessary resources) and the preference of the goals associated with the plans. Considering our novel approach for measuring the strength of structured arguments, we propose a semantics for the selection of plans and goals that is based on Dung's abstract argumentation theory. Finally, we make a theoretical evaluation of our proposal.
|
|
19. |
- Morveli-Espinoza, Mariela, et al.
(författare)
-
Handling temporality in human activity reasoning
- 2022
-
Ingår i: Journal of Intelligent & Fuzzy Systems. - : IOS Press. - 1064-1246 .- 1875-8967. ; 42:5, s. 4387-4398
-
Tidskriftsartikel (refereegranskat)abstract
- Human-aware Artificial Intelligent systems are goal directed autonomous systems that are capable of interacting, collaborating, and teaming with humans. Activity reasoning is a formal reasoning approach that aims to provide common sense reasoning capabilities to these interactive and intelligent systems. This reasoning can be done by considering evidences –which may be conflicting–related to activities a human performs. In this context, it is important to consider the temporality of such evidence in order to distinguish activities and to analyse the relations between activities. Our approach is based on formal argumentation reasoning, specifically, Timed Argumentation Frameworks (TAF), which is an appropriate technique for dealing with inconsistencies in knowledge bases. Our approach involves two steps: local selection and global selection. In the local selection, a model of the world and of the human’s mind is constructed in form of hypothetical fragments of activities (pieces of evidences) by considering a set of observations. These hypothetical fragments have two kinds of relations: a conflict relation and a temporal relation. Based on these relations, the argumentation attack notion is defined. We define two forms of attacks namely the strong and the weak attack. The former has the same characteristics of attacks in TAF whereas for the latter the TAF approach has to be extended. For determining consistent sets of hypothetical fragments, that are part of an activity or are part of a set of non-conflicting activities, extension-based argumentation semantics are applied. In the global selection, the degrees of fulfillment of activities is determined. We study some properties of our approach and apply it to a scenario where a human performs activities with different temporal relations.
|
|
20. |
- Morveli-Espinoza, Mariela, et al.
(författare)
-
Measuring the Strength of Rhetorical Arguments
- 2020
-
Ingår i: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - Cham : Springer. - 9783030664114 ; , s. 415-430
-
Konferensbidrag (refereegranskat)abstract
- Rhetorical arguments are used in negotiation dialogues when a proponent agent tries to persuade his opponent to accept a proposal more readily. When more than one argument is generated, the proponent must compare them in order to select the most adequate for his interests. A way of comparing them is by means of their strength values. Related articles propose a calculation based only on the components of the rhetorical arguments, i.e., the importance of the opponent’s goal and the certainty level of the beliefs that make up the argument. This article aims to propose a model for the measurement of the strength of rhetorical arguments, which is inspired on the pre-conditions of credibility and preferability stated by Guerini and Castelfranchi. Thus, we suggest the use of two new criteria to the strength calculation: the credibility of the proponent and the status of the opponent’s goal in the goal processing cycle. The model is empirically evaluated and the results demonstrate that the proposed model is more efficient than previous works of the state of the art in terms of number of exchanged arguments and number of reached agreements.
|
|
21. |
- Morveli-Espinoza, Mariela, et al.
(författare)
-
Probabilistic causal bipolar abstract argumentation : an approach based on credal networks
- 2023
-
Ingår i: Annals of Mathematics and Artificial Intelligence. - : Springer. - 1012-2443 .- 1573-7470. ; 91:4, s. 517-536
-
Tidskriftsartikel (refereegranskat)abstract
- The Bipolar Argumentation Framework approach is an extension of the Abstract Argumentation Framework. A Bipolar Argumentation Framework considers a support interaction between arguments, besides the attack interaction. As in the Abstract Argumentation Framework, some researches consider that arguments have a degree of uncertainty, which impacts on the degree of uncertainty of the extensions obtained from a Bipolar Argumentation Framework under a semantics. In these approaches, both the uncertainty of the arguments and of the extensions are modeled by means of precise probability values. However, in many real application domains there is a need for aggregating probability values from different sources so it is not suitable to aggregate such probability values in a unique probability distribution. To tackle this challenge, we use credal networks theory for modelling the uncertainty of the degree of belief of arguments in a BAF. We also propose an algorithm for calculating the degree of uncertainty of the extensions inferred by a given argumentation semantics. Moreover, we introduce the idea of modelling the support relation as a causal relation. We formally show that the introduced approach is sound and complete w.r.t the credal networks theory.
|
|
22. |
- Morveli-Espinoza, Mariela, et al.
(författare)
-
Resolving Incompatibilities among Procedural Goals under Uncertainty
- 2018
-
Konferensbidrag (refereegranskat)abstract
- By considering rational agents, we focus on the problem of selecting goals out of a set of incompatible ones. We consider two forms of incompatibility introduced by Castelfranchi and Paglieri, namely the terminal and the superfluity. We represent the agent’s plans by means of structured arguments whose premises are pervaded with uncertainty. We measure the strength of such arguments in order to determine the set of compatible goals. In this settings, we represent a novel strength value defined by a three-dimensional vector determined from a probabilistic interval associated with each argument. The vector represents the precision of the interval, the location of it, and the combination of precision and location. This type of representation and treatment of the strength of a structured argument has not been defined before by the state of the art. Considering our novel approach for measuring the strength of structured arguments, we propose a semantics for the selection of plans and goals that is based on Dung’s abstract argumentation theory.
|
|
23. |
- Morveli Espinoza, Mariela, et al.
(författare)
-
Resolving Incompatibilities between Procedural Goals: An Argumentation-based Approach
- 2018
-
Konferensbidrag (refereegranskat)abstract
- During the deliberation phase in practical reasoning, an intelligent agent generates a set of pursuable goals (or desires) and then selects which of them he commits to achieve (intentions). When several pursuable goals are generated, it may cause that some incompatibilities arise between them. In this work, we focus on the denition, identication and resolution of these incompatibilities. The suggested approach considers the three forms of incompatibility introduced by Castelfranchi and Paglieri, namely the terminal incompatibility, the resources incompatibility and the superuity. We characterise computationally these forms of incompatibility by means of arguments that represent the plans that allow an agent to achieve his goals. The incompatibility between goals is dened based on the conicts between their plans, which are represented by means of attacks in an argumentation framework. For the goals selection, we propose to use abstract argumentation theory by applying argumentation semantics.
|
|
24. |
- Morveli-Espinoza, Mariela, et al.
(författare)
-
Towards an Imprecise Probability Approach forAbstract Argumentation
- 2020
-
Ingår i: ECAI 2020. - : IOS Press. - 9781643681009 - 9781643681016 ; , s. 2921-2922
-
Konferensbidrag (refereegranskat)abstract
- In some abstract argumentation framework (AAF), arguments have a degree of uncertainty, which impacts on the degreeof uncertainty of the extensions obtained under a semantics. In these approaches, both the uncertainty of the arguments and of the extensions are modeled by means of precise probability values. However, in many real life situations the exact probabilities values are unknownand sometimes there is a need for aggregating the probability valuesof different sources. In this paper, we tackle the problem of calculat-ing the degree of uncertainty of the extensions considering that theprobability values of the arguments are imprecise
|
|
25. |
- Nieves, Juan Carlos, et al.
(författare)
-
Intelligence distribution for data processing in smart grids : a semantic approach
- 2013
-
Ingår i: Engineering applications of artificial intelligence. - : Elsevier BV. - 0952-1976 .- 1873-6769. ; 26:8, s. 1841-1853
-
Tidskriftsartikel (refereegranskat)abstract
- The smart grid vision demands both syntactic interoperability in order to physically be able to interchange data and semantic interoperability to properly understand and interpret its meaning. The IEC and the EPRI have backed to this end the harmonization of two widely used industrial standards, the CIM and the IEC 61850, as the global unified ontology in the smart grid scenario. Still, persisting such a huge general ontology in each and every one of the members of a distributed system is neither practical nor feasible. Moreover, the smart grid will be a heterogeneous conglomerate of legacy and upcoming architectures that will require first the possibility of representing all the existing assets in the power network as well as new unknown ones, and second, the collaboration of different entities of the system in order to deploy complex activities. Finally, the smart grid presents diverse time span requirements, such as real-time, and all of them must be addressed efficiently but use resources sparingly. Against this background, we put forward an architecture of intelligent nodes spread all over the smart grid structure. Each intelligent node only has a profile of the global ontology. Moreover, adding reasoning abilities, we achieve simultaneously the required intelligence distribution and local decision making. Furthermore, we address the aforementioned real-time and quasi-real-time requirements by integrating stream data processing tools within the intelligent node. Combined with the knowledge base profile and the reasoning capability, our intelligent architecture supports semantic stream reasoning. We have illustrated the feasibility of this approach with a prototype composed of three substations and the description of several complex activities involving a number of different entities of the smart grid. Moreover, we have also addressed the potential extension of the unified ontology. (C) 2013 Elsevier Ltd. All rights reserved.
|
|
26. |
- Pawar, Harvinder, et al.
(författare)
-
Ghost admixture in eastern gorillas
- 2023
-
Ingår i: Nature Ecology & Evolution. - 2397-334X. ; 7:9, s. 1503-1514
-
Tidskriftsartikel (refereegranskat)
|
|
27. |
- Pawar, Harvinder, et al.
(författare)
-
Ghost admixture in eastern gorillas
- 2023
-
Ingår i: Nature Ecology & Evolution. - : Springer Nature. - 2397-334X. ; 7:9, s. 1503-1514
-
Tidskriftsartikel (refereegranskat)abstract
- Archaic admixture has had a significant impact on human evolution with multiple events across different clades, including from extinct hominins such as Neanderthals and Denisovans into modern humans. Within the great apes archaic admixture has been identified in chimpanzees and bonobos, but the possibility of such events has not been explored in other species. Here, we address this question using high-coverage whole genome sequences from all four extant gorilla subspecies, including six newly sequenced eastern gorillas from previously unsampled geographic regions. Using Approximate Bayesian Computation (ABC) with neural networks to model the demographic history of gorillas, we find a signature of admixture from an archaic 'ghost' lineage into the common ancestor of eastern gorillas, but not western gorillas. We infer that up to 3% of the genome of these individuals is introgressed from an archaic lineage that diverged more than 3 million years ago from the common ancestor of all extant gorillas. This introgression event took place before the split of mountain and eastern lowland gorillas, likely more than 40 thousand years ago, and may have influenced perception of bitter taste in eastern gorillas. When comparing the introgression landscapes of gorillas, humans and bonobos, we find a consistent depletion of introgressed fragments on the X chromosome across these species. However, depletion in protein-coding content is not detectable in eastern gorillas, possibly as a consequence of stronger genetic drift in this species.
|
|
28. |
- Penya, Yoseba K., et al.
(författare)
-
Distributed Semantic Architecture for Smart Grids
- 2012
-
Ingår i: Energies. - : MDPI AG. - 1996-1073. ; 5:11, s. 4824-4843
-
Tidskriftsartikel (refereegranskat)abstract
- The smart grid revolution demands a huge effort in redesigning and enhancing current power networks, as well as integrating emerging scenarios such as distributed generation, renewable energies or the electric vehicle. This novel situation will cause a huge flood of data that can only be handled, processed and exploited in real-time with the help of cutting-edge ICT (Information and Communication Technologies). We present here a new architecture that, contrary to the previous centralised and static model, distributes the intelligence all over the grid by means of individual intelligent nodes controlling a number of electric assets. The nodes own a profile of the standard smart grid ontology stored in the knowledge base with the inferred information about their environment in RDF triples. Since the system does not have a central registry or a service directory, the connectivity emerges from the view of the world semantically encoded by each individual intelligent node (i.e., profile + inferred information). We have described a use-case both with and without real-time requirements to illustrate and validate this novel approach.
|
|
29. |
- Sherman, C. Samantha, et al.
(författare)
-
Half a century of rising extinction risk of coral reef sharks and rays
- 2023
-
Ingår i: Nature Communications. - : Nature Publishing Group. - 2041-1723. ; 14:1
-
Tidskriftsartikel (refereegranskat)abstract
- Sharks and rays are key functional components of coral reef ecosystems, yet many populations of a few species exhibit signs of depletion and local extinctions. The question is whether these declines forewarn of a global extinction crisis. We use IUCN Red List to quantify the status, trajectory, and threats to all coral reef sharks and rays worldwide. Here, we show that nearly two-thirds (59%) of the 134 coral-reef associated shark and ray species are threatened with extinction. Alongside marine mammals, sharks and rays are among the most threatened groups found on coral reefs. Overfishing is the main cause of elevated extinction risk, compounded by climate change and habitat degradation. Risk is greatest for species that are larger-bodied (less resilient and higher trophic level), widely distributed across several national jurisdictions (subject to a patchwork of management), and in nations with greater fishing pressure and weaker governance. Population declines have occurred over more than half a century, with greatest declines prior to 2005. Immediate action through local protections, combined with broad-scale fisheries management and Marine Protected Areas, is required to avoid extinctions and the loss of critical ecosystem function condemning reefs to a loss of shark and ray biodiversity and ecosystem services, limiting livelihoods and food security. © 2023, The Author(s).
|
|
30. |
- Simeoni, Christian, et al.
(författare)
-
Evaluating the combined effect of climate and anthropogenic stressors on marine coastal ecosystems : Insights from a systematic review of cumulative impact assessment approaches
- 2023
-
Ingår i: Science of the Total Environment. - : Elsevier BV. - 0048-9697. ; 861
-
Forskningsöversikt (refereegranskat)abstract
- Cumulative impacts increasingly threaten marine and coastal ecosystems. To address this issue, the research community has invested efforts on designing and testing different methodological approaches and tools that apply cumulative impact appraisal schemes for a sound evaluation of the complex interactions and dynamics among multiple pressures affecting marine and coastal ecosystems. Through an iterative scientometric and systematic literature review, this paper provides the state of the art of cumulative impact assessment approaches and applications. It gives a specific attention to cutting-edge approaches that explore and model inter-relations among climatic and anthropogenic pressures, vulnerability and resilience of marine and coastal ecosystems to these pressures, and the resulting changes in ecosystem services flow. Despite recent advances in computer sciences and the rising availability of big data for environmental monitoring and management, this literature review evidenced that the implementation of advanced complex system methods for cumulative risk assessment remains limited. Moreover, experts have only recently started integrating ecosystem services flow into cumulative impact appraisal frameworks, but more as a general assessment endpoint within the overall evaluation process (e.g. changes in the bundle of ecosystem services against cumulative impacts). The review also highlights a lack of integrated approaches and complex tools able to frame, explain, and model spatio-temporal dynamics of marine and coastal ecosystems' response to multiple pressures, as required under relevant EU legislation (e.g., Water Framework and Marine Strategy Framework Directives). Progress in understanding cumulative impacts, exploiting the functionalities of more sophisticated machine learning-based approaches (e.g., big data integration), will support decision-makers in the achievement of environmental and sustainability objectives.
|
|