Practical Model-Based Diagnosis with Qualitative Possibilistic Uncertainty

An approach to fault isolation that exploits vastly incomplete models is presented. It relies on separate descriptions of each component behavior, together with the links between them, which enables focusing of the reasoning to the relevant part of the system. As normal observations do not need explanation, the behavior of the components is limited to anomaly propagation. Diagnostic solutions are disorders (fault modes or abnormal signatures) that are consistent with the observations, as well as abductive explanations. An ordinal representation of uncertainty based on possibility theory provides a simple exception-tolerant description of the component behaviors. We can for instance distinguish between effects that are more or less certainly present (or absent) and effects that are more or less certainly present (or absent) when a given anomaly is present. A realistic example illustrates the benefits of this approach.Comment: Appears in Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence (UAI1995

The PITA System: Tabling and Answer Subsumption for Reasoning under Uncertainty

Many real world domains require the representation of a measure of uncertainty. The most common such representation is probability, and the combination of probability with logic programs has given rise to the field of Probabilistic Logic Programming (PLP), leading to languages such as the Independent Choice Logic, Logic Programs with Annotated Disjunctions (LPADs), Problog, PRISM and others. These languages share a similar distribution semantics, and methods have been devised to translate programs between these languages. The complexity of computing the probability of queries to these general PLP programs is very high due to the need to combine the probabilities of explanations that may not be exclusive. As one alternative, the PRISM system reduces the complexity of query answering by restricting the form of programs it can evaluate. As an entirely different alternative, Possibilistic Logic Programs adopt a simpler metric of uncertainty than probability. Each of these approaches -- general PLP, restricted PLP, and Possibilistic Logic Programming -- can be useful in different domains depending on the form of uncertainty to be represented, on the form of programs needed to model problems, and on the scale of the problems to be solved. In this paper, we show how the PITA system, which originally supported the general PLP language of LPADs, can also efficiently support restricted PLP and Possibilistic Logic Programs. PITA relies on tabling with answer subsumption and consists of a transformation along with an API for library functions that interface with answer subsumption

Penghasilan manual rjngkas penggunaan alat Total Station Sokkia Set5f dan Perisian Sdr Mapping & Design untuk automasi ukur topografi

Projek ini dilaksanakan untuk menghasilkan manual ringkas penggunaan alat Total Station Sokkia SET5F dan Perisian SDR Mapping & Design dalam menghasilkan pelan topografi yang lengkap mengikut konsep field to finish. Manual telah dihasilkan dalam dua bentuk iaitu buku dan CD-ROM. Manual ini telah dinilai berdasarkan data yang diperolehi daripada 7 orang responden melalui kaedah Borang Penilaian Manual. Analisis data dilakukan menggunakan perisian SPSS versi 11.0. Hasil analisis skor min menunjukkan kesemua responden bersetuju bahawa manual dalam bentuk buku ini menarik Min ( M ) ^ ^ dan Sisihan Piawai (SD) = .535 tetapi kurang interaktif (M) = 2.29 dan (SD) = 0.488. Berbanding dengan manual dalam format CD-ROM yang mencatat nilai (M) = 3.57 dan (SD) = 0.535 semua responden bersetuju bahawa manual ini mesra pengguna dan lebih interakti

Contextuality under weak assumptions

The presence of contextuality in quantum theory was first highlighted by Bell, Kochen and Specker, who discovered that for quantum systems of three or more dimensions, measurements could not be viewed as deterministically revealing pre-existing properties of the system. More precisely, no model can assign deterministic outcomes to the projectors of a quantum measurement in a way that depends only on the projector and not the context (the full set of projectors) in which it appeared, despite the fact that the Born rule probabilities associated with projectors are independent of the context. A more general, operational definition of contextuality introduced by Spekkens, which we will term "probabilistic contextuality", drops the assumption of determinism and allows for operations other than measurements to be considered contextual. Even two-dimensional quantum mechanics can be shown to be contextual under this generalised notion. Probabilistic noncontextuality represents the postulate that elements of an operational theory that cannot be distinguished from each other based on the statistics of arbitrarily many repeated experiments (they give rise to the same operational probabilities) are ontologically identical. In this paper, we introduce a framework that enables us to distinguish between different noncontextuality assumptions in terms of the relationships between the ontological representations of objects in the theory given a certain relation between their operational representations. This framework can be used to motivate and define a "possibilistic" analogue, encapsulating the idea that elements of an operational theory that cannot be unambiguously distinguished operationally can also not be unambiguously distinguished ontologically. We then prove that possibilistic noncontextuality is equivalent to an alternative notion of noncontextuality proposed by Hardy. Finally, we demonstrate that these weaker noncontextuality assumptions are sufficient to prove alternative versions of known "no-go" theorems that constrain ψ-epistemic models for quantum mechanics

A Possibilistic and Probabilistic Approach to Precautionary Saving

This paper proposes two mixed models to study a consumer's optimal saving in the presence of two types of risk.Comment: Panoeconomicus, 201