Survey of Theme One Program • 3

This is a Survey of blog and wiki posts relating to the Theme One Program I worked on all through the 1980s.  The aim was to develop fundamental algorithms and data structures for integrating empirical learning with logical reasoning.  I had earlier developed separate programs for basic components of those tasks, namely, 2-level formal language learning and propositional constraint satisfaction, the latter using an extension of C.S. Peirce’s logical graphs as a syntax for propositional logic.  Thus arose the question of how well it might be possible to get “empiricist” and “rationalist” modes of operation to cooperate.  The long-term vision is the design and implementation of an Automated Research Tool able to double as a platform for Inquiry Driven Education.

Wiki Hub

Documentation

Blog Series

  • Theme One Program • Exposition • (1)(2)(3)

Blog Dialogs

Applications

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.  Online.
  • 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.  Online.

cc: Conceptual Graphs • Cybernetics (1) (2) • Laws of Form (1) (2) (3)
cc: Ontolog Forum (1) (2) (3) • Structural Modeling (1) (2) • Systems Science (1) (2) (3)
cc: Peirce List (Dec 2012) (Feb 2018) (Mar 2018) (Sep 2020) (Oct 2020) (Oct 2021)
cc: FB | Theme One Program

This entry was posted in Algorithms, Animata, Artificial Intelligence, Boolean Functions, C.S. Peirce, Cactus Graphs, Cognition, Computation, Constraint Satisfaction Problems, Data Structures, Differential Logic, Equational Inference, Formal Languages, Graph Theory, Inquiry Driven Systems, Laws of Form, Learning Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Semiotics, Spencer Brown, Visualization and tagged , , , , , , , , , , , , , , , , , , , , , , , , , , . Bookmark the permalink.

40 Responses to Survey of Theme One Program • 3

  1. Pingback: Survey of Animated Logical Graphs • 3 | Inquiry Into Inquiry

  2. Pingback: Theme One • A Program Of Inquiry 19 | Inquiry Into Inquiry

  3. Pingback: Theme One • A Program Of Inquiry 20 | Inquiry Into Inquiry

  4. Pingback: Animated Logical Graphs • 45 | Inquiry Into Inquiry

  5. Pingback: Survey of Animated Logical Graphs • 2 | Inquiry Into Inquiry

  6. Pingback: Survey of Animated Logical Graphs • 1 | Inquiry Into Inquiry

  7. Pingback: Animated Logical Graphs • 46 | Inquiry Into Inquiry

  8. Pingback: Animated Logical Graphs • 47 | Inquiry Into Inquiry

  9. Pingback: Animated Logical Graphs • 48 | Inquiry Into Inquiry

  10. Pingback: Animated Logical Graphs • 49 | Inquiry Into Inquiry

  11. Pingback: Animated Logical Graphs • 38 | Inquiry Into Inquiry

  12. Pingback: Animated Logical Graphs • 50 | Inquiry Into Inquiry

  13. Pingback: Animated Logical Graphs • 59 | Inquiry Into Inquiry

  14. Pingback: Animated Logical Graphs • 60 | Inquiry Into Inquiry

  15. Pingback: Animated Logical Graphs • 61 | Inquiry Into Inquiry

  16. Pingback: Animated Logical Graphs • 62 | Inquiry Into Inquiry

  17. Pingback: Animated Logical Graphs • 63 | Inquiry Into Inquiry

  18. Pingback: Animated Logical Graphs • 64 | Inquiry Into Inquiry

  19. Pingback: Animated Logical Graphs • 65 | Inquiry Into Inquiry

  20. Pingback: Survey of Animated Logical Graphs • 4 | Inquiry Into Inquiry

  21. Pingback: Differential Logic • Discussion 3 | Inquiry Into Inquiry

  22. Pingback: Differential Logic and Dynamic Systems • Discussion 5 | Inquiry Into Inquiry

  23. Pingback: Differential Logic and Dynamic Systems • Discussion 6 | Inquiry Into Inquiry

  24. Pingback: Differential Logic • Discussion 14 | Inquiry Into Inquiry

  25. Pingback: Logical Graphs • Discussion 1 | Inquiry Into Inquiry

  26. Pingback: Logical Graphs, Iconicity, Interpretation • 1 | Inquiry Into Inquiry

  27. Pingback: Logical Graphs, Iconicity, Interpretation • 2 | Inquiry Into Inquiry

  28. Pingback: Logical Graphs, Iconicity, Interpretation • Discussion 1 | Inquiry Into Inquiry

  29. Pingback: Theme One Program • Discussion 4 | Inquiry Into Inquiry

  30. Pingback: Theme One Program • Motivation 1 | Inquiry Into Inquiry

  31. Pingback: Theme One Program • Motivation 2 | Inquiry Into Inquiry

  32. Pingback: Theme One Program • Motivation 3 | Inquiry Into Inquiry

  33. Pingback: Theme One Program • Discussion 1 | Inquiry Into Inquiry

  34. Pingback: Theme One Program • Motivation 4 | Inquiry Into Inquiry

  35. Pingback: Theme One Program • Discussion 5 | Inquiry Into Inquiry

  36. Pingback: Theme One Program • Motivation 5 | Inquiry Into Inquiry

  37. Pingback: Theme One Program • Motivation 6 | Inquiry Into Inquiry

  38. Pingback: Triadic Relations • Discussion 3 | Inquiry Into Inquiry

  39. Pingback: Survey of Abduction, Deduction, Induction, Analogy, Inquiry • 2 | Inquiry Into Inquiry

  40. Pingback: Survey of Animated Logical Graphs • 5 | Inquiry Into Inquiry

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.