Filters








57,706 Hits in 3.6 sec

Constraint qualification failure in action

Hassan Hijazi, Leo Liberti
2016 Operations Research Letters  
We introduce a lifted second-order cone formulation of such on/off constraints and discuss related constraint qualification issues. A solution is proposed to avoid solvers' failure.  ...  This note presents a theoretical analysis of disjunctive constraints featuring unbounded variables. In this framework, classical modeling techniques, including big-M approaches, are not applicable.  ...  The authors state the following "We believe that the failure of the nonlinear solvers is due to a failure of a constraint qualification".  ... 
doi:10.1016/j.orl.2016.05.006 fatcat:fpdnlf4ocfezddaumt57t4nsim

Addressing the Qualification Problem in FLUX [chapter]

Yves Martin, Michael Thielscher
2001 Lecture Notes in Computer Science  
Our system allows to plan under the default assumption that actions succeed as they normally do, and to reason about these assumptions in order to recover from unexpected action failures.  ...  The Qualification Problem arises for planning agents in realworld environments, where unexpected circumstances may at any time prevent the successful performance of an action.  ...  These two constraints are used to bypass the problem of "negation as failure" for incomplete states.  ... 
doi:10.1007/3-540-45422-5_21 fatcat:b5sujznm4vdkbobmzoel3qeuim

Diagnosis of plan step errors and plan structure violations

Cees Witteveen, Nico Roos, Adriaan ter Mors, Xiaoyu Mao
2007 Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems - AAMAS '07  
The structure of a plan prescribes which actions have to be performed and which precedence constraints between them have to be respected.  ...  Failures in plan execution can be attributed to errors in the execution of plan steps or violations of the plan structure.  ...  In reality, however, violations of the plan structure may easily occur and might result in plan failure.  ... 
doi:10.1145/1329125.1329280 dblp:conf/atal/WitteveenRMM07 fatcat:xiamaeco55hgraxxblvjc2kmx4

Forthcoming Papers

2001 Artificial Intelligence  
Hence, the proposed method is capable of enhancing the regularization property without getting stuck at sub-optimal values in search space.  ...  In order to build more powerful systems, it is important to understand which systems, and hence which techniques, work well for what types of problems.  ...  Reasoning agents in real-world environments rely on a solution to the Qualification Problem in order to make useful predictions but also to explain and recover from unexpected action failures.  ... 
doi:10.1016/s0004-3702(01)00135-7 fatcat:nzvymrqbvfadhbhpd3m7yycruq

The Qualification Problem: A solution to the problem of anomalous models

Michael Thielscher
2001 Artificial Intelligence  
Reasoning agents in real-world environments rely on a solution to the Qualification Problem in order to make useful predictions but also to explain and recover from unexpected action failures.  ...  Yet the main theoretical result known today in this context is a negative one: While a solution to the Qualification Problem requires to assume away by default abnormal qualifications of actions, straightforward  ...  in case of unexpected action failure.  ... 
doi:10.1016/s0004-3702(01)00131-x fatcat:idqh2rr2vbbotjrnbfs74jmdeu

Modular-E and the role of elaboration tolerance in solving the qualification problem

Antonis Kakas, Loizos Michael, Rob Miller
2011 Artificial Intelligence  
ME is able to represent non-deterministic domains involving concurrency, static laws (constraints), indirect effects (ramifications), and narrative information in the form of action occurrences and observations  ...  of actions.  ...  The resulting formalism is able to cope with a broad range of phenomena relating to the qualification problem, for example, covering both "accidents" (oneoff failures of actions) and persistent failures  ... 
doi:10.1016/j.artint.2010.04.008 fatcat:evw5efsgrnfvzjzsstv3ia762e

Use of Bayesian Networks for Qualification Planning: A Predictive Analysis Framework for a Technically Complex Systems Engineering Problem

Davinia B. Rizzo, Mark R. Blackburn
2015 Procedia Computer Science  
BN models may provide the framework to aid Systems Engineers in planning qualification efforts with complex constraints.  ...  This challenges systems engineers as they strive to plan qualification in an environment where technical, environmental, and political constraints are coupled with the traditional cost, risk and schedule  ...  constraints.  ... 
doi:10.1016/j.procs.2015.09.173 fatcat:36fzjgtksrdrnovz7ybs7xwobu

Reasoning about actions: Non-deterministic effects, Constraints, and Qualification

Chitta Baral
1995 International Joint Conference on Artificial Intelligence  
In this paper we propose the language of 'state specifications' to uniformly specify effect of actions, executability condition of actions, and dynamic and static constraints. This language allow?  ...  us to be able to express effects of action and constraints with same first order representation but different intuitive behavior to be specified differently.  ...  Introduction and Motivation In this paper we consider several aspects of reasoning about actions: effects (direct, indirect, nondeterministic) of actions, qualification and executability of actions, constraints  ... 
dblp:conf/ijcai/Baral95 fatcat:a4vzbqwu7bglpju6ahikkoq5za

Tool Qualification Considerations for Tools Supporting STPA

