82,693 Hits in 3.3 sec

A New Framework for Reasoning about Points, Intervals and Durations

Arun K. Pujari, Abdul Sattar
1999 International Joint Conference on Artificial Intelligence  
We present a new framework for reasoning about points, intervals and durations--Point Interval Duration Network (PIDN).  ...  We identify a subclass for which enforcing 4-consistency suffices to ensure the global consistency, and prove that this subclass is maximal for qualitative constraints.  ...  Also, the first author gratefully acknowledges CSIR, India (Research Project No.25/96/81/EMR-II) and Griffith University for supporting the research.  ... 
dblp:conf/ijcai/PujariS99 fatcat:37orxxwjabbipns5yq2phdx6ce

Combining qualitative and quantitative constraints in temporal reasoning

Itay Meiri
1996 Artificial Intelligence  
New classes of tractable problems are characterized, involving qualitative networks augmented by quantitative domain constraints, some of which can be solved in polynomial time using arc and path consistency  ...  This model allows the representation and processing of many types of constraints discussed in the literature to date, including metric constraints (restricting the distance between time points) and qualitative  ...  Also thanks to Rina Dechter and Eddie Schwalb for the effort in revising the final manuscript.  ... 
doi:10.1016/0004-3702(95)00109-3 fatcat:fhugs3dukzdadpxzli4njm2334

Qualitative and quantitative simulation: bridging the gap

Daniel Berleant, Benjamin J. Kuipers
1997 Artificial Intelligence  
guarantees from qualitative and interval simulation techniques.  ...  Because Q3 shares important expressive and inferential properties of both qualitative and quantitative simulation, 43 helps to bridge the gap between qualitative and quantitative simulation. @ 1997 Elsevier  ...  The new qualitative state creates new constraints which initiate new quantitative inferences from given and previously inferred intervals.  ... 
doi:10.1016/s0004-3702(97)00050-7 fatcat:dh5weibpkrchjcttfa7zy3zxai

Processing disjunctions in temporal constraint networks

Eddie Schwalb, Rina Dechter
1997 Artificial Intelligence  
The framework of Temporal constraint Satisfaction Problems (TCSP) has been proposed for representing and processing temporal knowledge. Deciding consistency of TC-SPs is known to be intractable.  ...  We present t wo new polynomial approximation algorithms, Upper-Lower-Tightening (ULT) and Loose-Path-Consistency (LPC), which are ecient y et eective in detecting inconsistencies and reducing fragmentation  ...  In the qualitative model, variables are time intervals and the constraints are qualitative. In the quantitative model, variables represent time points and the constraints are metric.  ... 
doi:10.1016/s0004-3702(97)00009-x fatcat:iazuunfa2bg45e3i4dk7i66aoy

Using temporal reasoning for genome map assembly

O Schmeltzer
1995 Proceedings. International Conference on Intelligent Systems for Molecular Biology  
The algorithm has to transform the initial input data, i.e. qualitative and quantitative relations between entities that appear on the maps, so that temporal reasoning algorithms can be applied successfully  ...  The algorithmic complexity of the assembly task is already huge and is even made worse when one wishes to deal with inconsistencies and provide generic tools.  ...  of the quantitative relation network using the Floyd-Warshall algorithm; translation of quantitative constraints into qualitative ones.  ... 
pmid:7584456 fatcat:pcpauoyamzgs3nrie67owpz53q

Including qualitative knowledge in semiqualitative dynamical systems [chapter]

