Qualitative Mathematical Reasoning

Sacks, Elisha

Qualitative Mathematical Reasoning

Download BibTeX Cite

Proceedings of the Ninth International Joint Conference on Artificial Intelligence. Automated Reasoning. Pages 137-138.

Abstract

Qualitative analysis studies the me chanisms with which humans derive the abstract behavior of a complex system from a description of its components and th ei r interconnections, while ignoring unimportant or unknown low - level details. I present a program that analyzes a sys tem by forming and combining mathematiwl descriptions of its s ub -systems . This approach can overcome significant shortcomings in the s:mulation method used by other qu alitative reasoning systems.

Elisha Sacks. 1985. Qualitative Mathematical Reasoning. In Proceedings of the Ninth International Joint Conference on Artificial Intelligence, IJCAI-85. IJCAI, 137–138. https://ijcai.org/proceedings/1985/24

@inproceedings{ijcai1985p24,
  title     = {Qualitative Mathematical Reasoning},
  author    = {Sacks, Elisha},
  booktitle = {Proceedings of the Ninth International Joint Conference on
               Artificial Intelligence, {IJCAI-85}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Aravind Joshi},
  pages     = {137--138},
  year      = {1985},
  note      = {Automated Reasoning},
  url       = {https://ijcai.org/proceedings/1985/24},
}

TY  - CPAPER
TI  - Qualitative Mathematical Reasoning
AU  - Sacks, Elisha
T2  - Proceedings of the Ninth International Joint Conference on Artificial Intelligence, IJCAI-85
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1985
SP  - 137
EP  - 138
UR  - https://ijcai.org/proceedings/1985/24
ER  -