Q Symbolic Reasoning about Noisy Dynamic Systems
نویسندگان
چکیده
Symbolic reasoning about continuous dynamic systems requires consistent qualitative abstraction functions and a consistent symbolic model. Classically, symbolic reasoning systems have utilized a box partition of the system space to achieve qualitative abstraction, but boxes can not provide a consistent abstraction. Our Q methodology abstracts a provably consistent symbolic representation of noise-free general dynamic systems. However the Q symbolic representation has not been previously evaluated for efficacy in the presence of noise. We evaluate the effects of noise on Q symbolic reasoning in the domain of maneuver detection. We demonstrate how the Q methodology derives a symbolic abstraction of a general dynamic system model used in evaluating maneuver detectors. Simulation results represented by ROC curves show that the Q based maneuver detector is superior to a box-based detector. While no method is consistent in the presence of noise, the Q methodology is superior to the classic box’s approach for deriving qualitative decisions about noisy dynamic systems.
منابع مشابه
Q2 Symbolic Reasoning about Noisy Dynamic Systems
Symbolic reasoning about continuous dynamic systems requires consistent qualitative abstraction functions and a consistent symbolic model. Classically, symbolic reasoning systems have utilized a box partition of the system space to achieve qualitative abstraction, but boxes can not provide a consistent abstraction. Our Q2 methodology abstracts a provably consistent symbolic representation of no...
متن کاملDifferential Logic for Reasoning About Hybrid Systems
We propose a first-order dynamic logic for reasoning about hybrid systems. As a uniform model for discrete and continuous evolutions in hybrid systems, we introduce hybrid programs with differential actions. Our logic can be used to specify and verify correctness statements about hybrid programs, which are suitable for symbolic processing by calculus rules. Using first-order variables, our logi...
متن کاملLogical Reasoning Systems
Logical Reasoning Systems derive sound conclusions from formal declarative knowledge. Such systems are usually deened by abstract rules of inference. For example, the rule of modus ponens states that given P , and \P implies Q" (usually written P ! Q), we can infer Q. Logical systems have a rich history starting with Greek syllogisms and continuing through the work many prominent mathematicians...
متن کاملA Q-learning Based Continuous Tuning of Fuzzy Wall Tracking
A simple easy to implement algorithm is proposed to address wall tracking task of an autonomous robot. The robot should navigate in unknown environments, find the nearest wall, and track it solely based on locally sensed data. The proposed method benefits from coupling fuzzy logic and Q-learning to meet requirements of autonomous navigations. Fuzzy if-then rules provide a reliable decision maki...
متن کاملTowards a Hybrid Dynamic Logic for Hybrid Dynamic Systems
We introduce a hybrid variant of a dynamic logic with continuous state transitions along differential equations, and we present a sequent calculus for this extended hybrid dynamic logic. With the addition of satisfaction operators, this hybrid logic provides improved system introspection by referring to properties of states during system evolution. In addition to this, our calculus introduces s...
متن کامل