中文
相关论文

相关论文: A fuzzy take on the logical issues of statistical …

200 篇论文

Null Hypothesis Statistical Testing is a dominant framework for conducting statistical analysis across the sciences. There remains considerable debate as to whether, and under what circumstances, evidence can be said to be confirmatory of a…

统计理论 · 数学 2024-05-28 Reid Dale

Trustworthiness especially for service oriented system is very important topic now a day in IT field of the whole world. Certain Trust Model depends on some certain values given by experts and developers. Here, main parameters for…

密码学与安全 · 计算机科学 2013-03-05 Kawser Wazed Nafi , Tonny Shekha kar , Amjad Hossain , M. M. A Hashem

Inference and hypothesis testing are typically constructed on the basis that a specific model holds for the data. To determine the veracity of conclusions drawn from such data analyses, one must be able to identify the presence of the…

信号处理 · 电气工程与系统科学 2022-08-30 S. E. Abramson , W. Moran , R. J. Evans , A. Melatos

Within the possibilistic approach to uncertainty modeling, the paper presents a modal logical system to reason about qualitative (comparative) statements of the possibility (and necessity) of fuzzy propositions. We relate this qualitative…

计算机科学中的逻辑 · 计算机科学 2013-02-28 Petr Hajek , Dagmar Harmancová , Francesc Esteva , Pere Garcia , Lluis Godo

With the desire to apply the Dempster-Shafer theory to complex real world problems where the evidential strength is often imprecise and vague, several attempts have been made to generalize the theory. However, the important concept in the…

人工智能 · 计算机科学 2013-04-10 John Yen

Fuzzy answer set programming (FASP) combines two declarative frameworks, answer set programming and fuzzy logic, in order to model reasoning by default over imprecise information. Several connectives are available to combine different…

人工智能 · 计算机科学 2020-02-19 Mario Alviano , Rafael Penaloza

Temporal logics are extensively used for the specification of on-going behaviours of reactive systems. Two significant developments in this area are the extension of traditional temporal logics with modalities that enable the specification…

计算机科学中的逻辑 · 计算机科学 2019-05-29 Patricia Bouyer , Orna Kupferman , Nicolas Markey , Bastien Maubert , Aniello Murano , Giuseppe Perelli

The aim of the present paper is to estimate and control the Type I and Type II errors of a simple hypothesis testing problem of the drift/viscosity coefficient for stochastic fractional heat equation driven by additive noise. Assuming that…

概率论 · 数学 2014-07-22 Igor Cialenco , Liaosha Xu

Fuzziness and randomicity widespread exist in natural science, engineering, technology and social science. The purpose of this paper is to present a new logic - uncertain propositional logic which can deal with both fuzziness by taking…

逻辑 · 数学 2015-06-11 Maokang Luo , Wei He

Syllogism is a type of deductive reasoning involving quantified statements. The syllogistic reasoning scheme in the classical Aristotelian framework involves three crisp term sets and four linguistic quantifiers, for which the main support…

人工智能 · 计算机科学 2014-12-01 M. Pereira-Fariña , F. Díaz-Hermida , A. Bugarín

In this paper we deal with a new approach to probabilistic reasoning in a logical framework. Nearly almost all logics of probability that have been proposed in the literature are based on classical two-valued logic. After making clear the…

人工智能 · 计算机科学 2013-02-21 Petr Hajek , Lluis Godo , Francesc Esteva

In the modern Bayesian view classical probability theory is simply an extension of conventional logic, i.e., a quantitative tool that allows for consistent reasoning in the presence of uncertainty. Classical theory presupposes, however,…

量子物理 · 物理学 2007-06-20 Jochen Rau

Signal Temporal Logic (STL) inference learns interpretable logical rules for temporal behaviors in dynamical systems. To ensure the correctness of learned STL formulas, recent approaches have incorporated conformal prediction as a…

机器学习 · 计算机科学 2026-03-31 Yixuan Wang , Danyang Li , Matthew Cleaveland , Roberto Tron , Mingyu Cai

Null Hypothesis Significance Testing (NHST) has long been of central importance to psychology as a science, guiding theory development and underlying the application of evidence-based intervention and decision-making. Recent years, however,…

统计方法学 · 统计学 2020-10-20 Fintan Costello , Paul Watts

Whilst mathematicians assume classical reasoning principles by default they often context switch when working, restricting themselves to various forms of subclassical reasoning. This pattern is especially common amongst logicians and set…

计算机科学中的逻辑 · 计算机科学 2023-02-21 Martin Berger , Dominic P. Mulligan

Classical logic has a serious limitation in that it cannot cope with the issues of vagueness and uncertainty into which fall most modes of human reasoning. In order to provide a foundation for human knowledge representation and reasoning in…

人工智能 · 计算机科学 2016-08-30 Van Hung Le

Mathematical Theory of Evidence called also Dempster-Shafer Theory (DST) is known as a foundation for reasoning when knowledge is expressed at various levels of detail. Though much research effort has been committed to this theory since its…

人工智能 · 计算机科学 2017-07-14 Mieczysław A. Kłopotek

Combining different forms of prompts with pre-trained large language models has yielded remarkable results on reasoning tasks (e.g. Chain-of-Thought prompting). However, along with testing on more complex reasoning, these methods also…

计算与语言 · 计算机科学 2024-05-14 Yitian Li , Jidong Tian , Hao He , Yaohui Jin

Collocations are important for many tasks of Natural language processing such as information retrieval, machine translation, computational lexicography etc. So far many statistical methods have been used for collocation extraction. Almost…

计算与语言 · 计算机科学 2008-11-11 Raj Kishor Bisht , H. S. Dhami

Understanding, modelling and predicting human risky decision-making is challenging due to intrinsic individual differences and irrationality. Fuzzy trace theory (FTT) is a powerful paradigm that explains human decision-making by…

计算与语言 · 计算机科学 2022-08-09 Jaron Mar , Jiamou Liu