排序方式: 共有6条查询结果,搜索用时 0 毫秒
1
1.
The previously introduced algorithm SQEMA computes first-order frame equivalents for modal formulae and also proves their canonicity. Here we extend SQEMA with an additional rule based on a recursive version of Ackermann's lemma, which enables the algorithm to compute local frame equivalents of modal formulae in the extension of first-order logic with monadic least fixed-points FOμ. This computation operates by transforming input formulae into locally frame equivalent ones in the pure fragment of the hybrid μ-calculus. In particular, we prove that the recursive extension of SQEMA succeeds on the class of ‘recursive formulae’. We also show that a certain version of this algorithm guarantees the canonicity of the formulae on which it succeeds. 相似文献
2.
Fifteen stutterers, primarily children, who visited the Medical Pedagogical Department at the University of Blagoevgrad were evaluated for a variety of criteria used in Bulgaria to differentiate cluttering, stuttering, and mixed cluttering and stuttering. The same battery of tests was administered to all subjects. Based on these criteria, five subjects were diagnosed as clutterers, six as stutterers, and four as mixed. Daly's (1992–1993) Checklist for Possible Cluttering, Experimental Edition was also utilized to classify the subjects. Differences between the differential diagnostic criteria used by Bulgarian logopedists and other authors are discussed. 相似文献
3.
Characterizing Human Expertise Using Computational Metrics of Feature Diagnosticity in a Pattern Matching Task
下载免费PDF全文
![点击此处可从《Cognitive Science》网站下载免费的PDF全文](/ch/ext_images/free.gif)
Thomas Busey Dimitar Nikolov Chen Yu Brandi Emerick John Vanderkolk 《Cognitive Science》2017,41(7):1716-1759
Forensic evidence often involves an evaluation of whether two impressions were made by the same source, such as whether a fingerprint from a crime scene has detail in agreement with an impression taken from a suspect. Human experts currently outperform computer‐based comparison systems, but the strength of the evidence exemplified by the observed detail in agreement must be evaluated against the possibility that some other individual may have created the crime scene impression. Therefore, the strongest evidence comes from features in agreement that are also not shared with other impressions from other individuals. We characterize the nature of human expertise by applying two extant metrics to the images used in a fingerprint recognition task and use eye gaze data from experts to both tune and validate the models. The Attention via Information Maximization (AIM) model (Bruce & Tsotsos, 2009) quantifies the rarity of regions in the fingerprints to determine diagnosticity for purposes of excluding alternative sources. The CoVar model (Karklin & Lewicki, 2009) captures relationships between low‐level features, mimicking properties of the early visual system. Both models produced classification and generalization performance in the 75%–80% range when classifying where experts tend to look. A validation study using regions identified by the AIM model as diagnostic demonstrates that human experts perform better when given regions of high diagnosticity. The computational nature of the metrics may help guard against wrongful convictions, as well as provide a quantitative measure of the strength of evidence in casework. 相似文献
4.
A Propositional Dynamic Logic with Qualitative Probabilities 总被引:1,自引:0,他引:1
This paper presents an -completeness theorem for a new propositional probabilistic logic, namely, the dynamic propositional logic of qualitative probabilities (D Q P), which has been introduced by the author as a dynamic extension of the logic of qualitative probabilities (Q P) introduced by Segerberg. 相似文献
5.
6.
Studies in East European Thought - 相似文献
1