A Temporal Logic Inference Approach for Model Discrimination
نویسندگان
چکیده
منابع مشابه
A parallel inference model for logic programming
In this paper, we describe a parallel inference model for logic programming on general-purpose multicomputers. In the model, input clauses are partitioned into subsets, and resolution is conducted on each subset concurrently. The partitions are dynamically adjusted via clause migration as inference proceeds. This allows each processor to work on virtually the whole clause set while a shorter re...
متن کاملstatistical inference via empirical bayes approach for stationary and dynamic contingency tables
چکیده ندارد.
15 صفحه اولReasoning about Games via Temporal Logic: A Model Checking Approach
This article shows how to use a subset of first-order CTL, namely Game Analysis Logic (GAL), in order to reason about games. A model checking algorithm for GAL is presented. Standard games and solution concepts of Game Theory are described in this context. Taking into account the strong relationship between games and Multi-Agent systems(MAS), the approach described here seems to be completely s...
متن کاملA Lazy Approach to Temporal Epistemic Logic Model Checking
Temporal Epistemic Logic is used to reason about the evolution of knowledge over time. A notable example is the temporal epistemic logic KL1, which is used to model what a reasoner can infer about the state of a dynamic system by using available observations. Applications of KL1 span from security (verification of cryptography protocols and information flow) to diagnostic systems (fault detecti...
متن کاملA Relational Model for Temporal Logic
We use Tarski’s relational calculus to construct a model of linear temporal logic. Both discrete and dense time are covered and we obtain denotational domains for a large variety of reactive systems.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Life Sciences Letters
سال: 2016
ISSN: 2332-7685
DOI: 10.1109/lls.2016.2644646