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.