Belief,awareness, and limited reasoning

Several new logics for belief and knowledge are introduced and studied, all of which have the property that agents are not logically omniscient. In particular, in these logics, the set of beliefs of an agent does not necessarily contain all valid formulas. Thus, these logics are more suitable than traditional logics for modelling beliefs of humans (or machines) with limited reasoning capabilities. Our first logic is essentially an extension of Levesque's logic of implicit and explicit belief, where we extend to allow multiple agents and higher-level belief (i.e., beliefs about beliefs). Our second logic deals explicitly with “awareness,” where, roughly speaking, it is necessary to be aware of a concept before one can have beliefs about it. Our third logic gives a model of “local reasoning,” where an agent is viewed as a “society of minds,” each with its own cluster of beliefs, which may contradict each other.     

Knowledge Criteria for the Evaluation of Legal Beliefs

In this article, we describe an evaluation framework for legal information systems. The framework is based on knowledge criteria. We distinguish four belief types, i.e. perceptual beliefs, testimonial beliefs, inferential beliefs, and interpretative beliefs. Beliefs of these types can be transformed into knowledge by the fulfilment of knowledge criteria. The knowledge criteria examined are truth, proper justification, reliability, consistency, and coherence. There is a hierarchy among these criteria. We will show that beliefs, depending on the type they belong to, become knowledge by applying different subsets of these criteria. Two legal information systems are evaluated using this framework. Results are presented and two conclusions are drawn. Finally, further research on legal knowledge criteria is suggested.     

Self-Deception and Emotional Coherence

This paper proposes that self-deception results from the emotional coherence of beliefs with subjective goals. We apply the HOTCO computational model of emotional coherence to simulate a rich case of self-deception from Hawthorne's The Scarlet Letter.We argue that this model is more psychologically realistic than other available accounts of self-deception, and discuss related issues such as wishful thinking, intention, and the division of the self.     

Trace distance measure of coherence for a class of qudit states

Recently, trace distance measure of coherence has been proposed for characterizing the coherence of a given quantum state. However, it seems difficult to estimate the optimal incoherent state for high dimensional states. An explicit expression for the trace distance measure of coherence for a class of qudit states is provided. We show that the closest incoherent state to the class of qudit states is just the diagonal matrix obtained from it by deleting all off-diagonal elements. It is also shown that the measure of coherence induced by trace distance can act as a measure of coherence for this class of qudit states with some restrictions on the strictly incoherent operations.     

The use of information technology among young adults--experience, attitudes and health beliefs

The aim of this study was to explore attitudes, coherence and health beliefs among young adults, related to their use and experience of information technology (IT). A qualitative approach was used and the data were collected through individual thematised interviews with 25 young IT users, aged 18–24. The interviews were analysed in line with the grounded theory method with a constructivist approach. The main findings were the young adults’ experience of the two sides of being social, efficient and independent here and now. They described almost unlimited opportunities in connection with IT, but they also had misgivings, and perceived risks regarding IT use. Feelings of freedom and being efficient were countered by feelings of restrictions on living space and of intangibility. Knowledge concerning these attitudes, coherence and health beliefs can be considered when designing epidemiological and ergonomic studies aimed at risk identification.     

Feasibility of multi-temporal interferometric SAR data for stand-level estimation of boreal forest stem volume

The feasibility of interferometric SAR (INSAR) coherence observations for stem volume (biomass) retrieval is investigated by applying coherence data determined from 14 ERS-1 and ERS-2 C-band SAR image pairs. The image set covers a single forested test area in Finland, and both summer (snow-free) and winter conditions are represented. The data set enabled (a) the study of stem volume retrieval performance under varying conditions, (b) the analysis of the seasonal behavior of interferometric coherence, and (c) the determination of the accuracy characteristics of empirical (nonlinear) coherence modeling. Additionally, a new technique to estimate forest stem volume from INSAR data was developed based on constrained iterative inversion of the applied empirical model. The results indicate that the usability of winter images with snow-covered terrain is superior to that of images obtained under summer conditions. The applied empirical model appears to be adequate for describing the stand-wise coherence of boreal forest. Hence, a practical stem volume estimation method can be established based on it. The highest correlation coefficient between the estimated stem volume and the ground truth stem volume showed values as high as r=0.9 and a relative RMSE level of 48% was obtained, respectively.     

