Extending the mathematics in qualitative process theory

1989 ◽  
Vol 4 (1) ◽  
pp. 55-80 ◽  
Author(s):  
Bruce D'Ambrosio
Keyword(s):  
Process Theory ◽  
Qualitative Process Theory

The qualitative representation of physical systems

1992 ◽  
Vol 7 (1) ◽  
pp. 55-77 ◽  
Author(s):  
Enrico Coiera
Keyword(s):  
Process Theory ◽  
Multiple Model ◽  
Differential Constraint ◽  
Physical Systems ◽  
Reasoning Systems ◽  
Qualitative Representation ◽  
Growing Body ◽  
Recent Developments ◽  
Qualitative Process Theory ◽  
Functional Representations

AbstractThe representation of physical systems using qualitative formalisms is examined in this review, with an emphasis on recent developments in the area. The push to develop reasoning systems incorporating deep knowledge originally focused on naive physical representations, but has now shifted to more formal ones based on qualitative mathematics. The qualitative differential constraint formalism used in systems like QSIM is examined, and current efforts to link this to competing representations like Qualitative Process Theory are noted. Inference and representation are intertwined, and the decision to represent notions like causality explicitly, or infer it from other properties, has shifted as the field has developed. The evolution of causal and functional representations is thus examined. Finally, a growing body of work that allows reasoning systems to utilize multiple representations of a system is identified. Dimensions along which multiple model hierarchies could be constructed are examined, including mode of behaviour, granularity, ontology, and representational depth.

A qualitative process theory based model of the HIV-1 virus-cell interaction

1994 ◽  
Vol 43 (3-4) ◽  
pp. 255-259 ◽  
Author(s):  
C. Ruggiero ◽  
M. Giacomini ◽  
O.E. Varnier ◽  
S. Gaglio
Keyword(s):  
Cell Interaction ◽  
Process Theory ◽  
Qualitative Process Theory ◽  
Hiv 1

scholarly journals Qualitative process theory

1984 ◽  
Vol 24 (1-3) ◽  
pp. 85-168 ◽  
Author(s):  
Kenneth D. Forbus
Keyword(s):  
Process Theory ◽  
Qualitative Process Theory
Sign in / Sign up

Export Citation Format

Share Document