model

(redirected from symbolic model)
Also found in: Dictionary, Thesaurus, Medical, Legal, Encyclopedia.

Model

Any mathematical formula or other structure that economists use to explain or predict occurrences. Economists test their models with real world facts before they gain wide acceptance, but, even then, there is no guarantee that a model will always be a correct predictor. See also: Model risk.

model

An abstraction of reality, generally referring in investments to a mathematical formula designed to determine security values. Economists also use models to project trends in economic variables such as interest rates, economic activity, and inflation rates.

model

see ECONOMIC MODEL.
References in periodicals archive ?
Table 1 summarizes the specifications of Semantic Location model and compares with other existing Symbolic models.
There are three main reasons for using partitioning techniques in our symbolic model checker: (1) to reduce the sizes of the Presburger formulas generated during the fixpoint computations and to improve the efficiency of their manipulation; (2) to eliminate selected variables by partitioning the state-space based on their valuations; and (3) to improve the accuracy of the conservative approximation techniques.
Our symbolic model checker will convert this property to ?
Given a finite state system, the symbolic model checking method starts with the construction of the OBDD for the transition relations TR(V, V').
By contrast, the symbolic model checking method was developed in the context of digital circuits and the semantic of its specifications is similar to the Verilog hardware description language [Tomas and Moorby 1995].
Symbolic model checking has proven to be very successful for non-real-time systems because of the effectiveness of Binary Decision Diagram (BDD) representation of the state transition relation.
Currently, we are refining our symbolic model checker for SREL based on SMV.
However, the formal nature of computational symbolic models is also problematic in that people find it difficult to make their reasoning processes explicit, and the models developed may be difficult to comprehend and validate.
Answering the Connectionist Challenge: A Symbolic Model of Learning the Past Tense of English Verbs.
For example, probabilistic reasoning and symbolic reasoning should be brought together to provide rapid solutions to the likely cases, and explainable alternatives derived from symbolic models for the rarer cases.
Furthermore, computational neuroscience might offer further ideas and constraints for building more realistic forms of neural symbolic models.
John Haugeland explodes at the suggestion that when one is considering a trained skill, symbolic models are irrelevant because "the brain just does it," and attempts valiantly to explain the concept of a virtual machine and show why the interviewer's simplistic distinction between hardware and software is too elementary; and one can almost hear the care in James McLelland's voice as he tries to dissect the interviewer's simplistic notion of "symbolic.

Full browser ?