J. A. Ortega, R. M. Gasca, M. Toro
1998 Lecture Notes in Computer Science  
The representation of qualitative knowledge is made by means of intervals, continuous qualitative functions and envelope functions.  ...  In this paper the semiqualitative analysis is carried out by means of constraint satisfaction problems, using interval consistency techniques.  ...  y = h(x), h ={PI, s1, From quantitative and qualitative knowledge to constraint networks The qualitative knowledge is added by means of a set of constraints.  ... 
doi:10.1007/3-540-64582-9_763 fatcat:cz2fpxty2ffrdlmh4n7dcq3cqq

Early Verification of Computer Systems Temporal Properties

Paulo Sérgio Muniz Silva
2005 Electronical Notes in Theoretical Computer Science  
a unified model, both the qualitative and the metric temporal information conveyed in these intuitive diagrams.  ...  The framework solves the verification problems in polynomial time and lays the foundation of an automatic tool.  ...  Thanks to Henry Kautz for making the MATS code available [14] used in the experiments of this paper, and for allowing the changes in it.  ... 
doi:10.1016/j.entcs.2005.03.012 fatcat:vxxzglwxujadnfob2nphvxf7di

Semi-Quantitative Comparative Analysis

Ivayla Vatcheva, Hidde de Jong
1999 International Joint Conference on Artificial Intelligence  
It is both able to deal with incompletely specified models and make precise predictions by exploiting semi-quantitative information in the form of numerical bounds on the variables and functions occuring  ...  SQCA is an implemented technique for the semi-quantitative comparative analysis of dynamical systems.  ...  The constraint network relates the variables at each distinguished time-point through constraints on their ranges.  ... 
dblp:conf/ijcai/VatchevaJ99 fatcat:lqeexomtrzahbckynmux6phnze

An Application of Qualitative Reasoning to Derive Behavior from Structure of Quantitative Models

Srinivasan Raghunathan
1994 Journal of Management Information Systems  
The preprocessor extends the model network (i.e., adds new intervals and constraints) using the structure QUALITATIVE REASONING AND QUANTITATIVE MODELS 87 Table 1 Event Model Feature Inference Reason MINDEM  ...  The new intervals and constraints are added to the model network.  ... 
doi:10.1080/07421222.1994.11518031 fatcat:r5n4ndrdsbf2baf3s4e2vy5o44

Improving Reasoning Efficiency for Subclasses of Allen's Algebra with Instantiation Intervals [chapter]

Jörg Kahl, Lothar Hotz, Heiko Milde, Stephanie E. Wessel
1999 Lecture Notes in Computer Science  
2 Constraint network example and its strongest implied relations1.  ...  Figure 2 shows a time point constraint set and its corresponding strongest implied relations presented due to clarity in form of networks.  ... 
doi:10.1007/3-540-48238-5_27 fatcat:xywkw7s4ibe3fccyngp43yntde

Qualitative & Semi-Quantitative Reasoning Techniques for Engineering Projects at Conceptual Stage

M. H. Gedig, S. F. Stiemer
2003 Electronic Journal of Structural Engineering  
This paper investigates sound techniques for evaluating projects at the early stages, including qualitative reasoning and semi-quantitative reasoning.  ...  As a normal engineering project progresses, more numeric information becomes available, and the results of semi-quantitative reasoning become more useful.  ...  Given normal time and economic constraints, it is not practical to modify the concept as soon as a detail does not fit.  ... 
doi:10.56748/ejse.331 fatcat:dweyjmerebhjjfakeqkfivmdge

Computer Application to Study Engineering Projects at the Early Stages of Development

M. H. Gedig, S. F. Stiemer
2003 Electronic Journal of Structural Engineering  
This paper gives an explanation of qualitative and semi-quantitative analysis in the context of the QES application.  ...  This paper describes a computer software application, the Qualitative Engineering System (QES), which the engineer can use to perform qualitative and semi-quantitative analysis of preliminary engineering  ...  QES exploits the constraint network paradigm to perform both qualitative and quantitative reasoning within an integrated framework.  ... 
doi:10.56748/ejse.330 fatcat:7qvqard6wbbgzir4jcdfyjjs4y

A framework for semiqualitative reasoning in engineering applications

Rafael M. Gasca, J.A. Ortega, M. Toro
2002 Applied Artificial Intelligence  
A modeling language is speci® ed to represent qualitative and quantitative knowledge of the model.  ...  First, we identify the most important classes of qualitative concepts in engineering activities. Second, we present a novel methodology to integrate both qualitative and quantitative knowledge.  ...  In a particular case, the following qualitative relations in order of magnitude and quantitative relations may be known: DT2 is moderately smaller than DT1, DT1 is much smaller than DTH and KH is 1.1 times  ... 
doi:10.1080/088395102753559262 fatcat:b57ua3rkabbf3lwye2pda7oo2a

Model-Based Diagnosis with Qualitative Temporal Uncertainty [article]

Wolfgang Nejdl, Johann Gamper
2013 arXiv   pre-print
Based on a logical framework extended by qualitative and quantitative temporal constraints we show how to describe behavioral models (both consistency- and abductive-based), discuss how to use abstract  ...  In this paper we describe a framework for model-based diagnosis of dynamic systems, which extends previous work in this field by using and expressing temporal uncertainty in the form of qualitative interval  ...  The set C(t) of qualitative and quantitative temporal constraints determines the temporal extent t relative to other intervals 1 .  ... 
arXiv:1302.6832v1 fatcat:sqhesx7f5rhaff7onk4vdlmsyi

Distance constraint arrays: A model for reasoning on intervals with qualitative and quantitative distances [chapter]

Steffen Staab, Udo Hahn
1998 Lecture Notes in Computer Science  
We outline a model of one-dimensional reasoning on interval relations with quantitative and qualitative distances.  ...  We outline a model of one-dimensional reasoning on interval relations with quantitative and qualitative distances.  ...  But still Meiri's model keeps quantitative constraints on time points and Allen's relations on intervals rather separate.  ... 
doi:10.1007/3-540-64575-6_62 fatcat:uylrybwvfnghvbznmadchy6mui
« Previous Showing results 1 — 15 out of 82,693 results