Dynamical coherence patterns in neural field model at criticality

Phase synchronization is a mechanism that plays a crucial role in information processing in the brain, and coherence is one of the factors used to evaluate the pairwise degree of phase synchronization. Coherence is also an important measure for examining brain functions because it implies communication and cooperation among neurons. In this work, we study the coherence patterns of spontaneous activity in a neural field model at criticality where a second-order phase transition occurs with special properties that differentiate it from other regions. The results are summarized as follows. First, in high-frequency bands, the system outside the critical region is unable to communicate efficiently via phase synchronization. Second, the dynamical coherence patterns at the criticality show switching between high and low coherence states. Finally, we found that in a very brief period, there is high broadband coherence between some pairs of spatial points. This phenomenon can be observed only in the critical region.     

Fuzzy expert system for land reallocation in land consolidation

One of the most important steps of land consolidation projects is land reallocation studies. In Turkey, reallocation studies carried out in the scope of land consolidation projects are made according to farmer preferences (interviews). In addition to interview-based land reallocation model, mathematical models have been used in the previous optimization studies for reallocation procedure. Recently, fuzzy logic method, which is capable of modeling human mindset and used when other forms of mathematical models cannot be developed, has also been applied to the field of geomatic engineering, as well as in other engineering branches.This study examined the applicability of a fuzzy logic method at the reallocation stage of land consolidation study, where development of an accurate mathematical model was not possible. The results obtained from the fuzzy logic-based land reallocation model were compared with those obtained from the interview-based land reallocation model. Farmers were surveyed to determine which land reallocation model they preferred. The results indicate that 80.5% of the participant landholdings were satisfied with the fuzzy logic-based reallocation land model, while 50% were with the interview-based land reallocation model.     

A Dual-Microphone Speech Enhancement Algorithm Based on the Coherence Function

A novel dual-microphone speech enhancement technique is proposed in the present paper. The technique utilizes the coherence between the target and noise signals as a criterion for noise reduction and can be generally applied to arrays with closely-spaced microphones, where noise captured by the sensors is highly correlated. The proposed algorithm is simple to implement and requires no estimation of noise statistics. In addition, it offers the capability of coping with multiple interfering sources that might be located at different azimuths. The proposed algorithm was evaluated with normal hearing listeners using intelligibility listening tests and compared against a well-established beamforming algorithm. Results indicated large gains in speech intelligibility relative to the baseline (front microphone) algorithm in both single and multiple-noise source scenarios. The proposed algorithm was found to yield substantially higher intelligibility than that obtained by the beamforming algorithm, particularly when multiple noise sources or competing talker(s) were present. Objective quality evaluation of the proposed algorithm also indicated significant quality improvement over that obtained by the beamforming algorithm. The intelligibility and quality benefits observed with the proposed coherence-based algorithm make it a viable candidate for hearing aid and cochlear implant devices.     

A new algorithm for interactive graphics on multicomputers

As nonshared-memory multiple instruction, multiple data (MIMD) systems become more common, it becomes important to develop parallel rendering algorithms for them. These systems, known as multicomputers, can produce data sets so large that it is difficult to visualize the data on conventional graphics systems, especially if the visualization proceeds in tandem with the calculation. Parallel systems must run interactive graphics to allow convenient visualizations of their computations. While few parallel systems currently have a frame buffer that will support interactive rendering, such systems should be more common in the future. This article describes an algorithm suited for interactive polygon rendering, where the model's image on screen generally has frame-to-frame coherence. The algorithm uses this coherence to perform load-balancing calculations in parallel with the other calculations. The algorithm also uses an optimized version of personalized all-to-all communication, where all processors communicate with all other processors     

Silhouette coherence for camera calibration under circular motion

