ONT Re: Architectronics Of Inquiry :> Discussion
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
Topic :> Architectronics Of Inquiry :> Discussion 3
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
JA = Jon Awbrey
JP = Jack Park
JP: Benjamin Kuipers' book 'Qualitative Reasoning:
Modeling and Simulations with Incomplete Knowledge',
is all about QSIM, qualitative differential equations.
Yes, I followed the work of his group, and also that of Ken Forbus
on Qualitative Physics, all through the middle 80's to middle 90's.
But I guess I have a different sense of how it ought to be done,
starting from the fundamentals rather than tacked on ad hoc.
Still, I believe that Kuiper's work is about as good as it
can get coming at the subject from that particular angle.
There has long been a study, with many standard texts already out there,
called the "qualitative approach to differential equations", but this
is more like the "differential approach to qualitative equations".
I will append the links to my own minum opus.
there's also a couple of briefer and prettier
introductions that Murray Altheim did up for me
with his A.P.T. text-to-hyper system, and that are
stored here:
http://www.altheim.com/cs/index.html
Jon Awbrey
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
Differential Logic and Dynamic Systems
0. Purpose
1. Review and Transition
D01. http://suo.ieee.org/ontology/msg04799.html
2. Functional Conception of Propositional Calculus
D02. http://suo.ieee.org/ontology/msg04800.html
D03. http://suo.ieee.org/ontology/msg04801.html
D04. http://suo.ieee.org/ontology/msg04802.html
D05. http://suo.ieee.org/ontology/msg04803.html
D06. http://suo.ieee.org/ontology/msg04804.html
D07. http://suo.ieee.org/ontology/msg04805.html
D08. http://suo.ieee.org/ontology/msg04806.html
D09. http://suo.ieee.org/ontology/msg04807.html
D10. http://suo.ieee.org/ontology/msg04808.html
D11. http://suo.ieee.org/ontology/msg04809.html
3. Differential Extension of Propositional Calculus
D12. http://suo.ieee.org/ontology/msg04810.html
D13. http://suo.ieee.org/ontology/msg04811.html
D14. http://suo.ieee.org/ontology/msg04812.html
D15. http://suo.ieee.org/ontology/msg04813.html
D16. http://suo.ieee.org/ontology/msg04814.html
D17. http://suo.ieee.org/ontology/msg04815.html
4. Back to the Beginning: Some Exemplary Universes
D18. http://suo.ieee.org/ontology/msg04816.html
D19. http://suo.ieee.org/ontology/msg04817.html
D20. http://suo.ieee.org/ontology/msg04818.html
D21. http://suo.ieee.org/ontology/msg04819.html
D22. http://suo.ieee.org/ontology/msg04820.html
D23. http://suo.ieee.org/ontology/msg04821.html
D24. http://suo.ieee.org/ontology/msg04822.html
5. Transformations of Discourse
D25. http://suo.ieee.org/ontology/msg04823.html
5.1. Foreshadowing Transformations: Extensions and Projections of Discourse
D26. http://suo.ieee.org/ontology/msg04824.html
D27. http://suo.ieee.org/ontology/msg04825.html
5.2. Thematization of Functions: And a Declaration of Independence for Variables
D28. http://suo.ieee.org/ontology/msg04826.html
D29. http://suo.ieee.org/ontology/msg04827.html
D30. http://suo.ieee.org/ontology/msg04828.html
D31. http://suo.ieee.org/ontology/msg04829.html
D32. http://suo.ieee.org/ontology/msg04830.html
D33. http://suo.ieee.org/ontology/msg04832.html
5.3. Propositional Transformations
D34. http://suo.ieee.org/ontology/msg04833.html
D35. http://suo.ieee.org/ontology/msg04834.html
D36. http://suo.ieee.org/ontology/msg04835.html
5.4. Analytic Expansions: Operators and Functors
D37. http://suo.ieee.org/ontology/msg04836.html
D38. http://suo.ieee.org/ontology/msg04837.html
D39. http://suo.ieee.org/ontology/msg04838.html
D40. http://suo.ieee.org/ontology/msg04839.html
D41. http://suo.ieee.org/ontology/msg04840.html
D42. http://suo.ieee.org/ontology/msg04841.html
D43. http://suo.ieee.org/ontology/msg04842.html
D44. http://suo.ieee.org/ontology/msg04843.html
D45. http://suo.ieee.org/ontology/msg04844.html
5.5. Transformations of Type B^2 -> B^1
D46. http://suo.ieee.org/ontology/msg04845.html
D47. http://suo.ieee.org/ontology/msg04846.html
D48. http://suo.ieee.org/ontology/msg04847.html
D49. http://suo.ieee.org/ontology/msg04848.html
D50. http://suo.ieee.org/ontology/msg04849.html
D51. http://suo.ieee.org/ontology/msg04850.html
D52. http://suo.ieee.org/ontology/msg04851.html
D53. http://suo.ieee.org/ontology/msg04852.html
D54. http://suo.ieee.org/ontology/msg04853.html
D55. http://suo.ieee.org/ontology/msg04854.html
D56. http://suo.ieee.org/ontology/msg04855.html
D57. http://suo.ieee.org/ontology/msg04856.html
D58. http://suo.ieee.org/ontology/msg04857.html
D59. http://suo.ieee.org/ontology/msg04858.html
D60. http://suo.ieee.org/ontology/msg04859.html
D61. http://suo.ieee.org/ontology/msg04860.html
D62. http://suo.ieee.org/ontology/msg04861.html
D63. http://suo.ieee.org/ontology/msg04862.html
D64. http://suo.ieee.org/ontology/msg04863.html
D65. http://suo.ieee.org/ontology/msg04864.html
D66. http://suo.ieee.org/ontology/msg04865.html
D67. http://suo.ieee.org/ontology/msg04866.html
D68. http://suo.ieee.org/ontology/msg04867.html
D69. http://suo.ieee.org/ontology/msg04868.html
D70. http://suo.ieee.org/ontology/msg04869.html
5.6. Taking Aim at Higher Dimensional Targets
D71. http://suo.ieee.org/ontology/msg04870.html
D72. http://suo.ieee.org/ontology/msg04871.html
5.7. Transformations of Type B^2 -> B^2
D73. http://suo.ieee.org/ontology/msg04872.html
D74. http://suo.ieee.org/ontology/msg04873.html
D75. http://suo.ieee.org/ontology/msg04874.html
D76. http://suo.ieee.org/ontology/msg04875.html
D77. http://suo.ieee.org/ontology/msg04876.html
D78. http://suo.ieee.org/ontology/msg04877.html
D79. http://suo.ieee.org/ontology/msg04878.html
D80. http://suo.ieee.org/ontology/msg04879.html
D81. http://suo.ieee.org/ontology/msg04880.html
D82. http://suo.ieee.org/ontology/msg04882.html
D83. http://suo.ieee.org/ontology/msg04883.html
Epilogue, Enchoiry, Exodus
D84. http://suo.ieee.org/ontology/msg04884.html
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
http://www.cs.bsu.edu/homepages/mighty/history.html
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o