Semi-quantitative comparative analysis

被引：0

作者：

Vatcheva, I ^{[1
]}

de Jong, H ^{[1
]}

机构：

[1] Univ Twente, Dept Comp Sci, NL-7500 AE Enschede, Netherlands

来源：

IJCAI-99: PROCEEDINGS OF THE SIXTEENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS 1 & 2 | 1999年

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

SQCA is an implemented technique for the semi-quantitative comparative analysis of dynamical systems. 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 in the models. The technique has a solid mathematical foundation which facilitates proofs of correctness and convergence properties.

引用

页码：1034 / 1040

页数：7

共 12 条

[1]

[Anonymous], P 14 INT JOINT C ART

[2] Applying interval arithmetic to real, integer, and Boolean constraints [J].

Benhamou, F ;

Older, WJ .

JOURNAL OF LOGIC PROGRAMMING, 1997, 32 (01) :1-24

[3] Qualitative and quantitative simulation: bridging the gap [J].

Berleant, D ;

Kuipers, BJ .

ARTIFICIAL INTELLIGENCE, 1997, 95 (02) :215-255

[4]

DEJONG H, 1998, QR98, P32

[5]

DEJONG H, 1997, P IJCAI 97 NAG JAP M, P486

[6]

DEMORI R, 1989, P IJCAI 89 DETR MI M, P1180

[7]

KAY H, 1993, PROCEEDINGS OF THE ELEVENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, P606

[8]

KUIPERS B, 1994, QUALITATIVE REASONIN

[9]

Moore R.E., 1979, STUDIES APPL NUMERIC

[10]

NIETZKE M, 1994, P AAAI 94, P1205

← 1 2 →