We present a new approach to camera calibration as a part of a complete and practical system to recover digital copies of sculpture from uncalibrated image sequences taken under turntable motion. In this paper, we introduce the concept of the silhouette coherence of a set of silhouettes generated by a 3D object. We show how the maximization of the silhouette coherence can be exploited to recover the camera poses and focal length. Silhouette coherence can be considered as a generalization of the well-known epipolar tangency constraint for calculating motion from silhouettes or outlines alone. Further, silhouette coherence exploits all the geometric information encoded in the silhouette (not just at epipolar tangency points) and can be used in many practical situations where point correspondences or outer epipolar tangents are unavailable. We present an algorithm for exploiting silhouette coherence to efficiently and reliably estimate camera motion. We use this algorithm to reconstruct very high quality 3D models from uncalibrated circular motion sequences, even when epipolar tangency points are not available or the silhouettes are truncated. The algorithm has been integrated into a practical system and has been tested on more than 50 uncalibrated sequences to produce high quality photo-realistic models. Three illustrative examples are included in this paper. The algorithm is also evaluated quantitatively by comparing it to a state-of-the-art system that exploits only epipolar tangents     

On the Computation of an Averaged Coherence Function

Brushe, Gary D., and Waller, Jeremy R., On the Computation of an Averaged Coherence Function, Digital Signal Processing11 (2001) 110–119The coherence function provides a measure of the statistical independence of two stochastic processes and is computed by using the cross spectrum and auto spectra of those processes. This paper examines the computation of an averaged coherence function from multiple blocks of data obtained from two sensors. In signal detection theory, it is generally assumed that the channels through which a signal passes are wide-sense stationary. However, in practical situations this assumption may not be valid and the signal may actually have passed through nonstationary phase channels. This paper demonstrates that in these situations it may be better to average the cross spectrum (used to compute the coherence function) in the polar coordinate system instead of the Cartesian coordinate system. It is demonstrated that averaging the coherence function under the Cartesian coordinate system can produce an averaged estimate that is inconsistent with the meaning of the individual coherence functions that have been averaged. However, averaging the coherence function under the polar coordinate system produces an averaged coherence function that is consistent with the meaning of the individual coherence functions that have been averaged.     

Analysis of L-band SAR backscatter and coherence for delineation of land-use/land-cover

In this study, we investigated the potential improvement of land-use/land-cover (LU/LC) classification using multidate backscatter intensity as well as interferometric coherence images derived from Advanced Land Observing Satellite phased array L-band synthetic aperture radar data. Four interferometric synthetic aperture radar data pairs in horizontal–horizontal polarizations were processed to obtain backscatter intensity and coherence images. From the analysis of these images, it was observed that backscatter values alone are not sufficient to separate certain LU/LC classes, e.g. forest and mining areas, due to similarities in the associated scattering mechanisms producing similar backscatter values. However, the temporal coherence values from these LU/LC features were found to be distinctly different. Supervised classifications using maximum-likelihood distance were performed with various combinations of data (three-date backscatter intensity and two-date backscatter intensity with corresponding coherence data) to generate LU/LC maps of the study area. The comparison of classification accuracies obtained for different combinations of data indicates that the classification accuracy is improved by adding coherence information to the backscatter intensity data compared to using the multidate backscatter intensity data alone. Thus, the analysis of backscatter intensity along with coherence is a better alternative than using backscatter intensity alone to improve the accuracy in LU/LC classification.     

Quantum coherence of two-qubit over quantum channels with memory

Using the axiomatic definition of the quantum coherence measure, such as the \(l_{1}\) norm and the relative entropy, we study the phenomena of two-qubit system quantum coherence through quantum channels where successive uses of the channels are memory. Different types of noisy channels with memory, such as amplitude damping, phase damping, and depolarizing channels effect on quantum coherence have been discussed in detail. The results show that quantum channels with memory can efficiently protect coherence from noisy channels. Particularly, as channels with perfect memory, quantum coherence is unaffected by the phase damping as well as depolarizing channels. Besides, we also investigate the cohering and decohering power of quantum channels with memory.     

