mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Server stats:

2.9K
active users

#InformationStateSpace

0 posts0 participants0 posts today
Jon Awbrey<p>Survey of Inquiry Driven Systems • 6<br />• <a href="https://inquiryintoinquiry.com/2024/02/28/survey-of-inquiry-driven-systems-6/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2024/02</span><span class="invisible">/28/survey-of-inquiry-driven-systems-6/</span></a></p><p>This is a Survey of work in progress on Inquiry Driven Systems, material I plan to refine toward a more systematic treatment of the subject.</p><p>An “inquiry driven system” is a system having among its state variables some representing its state of information with respect to various questions of interest, for example, its own state and the states of potential object systems. Thus it has a component of state tracing a trajectory though an “information state space”.</p><p>Please follow the above link for the full set of resources.<br />Articles treating the more central ideas are linked below.</p><p>Elements —</p><p>Prospects for Inquiry Driven Systems<br />• <a href="https://oeis.org/wiki/User:Jon_Awbrey/Prospects_for_Inquiry_Driven_Systems" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/User:Jon_Awbrey/</span><span class="invisible">Prospects_for_Inquiry_Driven_Systems</span></a></p><p>Introduction to Inquiry Driven Systems<br />• <a href="https://oeis.org/wiki/Introduction_to_Inquiry_Driven_Systems" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Introduction_to_</span><span class="invisible">Inquiry_Driven_Systems</span></a></p><p>Background —</p><p>Functional Logic • Inquiry and Analogy<br />• <a href="https://oeis.org/wiki/Functional_Logic_%E2%80%A2_Inquiry_and_Analogy" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Functional_Logic</span><span class="invisible">_%E2%80%A2_Inquiry_and_Analogy</span></a></p><p>Functional Logic • Quantification Theory<br />• <a href="https://oeis.org/wiki/Functional_Logic_%E2%80%A2_Quantification_Theory" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Functional_Logic</span><span class="invisible">_%E2%80%A2_Quantification_Theory</span></a></p><p>Functional Logic • Higher Order Propositions<br />• <a href="https://oeis.org/wiki/Functional_Logic_%E2%80%A2_Higher_Order_Propositions" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Functional_Logic</span><span class="invisible">_%E2%80%A2_Higher_Order_Propositions</span></a></p><p>Developments —</p><p>Inquiry Driven Systems • Inquiry Fields<br />• <a href="https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Inquiry_Fields" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Inquiry_Driven_S</span><span class="invisible">ystems_%E2%80%A2_Inquiry_Fields</span></a></p><p>Inquiry Driven Systems • Inquiry Into Inquiry<br />• <a href="https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Overview" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Inquiry_Driven_S</span><span class="invisible">ystems_%E2%80%A2_Overview</span></a></p><p>Applications —</p><p>Conceptual Barriers to Creating Integrative Universities<br />• <a href="https://www.academia.edu/1266492/Conceptual_Barriers_to_Creating_Integrative_Universities" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">academia.edu/1266492/Conceptua</span><span class="invisible">l_Barriers_to_Creating_Integrative_Universities</span></a></p><p>Interpretation as Action • The Risk of Inquiry<br />• <a href="https://www.academia.edu/57812482/Interpretation_as_Action_The_Risk_of_Inquiry" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">academia.edu/57812482/Interpre</span><span class="invisible">tation_as_Action_The_Risk_of_Inquiry</span></a></p><p>An Architecture for Inquiry • Building Computer Platforms for Discovery<br />• <a href="https://www.academia.edu/1270327/An_Architecture_for_Inquiry_Building_Computer_Platforms_for_Discovery" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">academia.edu/1270327/An_Archit</span><span class="invisible">ecture_for_Inquiry_Building_Computer_Platforms_for_Discovery</span></a></p><p>Exploring Research Data Interactively • Theme One : A Program of Inquiry<br />• <a href="https://www.academia.edu/1272839/Exploring_Research_Data_Interactively._Theme_One_A_Program_of_Inquiry" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">academia.edu/1272839/Exploring</span><span class="invisible">_Research_Data_Interactively._Theme_One_A_Program_of_Inquiry</span></a></p><p><a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="tag">#<span>Peirce</span></a> <a href="https://mathstodon.xyz/tags/Inquiry" class="mention hashtag" rel="tag">#<span>Inquiry</span></a> <a href="https://mathstodon.xyz/tags/InquiryDrivenSystems" class="mention hashtag" rel="tag">#<span>InquiryDrivenSystems</span></a> <a href="https://mathstodon.xyz/tags/InformationStateSpace" class="mention hashtag" rel="tag">#<span>InformationStateSpace</span></a> <br /><a href="https://mathstodon.xyz/tags/Semiotics" class="mention hashtag" rel="tag">#<span>Semiotics</span></a> <a href="https://mathstodon.xyz/tags/SignRelations" class="mention hashtag" rel="tag">#<span>SignRelations</span></a> <a href="https://mathstodon.xyz/tags/Interpretation" class="mention hashtag" rel="tag">#<span>Interpretation</span></a> <a href="https://mathstodon.xyz/tags/SystemsEngineering" class="mention hashtag" rel="tag">#<span>SystemsEngineering</span></a> <br /><a href="https://mathstodon.xyz/tags/Abduction" class="mention hashtag" rel="tag">#<span>Abduction</span></a> <a href="https://mathstodon.xyz/tags/Deduction" class="mention hashtag" rel="tag">#<span>Deduction</span></a> <a href="https://mathstodon.xyz/tags/Induction" class="mention hashtag" rel="tag">#<span>Induction</span></a> <a href="https://mathstodon.xyz/tags/Analogy" class="mention hashtag" rel="tag">#<span>Analogy</span></a> <a href="https://mathstodon.xyz/tags/DynamicsOfInquiry" class="mention hashtag" rel="tag">#<span>DynamicsOfInquiry</span></a></p>
Jon Awbrey<p>Survey of Inquiry Driven Systems • 5<br />• <a href="https://inquiryintoinquiry.com/2023/04/23/survey-of-inquiry-driven-systems-5/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2023/04</span><span class="invisible">/23/survey-of-inquiry-driven-systems-5/</span></a></p><p>This is a Survey of work in progress on Inquiry Driven Systems, material I plan to refine toward a more systematic treatment of the subject.</p><p>An “inquiry driven system” is a system having among its state variables some representing its state of information with respect to various questions of interest, for example, its own state and the states of potential object systems. Thus it has a component of state tracing a trajectory though an “information state space”.</p><p>Please follow the above link for the full set of resources.<br />Articles treating the more central ideas are linked below.</p><p>Elements —</p><p>Prospects for Inquiry Driven Systems<br />• <a href="https://oeis.org/wiki/User:Jon_Awbrey/Prospects_for_Inquiry_Driven_Systems" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/User:Jon_Awbrey/</span><span class="invisible">Prospects_for_Inquiry_Driven_Systems</span></a></p><p>Introduction to Inquiry Driven Systems<br />• <a href="https://oeis.org/wiki/Introduction_to_Inquiry_Driven_Systems" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Introduction_to_</span><span class="invisible">Inquiry_Driven_Systems</span></a></p><p>Background —</p><p>Functional Logic • Inquiry and Analogy<br />• <a href="https://oeis.org/wiki/Functional_Logic_%E2%80%A2_Inquiry_and_Analogy" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Functional_Logic</span><span class="invisible">_%E2%80%A2_Inquiry_and_Analogy</span></a></p><p>Functional Logic • Quantification Theory<br />• <a href="https://oeis.org/wiki/Functional_Logic_%E2%80%A2_Quantification_Theory" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Functional_Logic</span><span class="invisible">_%E2%80%A2_Quantification_Theory</span></a></p><p>Functional Logic • Higher Order Propositions<br />• <a href="https://oeis.org/wiki/Functional_Logic_%E2%80%A2_Higher_Order_Propositions" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Functional_Logic</span><span class="invisible">_%E2%80%A2_Higher_Order_Propositions</span></a></p><p>Developments —</p><p>Inquiry Driven Systems • Inquiry Fields<br />• <a href="https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Inquiry_Fields" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Inquiry_Driven_S</span><span class="invisible">ystems_%E2%80%A2_Inquiry_Fields</span></a></p><p>Inquiry Driven Systems • Inquiry Into Inquiry<br />• <a href="https://oeis.org/wiki/Inquiry_Driven_Systems_%E2%80%A2_Overview" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">oeis.org/wiki/Inquiry_Driven_S</span><span class="invisible">ystems_%E2%80%A2_Overview</span></a></p><p>Applications —</p><p>Conceptual Barriers to Creating Integrative Universities<br />• <a href="https://www.academia.edu/1266492/Conceptual_Barriers_to_Creating_Integrative_Universities" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">academia.edu/1266492/Conceptua</span><span class="invisible">l_Barriers_to_Creating_Integrative_Universities</span></a></p><p>Interpretation as Action • The Risk of Inquiry<br />• <a href="https://www.academia.edu/57812482/Interpretation_as_Action_The_Risk_of_Inquiry" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">academia.edu/57812482/Interpre</span><span class="invisible">tation_as_Action_The_Risk_of_Inquiry</span></a></p><p>An Architecture for Inquiry • Building Computer Platforms for Discovery<br />• <a href="https://www.academia.edu/1270327/An_Architecture_for_Inquiry_Building_Computer_Platforms_for_Discovery" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">academia.edu/1270327/An_Archit</span><span class="invisible">ecture_for_Inquiry_Building_Computer_Platforms_for_Discovery</span></a></p><p>Exploring Research Data Interactively • Theme One : A Program of Inquiry<br />• <a href="https://www.academia.edu/1272839/Exploring_Research_Data_Interactively._Theme_One_A_Program_of_Inquiry" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://www.</span><span class="ellipsis">academia.edu/1272839/Exploring</span><span class="invisible">_Research_Data_Interactively._Theme_One_A_Program_of_Inquiry</span></a></p><p><a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="tag">#<span>Peirce</span></a> <a href="https://mathstodon.xyz/tags/Inquiry" class="mention hashtag" rel="tag">#<span>Inquiry</span></a> <a href="https://mathstodon.xyz/tags/InquiryDrivenSystems" class="mention hashtag" rel="tag">#<span>InquiryDrivenSystems</span></a> <a href="https://mathstodon.xyz/tags/InformationStateSpace" class="mention hashtag" rel="tag">#<span>InformationStateSpace</span></a><br /><a href="https://mathstodon.xyz/tags/Semiotics" class="mention hashtag" rel="tag">#<span>Semiotics</span></a> <a href="https://mathstodon.xyz/tags/SignRelations" class="mention hashtag" rel="tag">#<span>SignRelations</span></a> <a href="https://mathstodon.xyz/tags/Interpretation" class="mention hashtag" rel="tag">#<span>Interpretation</span></a> <a href="https://mathstodon.xyz/tags/SystemsEngineering" class="mention hashtag" rel="tag">#<span>SystemsEngineering</span></a><br /><a href="https://mathstodon.xyz/tags/Abduction" class="mention hashtag" rel="tag">#<span>Abduction</span></a> <a href="https://mathstodon.xyz/tags/Deduction" class="mention hashtag" rel="tag">#<span>Deduction</span></a> <a href="https://mathstodon.xyz/tags/Induction" class="mention hashtag" rel="tag">#<span>Induction</span></a> <a href="https://mathstodon.xyz/tags/Analogy" class="mention hashtag" rel="tag">#<span>Analogy</span></a> <a href="https://mathstodon.xyz/tags/DynamicsOfInquiry" class="mention hashtag" rel="tag">#<span>DynamicsOfInquiry</span></a></p>
Jon Awbrey<p><a href="https://mathstodon.xyz/tags/InquiryDrivenSystems" class="mention hashtag" rel="tag">#<span>InquiryDrivenSystems</span></a> • <a href="https://mathstodon.xyz/tags/SurveyPage" class="mention hashtag" rel="tag">#<span>SurveyPage</span></a><br />• <a href="https://inquiryintoinquiry.com/2022/08/12/survey-of-inquiry-driven-systems-4/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">inquiryintoinquiry.com/2022/08</span><span class="invisible">/12/survey-of-inquiry-driven-systems-4/</span></a></p><p>An <a href="https://mathstodon.xyz/tags/InquiryDrivenSystem" class="mention hashtag" rel="tag">#<span>InquiryDrivenSystem</span></a> is a system having among its <a href="https://mathstodon.xyz/tags/StateVariables" class="mention hashtag" rel="tag">#<span>StateVariables</span></a> some representing its <a href="https://mathstodon.xyz/tags/StateOfInformation" class="mention hashtag" rel="tag">#<span>StateOfInformation</span></a> with respect to various topics of interest, for instance, its own state and the states of any potential <a href="https://mathstodon.xyz/tags/ObjectSystems" class="mention hashtag" rel="tag">#<span>ObjectSystems</span></a>. Thus it has a <a href="https://mathstodon.xyz/tags/ComponentOfState" class="mention hashtag" rel="tag">#<span>ComponentOfState</span></a> tracing a trajectory though an <a href="https://mathstodon.xyz/tags/InformationStateSpace" class="mention hashtag" rel="tag">#<span>InformationStateSpace</span></a>.</p><p>Related —<br /><a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="tag">#<span>AI</span></a> <a href="https://mathstodon.xyz/tags/IntelligentSystems" class="mention hashtag" rel="tag">#<span>IntelligentSystems</span></a><br /><a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="tag">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/DifferentialLogic" class="mention hashtag" rel="tag">#<span>DifferentialLogic</span></a><br /><a href="https://mathstodon.xyz/tags/Peirce" class="mention hashtag" rel="tag">#<span>Peirce</span></a> <a href="https://mathstodon.xyz/tags/Inquiry" class="mention hashtag" rel="tag">#<span>Inquiry</span></a> <a href="https://mathstodon.xyz/tags/Semiotics" class="mention hashtag" rel="tag">#<span>Semiotics</span></a><br /><a href="https://mathstodon.xyz/tags/ScientificMethod" class="mention hashtag" rel="tag">#<span>ScientificMethod</span></a> <a href="https://mathstodon.xyz/tags/Cybernetics" class="mention hashtag" rel="tag">#<span>Cybernetics</span></a></p>