skip to main content

Explore Research Products in the PAR
It may take a few hours for recently added research products to appear in PAR search results.


Title: On the Relationship Between KR Approaches for Explainable Planning
In this paper, we build upon notions from knowledge representation and reasoning (KR) to expand a preliminary logic-based framework that characterizes the model reconciliation problem for explainable planning. We also provide a detailed exposition on the relationship between similar KR techniques, such as abductive explanations and belief change, and their applicability to explainable planning.  more » « less
Award ID(s):
1812628
PAR ID:
10286664
Author(s) / Creator(s):
; ;
Date Published:
Journal Name:
XAIP@ICAPS 2020
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. ( , Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems)
    null (Ed.)
    In explainable planning, the planning agent needs to explain its plan to a human user, especially when the plan appears infeasible or suboptimal for the user. A popular approach is called model reconciliation, where the agent reconciles the differences between its model and the model of the user such that its plan is also feasible and optimal to the user. This problem can be viewed as a more general problem as follows: Given two knowledge bases πa and πh and a query q such that πa entails q and πh does not entail q, where the notion of entailment is dependent on the logical theories underlying πa and πh, how to change πh–given πa and the support for q in πa–so that πh does entail q. In this paper, we study this problem under the context of answer set programming. To achieve this goal, we (1) define the notion of a conditional update between two logic programs πa and πh with respect to a query q;(2) define the notion of an explanation for a query q from a program πa to a program πh using conditional updates;(3) develop algorithms for computing explanations; and (4) show how the notion of explanation based on conditional updates can be used in explainable planning. 
    more » « less
  2. ; ; ; ( , International Joint Conference on Artificial Intelligence)
    Explainable planning is widely accepted as a pre- requisite for autonomous agents to successfully work with humans. While there has been a lot of research on generating explanations of solutions to planning problems, explaining the absence of so- lutions remains a largely open and under-studied problem, even though such situations can be the hardest to understand or debug. In this paper, we show that hierarchical abstractions can be used to efficiently generate reasons for unsolvability of planning problems. In contrast to related work on computing certificates of unsolvability, we show that our methods can generate compact, human- understandable reasons for unsolvability. Empirical analysis and user studies show the validity of our methods as well as their computational efficacy on a number of benchmark planning domains. 
    more » « less
  3. ; ; ( , Water Supply)
    Abstract

    Hydrochemical characteristics of irrigation water and their spatiotemporal variations can provide critical information for ensuring healthy crop growth and determining the best water management practices. The Lower Rio Grande Valley (LRGV) is heavily dependent upon ditch irrigation to deliver water from the Rio Grande River to support its staple crop production. To date, no studies have been conducted to quantify the water quality and its variations along the distribution system. This research measured water quality parameters at seven sites in LRGV irrigation water in 2021. Chemical indices including salinity hazard (SH), sodium adsorption ratio (SAR), sodium percentage (Na%), residual sodium carbonate (RSC), magnesium hazard (MH), Kelly's Ratio (KR), and permeability index (PI) were calculated. Classification diagrams were prepared. Results revealed the locations that had doubtful water for irrigation use and more problematic water quality index levels. June and August had the highest index levels, which may have been attributable to the large rainfall events in May and July. The SH, Na%, KR, and MH indices exceeded recommended levels. ANOVA analyses showed significant temporal variations in SAR, RSC, MH, KR, and PI. These findings indicate the importance of incorporating water quality spatiotemporal variation information in routine irrigation planning and management.

     
    more » « less
  4. ; ; ; ( , Applied Physics Letters)
    The Kelvin relation (KR) connecting the Peltier coefficient Π, the thermopower α, and the absolute temperature T via Π = αT is a cornerstone of thermoelectric (TE) physics. It is also a widely recognized example of an Onsager reciprocal relation, a foundational principle in nonequilibrium irreversible thermodynamics. While the KR is routinely invoked to understand TE systems, it has surprisingly little rigorous empirical verification. Accurate experimental tests of the KR are complicated by several factors, including non-Peltier heat flows such as Joule heating or Fourier thermal conduction, uncharacterized thermal contact impedances, and the need for Peltier and thermopower effects to be measured on the same thermopile at the same temperatures. Most empirical assessments of the KR have either made questionable simplifications or been limited in accuracy to several percent. Here, we present a test of the KR that is free of the difficulties of prior experiments and relies only on conventional voltage, current, and temperature measurements, so that it could be performed on any thermopile. Conducting the test on a Bi 2 Te 3 thermopile, the empirical ratio Π/α is found to equal T within a relative deviation < 0.5% for T in the range of 320–340 K. This result is quantitatively consistent with the KR and justifies the use of the KR in TE applications to reasonably high accuracy. 
    more » « less
  5. ; ( , Development)
    ABSTRACT

    Although fluctuations in transcription factor (TF) dosage are often well tolerated, TF dosage modulation can change the target gene expression dynamics and result in significant non-lethal developmental phenotypes. Using MS2/MCP-mediated quantitative live imaging in early Drosophila embryos, we analyzed how changing levels of the gap gene Krüppel (Kr) affects transcriptional dynamics of the pair-rule gene even-skipped (eve). Halving the Kr dosage leads to a transient posterior expansion of the eve stripe 2 and an anterior shift of stripe 5. Surprisingly, the most significant changes are observed in eve stripes 3 and 4, the enhancers of which do not contain Kr-binding sites. In Kr heterozygous embryos, both stripes 3 and 4 display narrower widths, anteriorly shifted boundaries and reduced mRNA production levels. We show that Kr dosage indirectly affects stripe 3 and 4 dynamics by modulating other gap gene dynamics. We quantitatively correlate moderate body segment phenotypes of Kr heterozygotes with spatiotemporal changes in eve expression. Our results indicate that nonlinear relationships between TF dosage and phenotypes underlie direct TF-DNA and indirect TF-TF interactions.

     
    more » « less
  • Citation Formats
  • MLA
  • APA
  • Chicago
  • BibTeX
  • Save / Share this Record
  • Send to Email