منابع مشابه
Systems for Knowledge and Belief
We investigate modal systems for knowledge and belief, taking as a starting point a logic that was originally introduced by Kraus and Lehmann. We derive several properties and discuss (their) consequences for the epistemic operators. Kraus and Lehmann observed that adding the axiom B,(f —+ B,K,(p to the system gives a collapse of knowledge and belief: (Kitp +* Bi<p). We investigate the cause(s)...
متن کاملApproximations in Bayesian Belief Universe for Knowledge Based Systems
When expert systems based on causal probabilistic networks (CPNs) reach a certai n size and complex ity, the "combinatorial explosion monster" tends to be present. We propose an approximation scheme that identifies rarely occurring cases and excludes these from being processed as ordinary cases in a CPN-based expert system. Depending on the topology and the probability distributions of the CPN...
متن کاملchannel estimation for mimo-ofdm systems
تخمین دقیق مشخصات کانال در سیستم های مخابراتی یک امر مهم محسوب می گردد. این امر به ویژه در کانال های بیسیم با خاصیت فرکانس گزینی و زمان گزینی شدید، چالش بزرگی است. مقالات متعدد پر از روش های مبتکرانه ای برای طراحی و آنالیز الگوریتم های تخمین کانال است که بیشتر آنها از روش های خاصی استفاده می کنند که یا دارای عملکرد خوب با پیچیدگی محاسباتی بالا هستند و یا با عملکرد نه چندان خوب پیچیدگی پایینی...
Knowledge, Belief and Time
In the conclusion of [7] Halpern and Moses expressed their interest in a logical system in which one could talk about knowledge and belief (and belief about knowledge, knowledge about belief and so on), We investigate such systems. In the first part of the paper knowledge and belief, without time, are considered. Common knowledge and common belief are defined and compared. A logical system and ...
متن کاملEvidentials, Knowledge and Belief
The notion of evidence is mostly taken for granted in the study of evidentials. This paper reports on the initial stage of a research program that attempts to determine what properties are necessary for a proposition to count as ‘evidence for evidentials.’ The conclusion of this initial paper is that such evidence must be knowledge, on the basis of application of skeptical arguments, which can ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic and Computation
سال: 1993
ISSN: 0955-792X,1465-363X
DOI: 10.1093/logcom/3.2.173