--
All contributions to this forum are covered by an open-source license.
For information about the wiki, the license, and how to subscribe or unsubscribe to the forum, see http://ontologforum.org/info/
--- You received this message because you are subscribed to the Google Groups "ontolog-forum" group.
To unsubscribe from this group and stop receiving emails from it, send an email to ontolog-forum+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
--
All contributions to this forum are covered by an open-source license.
For information about the wiki, the license, and how to subscribe or unsubscribe to the forum, see http://ontologforum.org/info/
--- You received this message because you are subscribed to the Google Groups "ontolog-forum" group.
To unsubscribe from this group and stop receiving emails from it, send an email to ontolog-forum+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
--
All contributions to this forum are covered by an open-source license.
For information about the wiki, the license, and how to subscribe or unsubscribe to the forum, see http://ontologforum.org/info/
--- You received this message because you are subscribed to the Google Groups "ontolog-forum" group.
To unsubscribe from this group and stop receiving emails from it, send an email to ontolog-forum+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
--
All contributions to this forum are covered by an open-source license.
For information about the wiki, the license, and how to subscribe or unsubscribe to the forum, see http://ontologforum.org/info/
--- You received this message because you are subscribed to the Google Groups "ontolog-forum" group.
To unsubscribe from this group and stop receiving emails from it, send an email to ontolog-forum+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
--
All contributions to this forum are covered by an open-source license.
For information about the wiki, the license, and how to subscribe or unsubscribe to the forum, see http://ontologforum.org/info/
--- You received this message because you are subscribed to the Google Groups "ontolog-forum" group.
To unsubscribe from this group and stop receiving emails from it, send an email to ontolog-forum+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
Re: Ontolog Forum • (1)
Re: Systems Science • (1)
Re: Laws Of Form • (1) • (2) • (3) • (4)
The move is all over but the unpacking, and the time looks ripe to pick up this thread from last spring. Here, by way of a quick refresher, are a few Tables from earlier discussions.
Ontologgers,
As an alternative to piling generalities on generalities,
not that there's anything wrong with that, it also helps
to look at issues as they arise in concrete applications.
One of the most concrete applications I ever attempted was
the program I worked on all through the 80s that sought to
integrate a basic form of inductive (data-driven) learning with
a fundamental form of deductive (concept-driven) reasoning.
Having recently begun a fresh attempt to essay all that on
my blog I think it might serve our ends to share that here.
Survey of Theme One Program • 2
http://inquiryintoinquiry.com/2018/02/25/survey-of-theme-one-program-%e2%80%a2-2/
This is a Survey ( http://inquiryintoinquiry.com/surveys/ )
of previous blog and wiki posts on the Theme One Program that
I developed all through the 1980s. The aim of the project was
to develop fundamental algorithms and data structures to support
an integrated learning and reasoning interface, looking toward the
design of an Automated Research Tool (ART) that could do double duty
as a medium for Inquiry Driven Education (IDE). I wrote up a running
pilot version of the program well enough to get a Master's degree out of
it, but I'm still getting around to writing up the complete documentation.
Wiki Hub
========
* Theme One Program
( http://intersci.ss.uci.edu/wiki/index.php/Theme_One_Program )
Documentation in Progress
=========================
* Theme One Program • Pascal Source Code
( https://www.academia.edu/5210987/Theme_One_Program_Pascal_Source_Code )
* Theme One Program • User Guide
( https://www.academia.edu/5211369/Theme_One_Program_User_Guide )
* Theme One Program • Exposition
( http://intersci.ss.uci.edu/wiki/index.php/Theme_One_Program_%E2%80%A2_Exposition )
Applications
============
* Applications of a Propositional Calculator : Constraint Satisfaction Problems
( https://www.academia.edu/4727842/Applications_of_a_Propositional_Calculator_Constraint_Satisfaction_Problems )
* Exploratory Qualitative Analysis of Sequential Observation Data
( http://intersci.ss.uci.edu/wiki/index.php/Exploratory_Qualitative_Analysis_of_Sequential_Observation_Data )
References
==========
* Awbrey, S.M., and Awbrey, J.L. (May 1991),
“An Architecture for Inquiry : Building Computer Platforms for Discovery”,
Proceedings of the Eighth International Conference on Technology and Education,
Toronto, Canada, pp. 874–875.
( https://www.academia.edu/1270327/An_Architecture_for_Inquiry_Building_Computer_Platforms_for_Discovery ) .
* Awbrey, J.L., and Awbrey, S.M. (January 1991),
“Exploring Research Data Interactively : Developing a Computer Architecture for Inquiry”,
Poster presented at the Annual Sigma Xi Research Forum, University of Texas Medical Branch,
Galveston, TX.
* Awbrey, J.L., and Awbrey, S.M. (August 1990),
“Exploring Research Data Interactively • Theme One : A Program of Inquiry”,
Proceedings of the Sixth Annual Conference on Applications of Artificial Intelligence
and CD-ROM in Education and Training, Society for Applied Learning Technology,
Washington, DC, pp. 9–15.
( https://www.academia.edu/1272839/Exploring_Research_Data_Interactively._Theme_One_A_Program_of_Inquiry ) .