Sven Stefan Krauss, Martin Rejzek, Christian Hilbes
2015 Procedia Engineering  
Our software tool SAHRA integrates STPA in an existing engineering toolchain by providing an extension for the UML/SysML modeling tool Sparx Systems Enterprise Architect.  ...  After concluding that a tool qualification is required, we used a multi-domain tool qualification development lifecycle guided by DO-330 for SAHRA.  ...  Developers of safety-related software tools should consider whether they use DO-330 as tool development lifecycle in order to avoid systematic failures in the tool.  ... 
doi:10.1016/j.proeng.2015.11.500 fatcat:dhe7zbapcbg2ng7vyczlt3broq

Supporting Multiple Agents in the Execution of Clinical Guidelines

Alessio Bottrighi, Luca Piovesan, Paolo Terenziani
2018 Proceedings of the 11th International Joint Conference on Biomedical Engineering Systems and Technologies  
action, but delegate to a nurse its execution).  ...  In many cases (e.g. in chronic disorders) the GLs recommend that the treatment is not performed/completed in the hospital, but is continued in different contexts (e.g. at home, or in the general practitioner's  ...  Mauro Torchio of Azienda Ospedaliera San Giovanni Battista in Turin (one of the largest hospitals in Italy) for their constant support, and for their help in the definition of the case study.  ... 
doi:10.5220/0006654802080219 dblp:conf/biostec/BottrighiPT18a fatcat:kg44hwpql5hjjeox4pcyvk57zm

Reliability Assurance of Subsea Production Systems: A Systems Engineering Framework

Sirous Yasseri, Hamid Bahai, Ramin Yasseri
2018 International Journal of coastal and offshore engineering  
This framework allows a better understanding of verification settings and strategies to handle constraints (e.g. costs, expandability, repair-ability, maintainability, intervention procedures, downtime  ...  systems engineering processes to ensure the continued function and resilience of the production system from the downhole valve to the subsea equipment, housed on the topside or at an onshore terminal, in  ...  The V&V actions should be commensurate with the level of requirements in the hierarchy.  ... 
doi:10.29252/ijcoe.2.1.1 fatcat:af5j4h47f5eb7jvsybh7ygunla

Reasoning about Action: An Argumentation - Theoretic Approach

Q. B. Vo, N. Y. Foo
2005 The Journal of Artificial Intelligence Research  
As much attention of researchers in the field has been paid to the traditional and basic problems in reasoning about actions such as the frame, the qualification and the ramification problems, approaches  ...  We present a uniform non-monotonic solution to the problems of reasoning about action on the basis of an argumentation-theoretic approach.  ...  The authors wish to thank other members of the Knowledge Systems Group, in paricular Dongmo Zhang and Maurice Pagnucco, and the anonymous reviewers of an earlier version of this paper for very helpful  ... 
doi:10.1613/jair.1602 fatcat:xinkoaijobefvgm4f4omitbu44

How to Design a General Rule Markup Language?

Gerd Wagner
2002 XML Technologien für das Semantic Web  
Further uses may arise in novel web applications. In this paper, I consider the problem of how to design a General Rule Markup Language that can be used for these, and for future emerging purposes.  ...  It may serve as a lingua franca for different rule systems and rule components in application software to exchange rules between each other.  ...  Such a construct needs two meta-attributes: qualification type and qualification value.  ... 
dblp:conf/xsw/Wagner02 fatcat:b44rr5f3zzb7hd6qcpctqqdoge

Performance Evaluation of Hinge Driving Separation Nut-type Holding and Releasing Mechanism Triggered by Nichrome Burn Wire

Myeong-Jae LEE, Yong-Keun LEE, Hyun-Ung OH
2015 International Journal of Aeronautical and Space Sciences  
The basic characteristics of the mechanism have been measured through a release function test, static load test under qualification temperature limits, and shock measurement test.  ...  In addition, the structural safety and operational functionality of the mechanism module under launch and on-orbit environments have been successfully demonstrated through a vibration test and thermal  ...  A constraint in the in-plane direction was provided by a longeron interface with an in-plane mechanical displacement limitation.  ... 
doi:10.5139/ijass.2015.16.4.602 fatcat:d6s7mu2evzeq3htyerln2qge2e

An Economic Analysis of Color-Blind Affirmative Action

R. G. Fryer, G. C. Loury, T. Yuret
2007 Journal of Law, Economics & Organization  
This paper offers an economic analysis of color-blind alternatives to conventional affirmative action policies in higher education, focusing on efficiency issues.  ...  We show that, compared to the "sighted" alternative, color-blind affirmative action is inefficient because it flattens the function mapping effort into a probability of admission in the model's equilibrium  ...  The Impact of Affirmative Action on Applicant Qualifications in Equilibrium To describe how affirmative action policies affect the equilibrium distribution of qualifications among applicants in the two  ... 
doi:10.1093/jleo/ewm053 fatcat:6kkrgtumcvagnjb74dgw5om3ue
« Previous Showing results 1 — 15 out of 57,706 results