Algorithmic information theory may be viewed as the result of adding the idea of program-size complexity to recursive function theory. The main application of algorithmic information theory is its informationtheoretic incompleteness theorems. This theory is concerned with the size of programs, but up to now these have never been programs that one could actually program out and run on interestin...

We describe an envisionment-based simulation program. The program bears some design similarities to Kuipers' QSIM algorithm, but di ers in the underlying ontology and in the implemented theory in the envisioning process. The program implements part of an axiomatic, rst order theory that has been developed to represent and reason about space and time. Topological information is extracted from th...

The Meta-DENDRAL program is a vehicle for studying problems of theory formation in science. The general strategy of Meta-DENDRAL is to reason from data to plausible generalizations and then to organize the generalizations into a unif ied theory. Three main subprobleras are discussed: (1) explain the experimental data for each ind i vidual chemical structure, (2) generalize the results from each...

background: positive attitude leads to a more successfully implementation of a change. we investigated the effect of attitudes of stakeholders toward a program on their prioritization of the program components for selecting the key question of a theory-driven evaluation with concept mapping method. materials and methods: during a brainstorming session, stated statements defined the program comp...

background: physical activity regularly is one of the important aspects of healthy lifestyle, which has an essential role in reducing the burden of disease and death. diabetes is a typical general health problem. the aim of this study to determine the effect of education based on social cognitive theory on promoting physical activity among women with diabetes ii in iran. methods: in this random...

conclusions an intervention based on the theory of planned behavior was effective in improving the foot care in diabetic patients. results the two groups showed no significant difference in terms of demographics or in the mean scores of other variables before the intervention (p > 0.05). after the intervention, a significant increase was observed in the mean scores of attitudes, and foot care p...

conclusions our results demonstrated that mi, combined with the implementation of intention intervention, increased weight loss and pmt construct scores in our study population. results in the two intervention groups, the pmt construct scores, namely susceptibility (p = 0.001), severity (p = 0.001), rewards (p =0.004), self-efficacy (p = 0.001), response efficacy (p = 0.001), and costs (p = 0.0...

Based on the Calculus of Constructions extended with in-ductive deenitions we present a Theory of Speciications with rules for simultaneously constructing programs and their correctness proofs. The theory contains types for representing speciications, whose corresponding notion of implementation is that of a pair formed by a program and a correctness proof. The rules of the theory are such that...