메뉴 건너뛰기




Volumn 22, Issue 1, 1992, Pages 47-63

Reasoning About Energy in Qualitative Simulation

Author keywords

[No Author keywords available]

Indexed keywords

SYSTEMS SCIENCE AND CYBERNETICS - COGNITIVE SYSTEMS;

EID: 0026712601     PISSN: 00189472     EISSN: 21682909     Source Type: Journal    
DOI: 10.1109/21.141310     Document Type: Article
Times cited : (31)

References (19)
  • 1
    • 0023868938 scopus 로고
    • A critique of qualitative simulation from a consolidation viewpoint
    • T. Bylander, “A critique of qualitative simulation from a consolidation viewpoint,” IEEE Trans. Syst., Man, Cybern., vol. 18, pp. 252-263, 1988.
    • (1988) IEEE Trans. Syst., Man, Cybern. , vol.18 , pp. 252-263
    • Bylander, T.1
  • 2
    • 0020991001 scopus 로고
    • Qualitative reasoning with higher order derivatives
    • J. De KJeer, and D. J. Bobrow, “Qualitative reasoning with higher order derivatives,” in Proc. AAAI-84, 1984, pp. 86-91.
    • (1984) Proc. AAAI-84 , pp. 86-91
    • De KJeer, J.1    Bobrow, D.J.2
  • 3
    • 0021577685 scopus 로고
    • A qualitative physics based on confluences
    • J. De Kleer, and J. Brown, “A qualitative physics based on confluences,” Artificial Intell. J., vol. 24, pp. 7-83, 1984.
    • (1984) Artificial Intell. J. , vol.24 , pp. 7-83
    • De Kleer, J.1    Brown, J.2
  • 4
    • 0021613150 scopus 로고
    • Qualitative process theory
    • K. D. Forbus, “Qualitative process theory,” Artificial Intell. J., vol. 24, pp. 85-168, 1984.
    • (1984) Artificial Intell. J. , vol.24 , pp. 85-168
    • Forbus, K.D.1
  • 6
    • 84941505622 scopus 로고
    • Qualitative simulation of feedback control systems
    • Bruxelles, Belgium, Sept.
    • P. Fouché and B. J. Kuipers, “Qualitative simulation of feedback control systems,” in Proc. MIM-S2 90, Bruxelles, Belgium, Sept. 1990.
    • (1990) Proc. MIM-S2 90
    • Fouché, P.1    Kuipers, B.J.2
  • 7
    • 0011859828 scopus 로고
    • An assessment of current qualitative simulation techniques
    • P. Struss, and B. Faltings, Eds. Cambridge, MA: MIT Press
    • P. Fouche and B. J. Kuipers, “An assessment of current qualitative simulation techniques,” in Recent Advances in Qualitative Physics, P. Struss, and B. Faltings, Eds. Cambridge, MA: MIT Press, 1991.
    • (1991) Recent Advances in Qualitative Physics
    • Fouche, P.1    Kuipers, B.J.2
  • 8
    • 18744404974 scopus 로고
    • Using global properties for qualitative reasoning: A qualitative system theory
    • Detroit, MI
    • Y. Ishida, “Using global properties for qualitative reasoning: A qualitative system theory,” in Proc. IJCAI 89, Detroit, MI, 1989, pp. 1174-1179.
    • (1989) Proc. IJCAI 89 , pp. 1174-1179
    • Ishida, Y.1
  • 9
    • 5844319200 scopus 로고
    • Expert systems for process fault diagnosis: A general framework
    • G. V. Reklaitis, and H. D. Springgs, Eds. Amsterdam: Elsevier
    • M. A. Kramer, “Expert systems for process fault diagnosis: A general framework,” in Computer Aided Systems for Process Operations, G. V. Reklaitis, and H. D. Springgs, Eds. Amsterdam: Elsevier, pp. 557-587, 1987.
    • (1987) Computer Aided Systems for Process Operations , pp. 557-587
    • Kramer, M.A.1
  • 10
    • 0039036781 scopus 로고
    • The limits of qualitative simulation
    • Los Angeles, CA
    • B. J. Kuipers, “The limits of qualitative simulation,” in Proc. IJCAI-85, Los Angeles, CA, 1985, pp. 128-136.
    • (1985) Proc. IJCAI-85 , pp. 128-136
    • Kuipers, B.J.1
  • 11
    • 46149128342 scopus 로고
    • Qualitative simulation
    • B. J. Kuipers, “Qualitative simulation,” Artificial Intell. J., vol. 29, pp. 289-388, 1986.
    • (1986) Artificial Intell. J. , vol.29 , pp. 289-388
    • Kuipers, B.J.1
  • 12
    • 0342983941 scopus 로고
    • Taming intractible branching in qualitative simulation
    • Milan, Italy
    • B. J. Kuipers, and C. Chiu, “Taming intractible branching in qualitative simulation,” in Proc. IJCAI-87, Milan, Italy, 1987, pp. 1079-1085.
    • (1987) Proc. IJCAI-87 , pp. 1079-1085
    • Kuipers, B.J.1    Chiu, C.2
  • 13
    • 84990619868 scopus 로고
    • Using incomplete quantitative knowledge in qualitative reasoning
    • Saint Paul, MI
    • B. J. Kuipers, and D. Berleant, “Using incomplete quantitative knowledge in qualitative reasoning,” in Proc. AAAI-88, Saint Paul, MI, 1988, pp. 324-329.
    • (1988) Proc. AAAI-88 , pp. 324-329
    • Kuipers, B.J.1    Berleant, D.2
  • 14
    • 0024705911 scopus 로고
    • Qualitative reasoning: Modeling and simulation with incomplete knowledge
    • B. J. Kuipers, “Qualitative reasoning: Modeling and simulation with incomplete knowledge,” Automatica, vol. 25, pp. 571-585, 1989.
    • (1989) Automatica , vol.25 , pp. 571-585
    • Kuipers, B.J.1
  • 15
    • 0026240345 scopus 로고
    • Higher order derivative constraints in qualitative simulation
    • B. J. Kuipers, C. Chiu, D. Dalle Molle, and D. Throop, “Higher order derivative constraints in qualitative simulation,” Artificial Intell. J., vol. 51, pp. 343-379, 1991.
    • (1991) Artificial Intell. J. , vol.51 , pp. 343-379
    • Kuipers, B.J.1    Chiu, C.2    Dalle Molle, D.3    Throop, D.4
  • 16
    • 84990626730 scopus 로고
    • Non-intersection of trajectories in qualitative phase space: A global constraint for qualitative simulation
    • Saint Paul, MI
    • W. W. Lee, and B. J. Kuipers, “Non-intersection of trajectories in qualitative phase space: A global constraint for qualitative simulation,” in Proc. AAAI-88, Saint Paul, MI, 1988, pp. 286-290.
    • (1988) Proc. AAAI-88 , pp. 286-290
    • Lee, W.W.1    Kuipers, B.J.2
  • 17
    • 85033515878 scopus 로고
    • Global filters for qualitative behaviors
    • St. Paul, MI
    • P. Struss, “Global filters for qualitative behaviors,” in Proc. AAAI-88, St. Paul, MI, 1988, pp. 275-279.
    • (1988) Proc. AAAI-88 , pp. 275-279
    • Struss, P.1
  • 19
    • 0024103767 scopus 로고
    • Comparative analysis
    • D. S. Weld, “Comparative analysis,” Artificial Intell. J., vol. 36, pp. 333-374, 1988.
    • (1988) Artificial Intell. J. , vol.36 , pp. 333-374
    • Weld, D.S.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.