Belief models: An order-theoretic investigation

I show that there is a common order-theoretic structure underlying many of the models for representing beliefs in the literature. After identifying this structure, and studying it in some detail, I argue that it is useful. On the one hand, it can be used to study the relationships between several models for representing beliefs, and I show in particular that the model based on classical propositional logic can be embedded in that based on the theory of coherent lower previsions. On the other hand, it can be used to generalise the coherentist study of belief dynamics (belief expansion and revision) by using an abstract order-theoretic definition of the belief spaces where the dynamics of expansion and revision take place. Interestingly, many of the existing results for expansion and revision in the context of classical propositional logic can still be proven in this much more abstract setting, and therefore remain valid for many other belief models, such as those based on imprecise probabilities.     

Coherence measures and their relation to fuzzy similarity and inconsistency in knowledge bases

Intuitively it seems that the coherence of information received from heterogeneous sources should be one factor in determining the reliability or truthfulness of the information, yet the concept of coherence is extremely difficult to define. This paper draws on recent work on probabilistic measures of coherence by investigating two measures with contrasting properties and then explores how this work relates to similarity of fuzzy sets and comparison of knowledge bases in cases where inconsistency is present. In each area contrasting measures are proposed analogous to the probabilistic case. In particular, concepts of fuzzy and logical independence are proposed and in each area it is found that sensitivity to the relevant concept of independence is a distinguishing feature between the contrasting measures. In the case of inconsistent knowledge bases, it is argued that it is important to take agreeing information and not just conflicting and total information into account when comparing two knowledge bases. One of the measures proposed achieves this and is shown to have a number of properties which enable it to overcome some problems encountered by other approaches.     

Stability and Scepticism in the Modelling of Doxastic States: Probabilities and Plain Beliefs

There are two prominent ways of formally modelling human belief. One is in terms of plain beliefs (yes-or-no beliefs, beliefs simpliciter), i.e., sets of propositions. The second one is in terms of degrees of beliefs, which are commonly taken to be representable by subjective probability functions. In relating these two ways of modelling human belief, the most natural idea is a thesis frequently attributed to John Locke: a proposition is or ought to be believed (accepted) just in case its subjective probability exceeds a contextually fixed probability threshold \(t<1\). This idea is known to have two serious drawbacks: first, it denies that beliefs are closed under conjunction, and second, it may easily lead to sets of beliefs that are logically inconsistent. In this paper I present two recent accounts of aligning plain belief with subjective probability: the Stability Theory of Leitgeb (Ann Pure Appl Log 164(12):1338–1389, 2013; Philos Rev 123(2):131–171, 2014; Proc Aristot Soc Suppl Vol 89(1):143–185, 2015a; The stability of belief: an essay on rationality and coherence. Oxford University Press, Oxford, 2015b) and the Probalogical Theory (or Tracking Theory) of Lin and Kelly (Synthese 186(2):531–575, 2012a; J Philos Log 41(6):957–981, 2012b). I argue that Leitgeb’s theory may be too sceptical for the purposes of real life.     

Temporally Coherent and Artistically Intended Stylization of Feature Lines Extracted from 3D Models

In this paper, we propose a method to maintain the temporal coherence of stylized feature lines extracted from 3D models and preserve an artistically intended stylization provided by the user. We formally define the problem of combining spatio‐temporal continuity and artistic intention as a weighted energy minimization problem of competing constraints. The proposed method updates the style properties to provide real‐time smooth transitions from current to goal stylization, by assuring first‐ and second‐order temporal continuity, as well as spatial continuity along each stroke. The proposed weighting scheme guarantees that the stylization of strokes maintains motion coherence with respect to the apparent motion of the underlying surface in consecutive frames. This weighting scheme emphasizes temporal continuity for small apparent motions where the human vision system is able to keep track of the scene, and prioritizes the artistic intention for large apparent motions where temporal coherence is not expected. The proposed method produces temporally coherent and visually pleasing animations without the flickering artifacts of previous methods, while also maintaining the artistic intention of a goal stylization provided by the user.