Quasi-classical description of molecular dynamics based on Egorov's theorem
نویسندگان
چکیده
منابع مشابه
Quasi-classical description of molecular dynamics based on Egorov's theorem.
Egorov's theorem on the classical propagation of quantum observables is related to prominent quasi-classical descriptions of quantum molecular dynamics as the linearized semiclassical initial value representation, the Wigner phase space method, or the statistical quasiclassical method. The error estimates show that different accuracies are achievable for the computation of expectation values an...
متن کاملQuasi-Classical Description Logic
In this paper, we present a paraconsistent description logic based on quasi-classical logic. Compared to the four-valued description logic, quasi-classical description logic satisfies all of the three basic inference rules (i.e., modus ponens, modus tollens and disjunctive syllogism) so that the inference ability of quasiclassical description logic is closer to that of classical logic. Quasicla...
متن کاملOn the Satisfiability of Quasi-Classical Description Logics
Though quasi-classical description logic (QCDL) can tolerate the inconsistency of description logic in reasoning, a knowledge base in QCDL possibly has no model. In this paper, we investigate the satisfiability of QCDL, namely, QC-coherency and QCconsistency and develop a tableau calculus, as a formal proof, to determine whether a knowledge base in QCDL is QC-consistent. To do so, we repair the...
متن کاملQuasi-Classical Semantics for Expressive Description Logics
Inconsistency handling in expressive description logics is an important problem because inconsistency may naturally occur in an open world. In this paper, we first present the quasi-classical semantics for description logic SHIQ, which is based on quasi-classical logic. We show that this semantics can be used to deal with inconsistency and that it is reduced to the standard semantics when there...
متن کاملClassical quasi-primary submodules
In this paper we introduce the notion of classical quasi-primary submodules that generalizes the concept of classical primary submodules. Then, we investigate decomposition and minimal decomposition into classical quasi-primary submodules. In particular, existence and uniqueness of classical quasi-primary decompositions in finitely generated modules over Noetherian rings are proved. More...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Chemical Physics
سال: 2014
ISSN: 0021-9606,1089-7690
DOI: 10.1063/1.4891517