superant
https://superant.livejournal.com/
superant - LiveJournal.comWed, 14 Mar 2012 21:57:40 GMTLiveJournal / LiveJournal.comsuperant635351personalhttps://l-userpic.livejournal.com/105020167/635351superant
https://superant.livejournal.com/
73100https://superant.livejournal.com/4093.htmlWed, 14 Mar 2012 21:57:40 GMTVery religious people have greater wellbeing
https://superant.livejournal.com/4093.html
This Gallup survey announcement is fascinating. I was very interested in reading the results on the Gallup website. I imagine it is unlikely they will advertised the other finding of the survey, which shows that nonreligious people report higher wellbeing than moderately religious survey respondents.<br />Gallup clearly explains that the connection between religion and wellbeing in this survey is a correlation, but not an indication of a cause relation between the two. They also point out that one strong factor in the results is a higher incidence of smoking among people with lower wellbeing.<br />In terms of possible things about religion that could add to a sense of overall wellbeing, the Gallup website suggests several possibilities. I think the best suggestion, they give, is the idea that increased amounts of time spent socially and engaged in social networks might contribute to improved feelings of wellbeing. Many religions feature community activities prominently as part of their practices. So it is likely that very religious people have supportive social ties and interactions which might improve their feelings of wellbeing; and if they smoke less, these individuals should be physically healthier.<br />Steven Gibson<br /><br />In response to March 11, 2012 Valley Sun In theory question.https://superant.livejournal.com/4093.html#commentspublic0https://superant.livejournal.com/3780.htmlWed, 14 Mar 2012 21:55:11 GMTConflict between religion and secular advocates
https://superant.livejournal.com/3780.html
There will likely always be tension between advocates for religious<br />beliefs and advocates for secular or atheist beliefs. Some members of<br />each of these camps believe that political leaders and systems should<br />take advice from them in how the government should operate. There is a<br />very long history of religious leaders believing the government should<br />support them and encourage religious faith in a nation. Even in the<br />United States, where separation of church and state is the law of the<br />land, I can not handle any piece of money without seeing "In God we<br />Trust." The Pledge of Allegiance contains the words "one nation under<br />God." Most religious advocates do not even see these strong clues of<br />religious influence in our social and political life. And in Britain<br />an even deeper history of strong religious influence has existed.<br />Secular views are not protected in Britain by law, and that condition<br />exists in most countries in the world, including Iran, Pakistan, Saudi<br />Arabia, etc. The Anglican Church is the politically recognized<br />official religious authority in England by Act of Parliament.<br />Twenty-six bishops in the Church of England have legal rights to<br />participate in the House of Lords. Just last week the Queen made one<br />of the most outspoken speeches of her 60-year reign about the need to<br />honor the Church. Her speech included: "We should remind ourselves of<br />the significant position of the Church of England in our nation's<br />life." So while advocates for religion in England are decrying recent<br />court decisions, advocates for secularism and/or atheism feel the time<br />is long past for religion to continue to play an overly exalted role<br />in British life.<br />For different reasons advocates for atheism and secularism, in the<br />United States are engaging and will continue to engage in friction<br />filled dialog with advocates for religion in this country. Each side<br />believes the other side has too much influence in political life and<br />decisions. So as long as advocates for each side believe the other<br />side has too much power and influence, the friction will continue.<br />Steven Gibson<br /><br />In answer to Valley Sun In theory question Feb 26, 2012https://superant.livejournal.com/3780.html#commentspublic0https://superant.livejournal.com/3581.htmlSat, 30 Jul 2011 01:10:11 GMTInteraction Matrix Model for Language Production
https://superant.livejournal.com/3581.html
<span style="font-size: medium;">Steven Gibson<br />California State University - Northridge<br /><br />Abstract. </span><p style="margin: 0px; text-indent: 0px;"><span style="font-size: medium;">The Congruent Interaction Matrix (CIM) model is being</span></p><p style="margin: 0px; text-indent: 0px;"><span style="font-size: medium;">formulated to represent knowledge updating and language production. The line of research taken in this paper is limited to a set of questions restricted to concepts and actions that can be used in modeling human language behavior. The Congruent Interaction Matrix model introduced here proposes virtual structures represented as matrices. The theoretical and practical value of developing this framework and set of algorithms is discussed, in order to create tools useful for modeling human communication interactions. Possible future research studies and applications are suggested. The development of these tools could have future implications for human and machine communication analysis and production.</span></p><span style="font-size: medium;"><br /></span><br />link to paper: <a href="http://stevengibson.org/LasVegas2011/ICA3690.pdf" rel="nofollow"><span style="text-decoration: underline;">http://stevengibson.org/LasVegas2011/ICA3690.pdf</span></a><br /><br />link to slides: <a href="http://stevengibson.org/LasVegas2011/LasVegasSlideShow2011.pdf" rel="nofollow"><span style="text-decoration: underline;">http://stevengibson.org/LasVegas2011/LasVegasSlideShow2011.pdf</span></a><br /><br />link to talk outline: <a href="http://stevengibson.org/LasVegas2011/LasVegasTalk2011.pdf" rel="nofollow">http://stevengibson.org/LasVegas2011/LasVegasTalk2011.pdf</a><br /><br />link to conference:<a href="http://www.world-academy-of-science.org/worldcomp11/" rel="nofollow"> http://www.world-academy-of-science.org/worldcomp11/</a><br /><span style="font-size: medium;"><br /></span>Presented at: 2011 World Congress in Computer Science - Las Vegas July 2011https://superant.livejournal.com/3581.html#commentspublic0https://superant.livejournal.com/3110.htmlWed, 13 Oct 2010 12:31:21 GMTModeling building blocks for language production and processing
https://superant.livejournal.com/3110.html
<font size="2"><b>Abstract:</b></font><font size="2">This paper describes the design and implementation of software that models an aspect of language use. This software postulates that human linguistic activities can be treated as modules that can be assembled and joined together. This model represents activity of modules in the production of language behaviors. The model asserts these modules interpret sensory data and respond with language behaviors. This paper seeks to offer a unified model to explain language production and processing. The software demonstates elements that are added and fulfill language needs. The model also expresses the coexistence of multiple modules that will interact and support each other. While this model does not offer a complete solution to all language use, it presents indications that language processing can be modeled computationally. Future work will be suggested to build on the model.</font><br /><br />Poster presented at: ASIC 2010 Oregon in the summer<br /><a href="http://www.cogs.indiana.edu/asic/2010/abstracts.asp#g" rel="nofollow">http://www.cogs.indiana.edu/asic/2010/abstracts.asp#g</a><br /><br />draft PDF at: <a href="http://stevengibson.org/Science/GibsonASIC201005.pdf" rel="nofollow">http://stevengibson.org/Science/GibsonASIC201005.pdf</a>https://superant.livejournal.com/3110.html#commentspublic2https://superant.livejournal.com/2953.htmlMon, 11 Oct 2010 18:29:37 GMTMathematical proofs
https://superant.livejournal.com/2953.html
<a href="http://rjlipton.wordpress.com/" rel="nofollow">http://rjlipton.wordpress.com/</a><br /><br />Interesting article that starts about a modern approach to P! = NP problem but expands to "<font color="#0006cc"><font color="#000000">Today I want to talk about methods mathematicians use to attack hard problems. Some of these methods are used often by theorists too, while others do not seem to be used as much as they could be."<br /><br /><br /></font></font>https://superant.livejournal.com/2953.html#commentspublic0https://superant.livejournal.com/2747.htmlFri, 19 Feb 2010 01:49:56 GMTFramework for Describing English Micro‐Dialects
https://superant.livejournal.com/2747.html
Framework for Describing English Micro‐Dialects<br />Steven Gibson 2010<br /><br />This paper proposes developing steps for building categories and procedures to record dialects that do not meet the traditional paradigm of heritage language. The paper proposes assessment tools and categorizing methods for predicting or explaining post‐secondary success.<br /><br />Presentation at the<span style="font-size: small;"> First International Conference on Heritage/Community Languages - UCLA Feb 2010<br /></span><h1><span style="font-size: x-small;">Slide presentation at: </span><span style="font-size: small;"> <a href="http://stevengibson.org/PCC/SAGslide03.pdf" rel="nofollow">http://stevengibson.org/PCC/SAGslide03.pdf</a></span></h1><a href="http://www.nhlrc.ucla.edu/conference/" rel="nofollow">http://www.international.ucla.edu/languages/nhlrc/conference</a>https://superant.livejournal.com/2747.html#commentspublic0https://superant.livejournal.com/2326.htmlFri, 10 Apr 2009 21:02:31 GMTProcess algebra modeling of human communication
https://superant.livejournal.com/2326.html
<span style="font-size: medium;"><strong>Process algebra modeling of human communication </strong><br />Steven Gibson<br />Superant Computing<br /><br />Abstract. This paper proposes the use of process algebras and calculi to model human communication behaviors. This paper offers the beginning of formal methods to study the interaction of human beings. We will detail a limited process algebra to provide a tool for the high-level description of interactions, communications, and synchronizations between a collection of independent events. This limited process algebra is called event algebra. The expected outcomes are evaluation, verification of model identity and deadlock detection.<br /></span><br />link to paper: <a href="https://docs.google.com/viewer?a=v&pid=explorer&chrome=true&srcid=0B_OXigCuwUPPYzViMDcyODEtOTczOS00NjI5LTk1ODQtOWMxN2Y5YWE5ZDdj&hl=en&authkey=CKTzl-UN" rel="nofollow">docs.google.com/Doc</a><br /><br />link to slides: <a href="https://docs.google.com/present/edit?id=0AfOXigCuwUPPZDd6Y3RwNV80OWd3ZjZwNnZ4&hl=en&authkey=CI_wwuwF" rel="nofollow">docs.google.com/Doc</a><br /><br />link to conference:<a href="http://www.world-academy-of-science.org/worldcomp09/ws/program/ica14" rel="nofollow"> http://www.world-academy-of-science.org/worldcomp09/ws/program/ica14</a><br /><span style="font-size: medium;"><br /></span>Presented at: 2009 World Congress in Computer Science - Las Vegas July 2009https://superant.livejournal.com/2326.html#commentspublic0https://superant.livejournal.com/2301.htmlFri, 18 Jul 2008 05:46:25 GMTRule Tables for Animal Response
https://superant.livejournal.com/2301.html
<b>Rule Tables for Animal Response</b><br /><p>Steven Gibson</p>SuperAnt Computing, Los Angeles, USA<p> </p>I<strong>ntroduction</strong><br /> <p><span lang="en-US" style="font-family: &apos;Arial&apos;;">This presentation addresses uncertainty in data sets gathered about animal responses using multi-step observations and model selection. Uncertainty is ubiquitous in studies of animal response and behavior. This presentation proposes calculating animal choices using rule tables. It is assumed that animal behavior is responsive, following stimulus or sensory input followed by behavior choices or triggered results. The challenges include: 1. incomplete, imprecise and uncertain data, 2. building rule sets, and 3. determining trigger points. It is postulated that triggered behaviors result in classifiable posterior results.</span></p><b>“Is there any point to which you would wish to draw my attention?”</b><b><br /> “To the curious incident of the dog in the night-time.”<br />“The dog did nothing in the night-time.”<br />“That was the curious incident.” remarked Sherlock Holmes.<br /> </b>from Silver Blaze, by Sir Arthur Conan Doyle <br /><br /> <p style="text-align: left; margin-bottom: 0in; margin-top: 0in; margin-right: 0in;" dir="ltr"><span lang="es-ES" style="font-family: &apos;Arial&apos;;">There are real results in observing animal behavior. We need to find the significance in measurable ways, even when the data is sparse or uncertain.</span></p> <p style="text-align: left; margin-bottom: 0in; margin-top: 0in; margin-right: 0in;" dir="ltr"><br /><span lang="en-US" style="font-weight: bold; font-size: 9pt; font-family: &apos;Arial&apos;;">Uncertainty & Methods</span></p> <p style="text-align: left; margin-bottom: 0in; margin-top: 0in; margin-right: 0in;" dir="ltr"><br /><span lang="es-ES" style="font-family: &apos;Arial&apos;;">Incompleteness and uncertainty usually are a regular part of data collection. Uncertainty is a fundamental component of model selection. Data uncertainty has several origins: Imprecision due to lack of valid observations, distortions in observational processes, or errors in transformations or calculations introduced to the data after collection. Data uncertainty can reduce our ability to measure the quality of our predictions. We are sometimes faced with limits using statistical inference with incomplete data and need to take care with our assumptions. </span><span lang="es-ES" style="font-family: &apos;Arial&apos;; color: rgb(128, 128, 128);">Fortunately incompleteness and uncertainty can sometimes represent knowledge or help build priors. As the models are built for selection, the data and models need to be matched.</span></p> <p style="text-align: left; margin-bottom: 0in; margin-top: 0in; margin-right: 0in;" dir="ltr"><br /><span lang="es-ES" style="font-family: &apos;Arial&apos;;">The data embodied in the priors must be applicable to the data currently being measured.</span></p> <br /> <p style="text-align: left; margin-bottom: 0in; margin-top: 0in; margin-right: 0in;" dir="ltr"><span lang="es-ES" style="font-family: &apos;Arial&apos;;">Decision rules are used to serve predictive functions.</span></p> <br /> <p style="text-align: left; margin-bottom: 0in; margin-top: 0in; margin-right: 0in;" dir="ltr"><span lang="es-ES" style="font-family: &apos;Arial&apos;;">The goal is to select models based on how they can give the best predictions of future observations generated by similar data.</span></p> <br /> <p style="text-align: left; margin-bottom: 0in; margin-top: 0in; margin-right: 0in;" dir="ltr"> </p> <p style="text-align: left; margin-bottom: 0in; margin-top: 0in; margin-right: 0in;" dir="ltr"><span lang="en-US" style="font-weight: bold; font-size: 9pt; font-family: &apos;Arial&apos;;">Animal Behavior</span></p><br /> <p style="text-align: left; margin-bottom: 0in; margin-top: 0in; margin-right: 0in;" dir="ltr"><span lang="es-ES" style="font-family: &apos;Arial&apos;;">We are using a thought experiment of dog behavior based upon a hypothetical dog choosing to bark. Animal behaviors often seem computationally and practically unpredictable. There is a combinatorial property of animal behavior that requires repeated model selection. Behaviors involve cycles of needs, desires, responses and triggers. Behaviors are very non-linear and subject to variation and uncertainty in most priors. But we beleive a large enough set of observations will exhibit stochastic charcteristics that point to repeated patterns. The behaviors can be built into classifiers of mult-level models for model selection. These are represented as behavior models that demonstrate patterns that can only be predicted using multi-level selections. The difficultly in selecting models for animals behavior may partially be due to the combinatorial manner of observed behavior. </span></p> <p style="text-align: left; margin-bottom: 0in; margin-top: 0in; margin-right: 0in;" dir="ltr"><br /><span lang="en-US" style="font-family: &apos;Arial&apos;;">Our hypothecial example uses “</span><span lang="en-US" style="font-family: &apos;Arial&apos;; color: rgb(128, 128, 128);">canis lupus familiaris</span><span lang="en-US" style="font-family: &apos;Arial&apos;;">”, the common dog. </span><span lang="es-ES" style="font-family: &apos;Arial&apos;;">We postulate that some behaviors are instinctual while some are modified by learning processes. Our one example simply addresses the prediction of a dog barking based on observed data limited to sleep, relaxation, alertness, and degrees of barking. Using survey data, we postulate that the trigger for barking is high alertness or previous barking. We use a two level model selection to give us the prediction result.</span></p> <p style="text-align: left; margin-bottom: 0in; margin-top: 0in; margin-right: 0in;" dir="ltr"><br /><span lang="es-ES" style="font-family: &apos;Arial&apos;;">Behavior predictions result from models chosen based upon and mediated by trigger rules.</span></p> <p style="text-align: left; margin-bottom: 0in; margin-top: 0in; margin-right: 0in;" dir="ltr"><br /><span lang="es-ES" style="font-weight: bold; font-family: &apos;Arial&apos;;">This is NOT an attempt to model cognitive processes. The model selection is limited to prior data and posterior data.</span></p> <p style="text-align: left; margin-bottom: 0in; margin-top: 0in; margin-right: 0in;" dir="ltr"><br /><span lang="es-ES" style="font-weight: bold; font-family: &apos;Arial&apos;;">Priors To Decisions </span></p> <p style="text-align: left; margin-bottom: 0in; margin-top: 0in; margin-right: 0in;" dir="ltr"><br /><span lang="en-US" style="font-family: &apos;Arial&apos;;">In building and selecting models, priors are used instead of likelihood. These models are meant to predict outcomes. The prior knowledge is used to develop classifiers and derive predictions. For given data, it belongs to class 1 or class 2. Priors are collected on behaviors of the animal like alertness, barking and sleep. </span></p> <p style="text-align: left; margin-bottom: 0in; margin-top: 0in; margin-right: 0in;" dir="ltr"><br /><span lang="en-US" style="font-weight: bold; font-family: &apos;Arial&apos;;">Inference</span></p> <p style="text-align: left; margin-bottom: 0in; margin-top: 0in; margin-right: 0in;" dir="ltr"><br /><span lang="en-US" style="font-weight: bold; font-size: 9pt; font-family: &apos;Arial&apos;;">Rule Tables</span></p> <p style="text-align: left; margin-bottom: 0in; margin-top: 0in; margin-right: 0in;" dir="ltr"><br /><span lang="es-ES" style="font-family: &apos;Arial&apos;;">We base the built classifiers on observed data. Of course we have selected a subset of all possible data to use, and not all data is observable. The important assumption is that by repeated runs, we will obtain accurate predictive ability even without filling in the missing data. So the key is the emperical nature of the cycle. With only conserns for the posterior results we should be able to move closer and closer to accuracy with repetition. Our predictive inference will be made with a sub-sample of the data. The steps will involve building a set of utility models to be selected. Then based on outcomes the models will be refined. </span></p> <p style="text-align: left; margin-bottom: 0in; margin-top: 0in; margin-right: 0in;" dir="ltr"><br /><span lang="es-ES" style="font-family: &apos;Arial&apos;;">This </span><span lang="en-US">hypothetical data is meant to represent repeated data collection of animal behaviors that help choose the models. Either class 1 or class 2 will fit the data best.</span></p> <p style="text-align: left;" dir="ltr"><span lang="en-US" style="font-weight: bold; font-size: 9pt; font-family: &apos;Arial&apos;;">Discussion & Future Work</span><br /><span lang="en-US" style="font-family: &apos;Arial&apos;;"><br />The problem of incomplete data in statistical inference is pervasive in statistical practice. Our ability to validate our conclusions can be limited with incomplete and uncertain priors. The process of using levels of model selection recreates the scientific process. We go through repeating cycles of evidence collection, interpretation in context dependent ways, evidence weighting and production of coherent results. Uncertainty is inherent in this approach, so misleading predictions are often produced. Special care should be taken to document the assumptions underlying the models built with the missing data. </span><span lang="es-ES" style="font-family: &apos;Arial&apos;;">Other animal behavior models should be built and tested.</span><br /><br /><span lang="en-US" style="font-weight: bold; font-size: 9pt; font-family: &apos;Arial&apos;;">References</span><br /><br /><span lang="en-US" style="font-family: &apos;Arial&apos;;">J. Scott and J. Berger. “An exploration of aspects of Bayesian multiple testing”. Technical Report, Duke University. 2003</span><br /><br /><span lang="en-US" style="font-family: &apos;Arial&apos;;">G. de Cooman and M. Zaffalon. Updating beliefs with incomplete observations. Artificial Intelligence 159, 2004</span></p> <p style="text-align: left;" dir="ltr"><span lang="en-US" style="font-family: &apos;Arial&apos;;">G. Socher, G. Sagerer and P. Perona. “Bayesian Reasoning on Qualitative Descriptions from Images and Speech” Image and Vision Computing 2000</span></p> <p style="text-align: left;" dir="ltr"><span lang="en-US" style="font-family: &apos;Arial&apos;;">More info: http://superant.livejournal.com<br /><br /></span> <strong><em>Presentad at:: 9th World Conference of the International Society for Bayesian Analysis (ISBA), held on Hamilton Island Australia in July 2008</em></strong><span lang="en-US" style="font-family: &apos;Arial&apos;;"><br /></span></p>https://superant.livejournal.com/2301.html#commentsstatistics mathpublic0https://superant.livejournal.com/1849.htmlSat, 17 Jun 2006 13:26:41 GMTWhy Numbers Matter
https://superant.livejournal.com/1849.html
Why Numbers Matter: The construction of the number-line<br />by Steven Gibson January 2006<br /><br /><b>Abstract</b><br />This paper proposes a model to explain the usefulness of the number system. The number line and basic number theorems are used daily by people to make predictions and explanations of real world events. People commonly believe arithmetic works and this paper offers one systematic model to explain it. The proposal is that a 1-dimensional cellular automation can be used for modeling the correspondence between the real world and features of the arithmetic number line. I postulate that any other universal computing tool could also be used for the model. So reversible Turing machines and lambda calculus could also be used for this modeling. <br /><br />Numbers are posited to be human artifacts that model processes like measurable objects in space-time. The paper details the differences between real world space-time energy-matter and the human artifact of the number line. Then we offer a model that bridges the two. It is postulated that number features are expressed with symbols and a finite sequence of instructions. <br /><br />While the domain covered by this model is limited to positive integers of the natural number sequence and basic arithmetic, some unexpected implications about number theory will be stated for future exploration. <br /><br /><b>Beginning Assumptions</b><br />The use of numbers has been a tool that has raised humankind to the heights of technology that it has achieved. <br /><br />The proposal is that a 1-dimensional cellular automation can be used for modeling the correspondence between the real world and features of the arithmetic number line. <br /><br />Our belief about space-time postulates is that the common sense notion of numbers and counting is only valid because of created structures. Selecting a number corresponds to slicing the system over an arbitrary area.<br />Other assumptions are that discrete space-time and matter do not exist in the real world, but humans approximate the appearance of discrete units, and it works.<br />Time is a human representation of the change states of space-time.<br />Here it is postulated that numbers do not exist, but we can work with abstract objects that work. We can create units that are usable in the real world. We are able to create a practical use even though there is tension between discrete and continuous points of view.<br />Numbers are a creation of our minds, while space and time have an independent reality that must be mapped out experimentally. I here assume arithmetic is the work of mind and constructive methods can produce experimental solutions. The ontological framework used here is that all entities are parts or facets of one unified continuum <br /> <br /><b>Energy/Matter</b><br />The postulate in this paper is that events and objects in the world are representing states of matter and energy. All matter and energy is a view of one whole. Energy is a human abstraction of states of objects or events that exist in the world. Matter and mass are assumed to be other states of the same entities that are measurable as states of energy. <br /><br />Space-time is the arena on which all physical events take place. We observe that space-time displays discrete and continuous forms. <br />The real world in large scale and small scale does not agree with intuitive human ideas. Our model for real world events is not grounded in our human senses, but must be developed and tested by instruments of observation and measurement. These instruments are the result of constructs based on existing or proposed theory. We postulate that spatial state change produces observable objects in space. By observing and measuring events and objects we are extracting usable order out of the complexity of space-time. <br /><br />Energy/matter seems to be distinct because:<br /> 1. Our visible observation equipment detects differentiated objects<br />2.one unit of energy/matter can interpermeate other energy/matter\<br />Number-line/Arithmetic<br /><br />Numbers are postulated to be human constructs. Simple rules lead to the number system. Computation proceeds by making changes in a coherent way. Physical systems are countable based on measurable information. We create an individual number by selecting a portion of energy/matter we see as standing out of the energy/matter continuum. So a number is an abstract symbolic object we create based on real world events/objects. <br />The use of numbers is a result of human cognitive requirements and language/symbol tools. We postulate each number being a discrete repeat of any other one. The labeling of a second “2” is an arbitrary human artifact. A one implies the lack of no number, meaning not-one or zero. For us to identify one we must be able to separate from the not-one.<br />Some postulates about numbers:<br />they are constructs of human thought <br />The number line as such is a model of representing and manipulating the symbolic number <br />some of the qualities that are expressed in number theory result from how we conceptualize numbers other than 1 <br />the elementary number theorems seem to be based in our experiences with the real world around us <br />Numbers work because we can use language constructs to describe the world. We can record these constructs and take action based on them and cause a predicted effect in the real world. Objects, and events exist in the real world. Which can be described with language and used. Our interpretations of the world and actions in the world depend upon the sense tools we can use to view the world. and the action tools we can use to act in the world. So these representations entail concepts determined by real actions. Mathematical terms, for instance the concept of number, are explicitly defined and are abstract insofar as they are determined within the logical structure of a language. They also refer, to concrete objects and actions. So numbers, have an abstract structure on the one hand, on the other a connection to the arithmetical activities that work in the real world. <br />The ontology of this approach is that the assertions of number theory have no objective truth values, independent of the conventions, languages, and minds of the mathematicians.<br /> <br /><b>Cellular Automation/Bridge Model</b><br />The postulated model here is that we can use cellular automation to model the correspondence between the real world and features of the arithmetic number line.<br />Cellular Automation are discretely defined but exhibit continuous dynamics so are useful to address the discrete and continuous. <br />A cellular automation can model usable calculation algorithms. These models are idealizations that capture some features and ignore others. Mathematical tools are embedded in structures in natural language. The elements for this bridging model include rules, procedures, transformation and rewriting. We need to model a arithmetic system with algorithmic methods. The algorithm contains numbers and follows a set of steps. Prediction of adheres to a program's run. The program plus its initial condition moves to the end task.<br />The reason CA works as a bridge model is because:<br /> A. it gives the correct results for basic arithmetic<br /> B. it models actual real processes in the energy/matter continuum's<br /> i) algorithmic steps forming a sequence<br />ii)individual units that change through the action of the steps<br />A step in a change rule is a string of simple elements. Change rules apply rules repeatedly and model to energy, space and time. <br />This model uses a 1 dimensional first order cellular automata with the following definition:<br />This 1D binary CA is defined as where<br />Z can be finite or infinite <br />S = {0,1} is a set of two values <br />N = { − 1,0,1} is the neighborhood of size k = 3 with symmetric radius k0 = 1 <br />f is a transition function rule <br />B = {b − 1,b1} is the boundary <br /><br />1 -> 000 <br />2 -> 001 <br />3 -> 010 <br />4 -> 011 <br />5 -> 100 <br />6 -> 101 <br />7 -> 110 <br />8 -> 111 <br /><br />This CA is reversible. This CA function mapping is bijective. <br />And from H. Morita we find invertible Turing Machines can be simulated by invertible cellular automata. <br /><br /><b>Conclusion</b><br />The conclusion is that the numbers, number-line and basic arithmetic are not Platonic objects but are human created tools.<br />It is shown that the usefulness of numbers can be explained by models of human language and models that explain the usefulness of the space-time postulate.<br />The number-line is stated to be a tool created by humans to be used in algorithms. Humans posit real world events that behave like numbers. Individual objects are posited to be useful within the present space-time theories. A model that produces the traits of the real world, and of basic numbers and arithmetic is a simple universal calculating system like cellular automation. Cellular automation has traits that model the real world and can emulate and reproduce arithmetic methods.<br />The number-line models energy in real space with two restrictions<br />1.the numbers are restricted to 2 directions<br />2.the cases are limited to full units (integers)<br />The number-line requires two aspects<br />A. a symbol set, and<br />B. a program that uses the system set<br />Programs require at least one function definition and can have a transformation rule. A program is defined to be a finite sequence of instructions.<br /><br /> A computable number is a number for which there is some program to compute it. Turing machines or cellular automations can model such computation<br />A model for 2 dimensional arithmetic can also be modeled with similar CA. Basic forms of behavior are modeled by cellular automation, Turing machines or lambda calculus. Arithmetic laws are validated in ways that other mathematical postulates are verified.<br /><br /><b>Future Steps</b><br />The linear number system may be a special case of a number system model that could be built that is 3 dimensional. This could lead to models that demonstrate some constants like pi and cosine and perhaps explain irrationals like square root(2).<br />Numbers arise because of the trait that processes have of being able to be sliced through a portion of time and change can be observed or likeness can be seen. <br />Numbers can be thought of as a abstract model that intrudes into a small part of the complete space/time of a process with measurable abstract objects. <br />There is perhaps work to be done using order theory to move from individual objects to the number-line. We need a systematic approach to object identification. Such a system would be foundational to arithmetic. To have usable objects we must be able to individuate entities out from the continuity and to identify these individual entities over time<br /><br /><b>References</b><br /><br />1.Rudy Rucker, Mind Tools: The Five Levels of Mathematical Reality,<br /> 1987<br />2.S. Wolfram. A New Kind of Science, Wolfram Media, 2002.<br /> <br />3. George Lakoff, Where Mathematics Comes From: How the Embodied Mind Brings Mathematics into Being, August 2001 <br /><br />4. Jurgen Habermas, The Theory of Communicative Action: Reason and the Rationalization of Society, Social Science, 1985 <br />5.Wilfried Sieg, (following Turing and Gandy),Calculations by Man and Machine for an abstract setting for computation <br />6.Konrad Zuse, Calculating Space, 1969<br />7.J. H. Conway, On numbers and games, second edition, A. K. Peters, 2001.<br /> 8. Edward Fredkin Did the Universe Just Happen Altantic Monthly April 1988, <br /> 9. Stewart Shapiro, Modality and ontology - philosophy of mathematics,<br />Mind, July, 1993 <br /> 10. Peter Lynd, Time and Classical and Quantum Mechanics: Indeterminacy vs. Discontinuity, 2003<br /><br />Presented at Wolfram Science Conference June 2006 - Washington DC<br /><a href='http://www.wolframscience.com/conference/2006/presentations/gibson.html' rel='nofollow'>http://www.wolframscience.com/conference/2006/presentations/gibson.html</a>https://superant.livejournal.com/1849.html#commentspublic2https://superant.livejournal.com/1649.htmlWed, 06 Jul 2005 17:13:42 GMTModel for Measurements without Space or Points
https://superant.livejournal.com/1649.html
Model for Measurements without Space or Points<br />by Steven Gibson July 2005<br /><br />This paper postulates that points with zero dimensions are never accurate models for measurement and calculation. Any point under observation is a measure of an area. On a fine level absolute points do not exist. Of course when moving to human scale we can work with objects that behave like classic points. But this is because we are then measuring complex objects composed of sets of measurable objects. <br /><br />This method proposes changing our conception from discrete core objects to continuous (state based) measurement objects.<br /><br />Viewing points as having zero dimensions leads to several unnecessary paradoxes. For example, an infinite number of points don't get you anywhere. You never get to a physical object or distance. It’s turtles all the way down.<br /><br />This model is supported by models based on information. For us to measure anything in this world requires information to be received. Information is a selection out of uncertainty. We are immersed in information and we select a specific bit of it for our measurement. Since measurement selects some bit of information that has physical traits, so any object we can work with will also have physical traits.<br /><br />So this model suggests viewing points as measures of areas. Likewise space has no existence separate from measurements. We should define space as an object defined by measurement of a set of objects.<br /><br />Selections of an actual object from the potential objects depend on evidence obtained from a measurement. This model will formally describe how the number system is built from measurement. The mathematical formalism of numbers mapping to points on a line should be changed to view numbers as probabilistic objects in a cloud that are found by measurements of information.<br /><br />This model leads to the idea that the real numbers do not represent a full set of useful numbers. Real numbers are viewed as existing along a linear space<br />I would suggest numbers can be seen like a cloud of representational objects filling a volume of space.<br /><br />This proposed model may change our view of imaginary numbers. I have suggested that the set of numbers should not be viewed as a linear set. Instead the set of numbers should be seen more like a cloud of representational objects filling a volume of space. So a subset of the number set could be abstracted out that represents the old number line. -n to +n, but I would suggest numbers could exist like 1-1+n and 1+1-n With that model we would find a number that when raised to a power of 2 will result in -1<br />x2 = -1 <br /><br />This model may unify our modeling of numerical systems from numbers to probability to logic. This model suggests the set of numbers is a cloud of information extracted from uncertainty. Perhaps probability can be viewed as a specialized model of this information pulled from uncertainty. Probability statements are about the likelihoods of outcomes: one exact event either occurs or does not, and you can bet on it. This measurement model does not select exact events out, but instead models the representations of events. <br /><br />The model supports the idea that 2 valued logic is just a subset of more complex views of logic. Probability involves methods of measure of uncertain events or knowledge or defining selection of future events. Logic can be viewed as a specialized model relating to probability theory. I suggest viewing logic as a model for the representation of data range selection. We can use this data range interpretation for the management of real systems. It helps model decisions by selecting ranges of choices instead of only allowing one choice. Data ranges allow us to handle complex systems. Boolean logic, which most people are familiar with, is a subset of more generalized logic. In Boolean logic, we are limiting ourselves to data ranges that only include two values.<br /><br /><br />What seems like a discrete point in everyday life, like our body, a car, or a tree are measures of complex sets of objects.<br /><br />This model may even address the Many Worlds vs Copenhagen view of Quantum Change. Since this model postulates there is no such think as a discrete point, so perhaps each world variation created by Quantum change is like a probabilistic possibility that exists and is not solidified until a measurement is taken. So I would postulate that there is a temporary many worlds existence that is created constantly. Then when information is selected out of the probabilities the possible worlds collapse back to one.<br /><br />Does Schrodinger's cat split? <br />Consider Schrodinger's cat. A cat is placed in a sealed box with a device that releases a pellet of catnip if a certain radioactive decay is detected. For simplicity we'll imagine that the box, whilst closed, completely isolates the cat from its environment. After a while an investigator opens the box to see if the cat has catnip or not. According to the Copenhagen Interpretation the cat neither has catnip nor does not have it until the box was opened, whereupon the wave function of the cat collapsed into one of the two alternatives (catnipped or non-catnipped). The paradox, according to Schrodinger, is that the cat presumably knew if it had catnip “before” the box was opened. According to many-worlds the device was split into two states (catnip released or not) by the radioactive decay, which is a thermodynamically irreversible process. As the catnip/no-catnip interacts with the cat the cat is split into two states (catnip happy or not happy). From the catnip happy cat's point of view it occupies a different world from its non-catnip receiving version. The onlooker is split into two copies only when the box is opened and they are altered by the states of the cat. The cat splits when the device is triggered, irreversibly. The investigator splits when they open the box. The catnip happy cat has no idea that investigator has split, any more than it is aware that there is a unhappy cat in the neighboring split-off world. The investigator can deduce, after the event, by examining the catnip mechanism, or the cat's memory, that the cat split prior to opening the box. <br />According to this proposed measurement model I would say that the potentialities of the cat getting captnip or not are temporarily split during the passage of time and the potentialities resolve to one by the event of the box being opened.https://superant.livejournal.com/1649.html#commentspublic0https://superant.livejournal.com/1529.htmlMon, 06 Dec 2004 21:15:47 GMTTinker and RubyWebDialogs
https://superant.livejournal.com/1529.html
Experimenting with the rwdtinker framework with RubyWebDialogs<br /><br /><a href='http://rubyforge.org/projects/rwdapplications/' rel='nofollow'>http://rubyforge.org/projects/rwdapplications/</a><br /><br /> I split the source code and the gui code into atomic parts and use init.rb to merge the parts together.<br /><br />With the framework, we are able to ship a "plugin" or as I calling them "applet" that can be dropped into a directory and installed automatically. Also uninstalled. I am calling this framework Tinker, so the core program I call rwdtinker. My wife, Charlotte. suggested the name. It relates to the the "Tinker Toys" that has blocks and dowls and shapes that can be assembled by children and take different shapes. Without the word toy, it reminds us if the older English meaning of "a person who repairs pots and household devices by soldering and hammering.<br /><br />The delivered applet is setup in the required directory structure with <br /> code<br /> configuration <br /> gui including help files & location of documentation <br /> rwd_files = where documention for the applet can go. <br /> installed = a inf file that lists the manifest of files<br /><br />This package is zipped up and uploaded as a file like rwdashedule-0.2.zip<br /><br />The enduser who has the rwdtinker program drops the zip file into a directory called zips. I have parts of rwdtinker now (for Linux) that can install it automatically and remove it (based on the .inf file)https://superant.livejournal.com/1529.html#commentspublic0https://superant.livejournal.com/1171.htmlMon, 26 May 2003 21:46:40 GMTHoward Dean for President
https://superant.livejournal.com/1171.html
Hey, this as even made me log in to LJ.<br /><br />I heard about Howard Dean less than two months ago and now I am working as hard as I can in Los Angeles to help him get the nomination and win in 2004.<br /><br />Go Dean!<br /><br />Stevenhttps://superant.livejournal.com/1171.html#commentspublic0https://superant.livejournal.com/971.htmlThu, 23 Jan 2003 17:16:29 GMT
https://superant.livejournal.com/971.html
Have not been here for a long time.<br /><br />Charlotte is doing well, but my mother is very ill. She is in the hospital. Really bad over the weekend. But she seems better now.<br /><br />Just installed Windows XP at work. It is good I installed it on an old machine. I still don't like it ;-)https://superant.livejournal.com/971.html#commentspublic0https://superant.livejournal.com/631.htmlMon, 21 Oct 2002 08:52:10 GMT
https://superant.livejournal.com/631.html
I am back after finding ruby and logjam.https://superant.livejournal.com/631.html#commentspublic0https://superant.livejournal.com/372.htmlThu, 18 Jul 2002 23:42:45 GMTRuby is my friend
https://superant.livejournal.com/372.html
Started this journal. Does this mean I will stop using Advogato or my private wiki.<br /><br />Only the future will tell about that.<br /><br />Charlotte is going into surgery next week. I hope it goes more smoothly than her previous medical adventures.https://superant.livejournal.com/372.html#commentspublic0