A Dempster-Shafer theory inspired logic.

Issues of formalising and interpreting epistemic uncertainty have always played a prominent role in Artificial Intelligence. The Dempster-Shafer (DS) theory of partial beliefs is one of the most-well known formalisms to address the partial knowledge. Similarly to the DS theory, which is a generalisation of the classical probability theory, fuzzy logic provides an alternative reasoning apparatus as compared to Boolean logic. Both theories are featured prominently within the Artificial Intelligence domain, but the unified framework accounting for all the aspects of imprecise knowledge is yet to be developed. Fuzzy logic apparatus is often used for reasoning based on vague information, and the beliefs are often processed with the aid of Boolean logic. The situation clearly calls for the development of a logic formalism targeted specifically for the needs of the theory of beliefs. Several frameworks exist based on interpreting epistemic uncertainty through an appropriately defined modal operator. There is an epistemic problem with this kind of frameworks: while addressing uncertain information, they also allow for non-constructive proofs, and in this sense the number of true statements within these frameworks is too large. In this work, it is argued that an inferential apparatus for the theory of beliefs should follow premises of Brouwer's intuitionism. A logic refuting tertium non daturìs constructed by defining a correspondence between the support functions representing beliefs in the DS theory and semantic models based on intuitionistic Kripke models with weighted nodes. Without addional constraints on the semantic models and without modal operators, the constructed logic is equivalent to the minimal intuitionistic logic. A number of possible constraints is considered resulting in additional axioms and making the proposed logic intermediate. Further analysis of the properties of the created framework shows that the approach preserves the Dempster-Shafer belief assignments and thus expresses modality through the belief assignments of the formulae within the developed logic

A Dempster-Shafer theory inspired logic

Issues of formalising and interpreting epistemic uncertainty have always played a prominent role in Artificial Intelligence. The Dempster-Shafer (DS) theory of partial beliefs is one of the most-well known formalisms to address the partial knowledge. Similarly to the DS theory, which is a generalisation of the classical probability theory, fuzzy logic provides an alternative reasoning apparatus as compared to Boolean logic. Both theories are featured prominently within the Artificial Intelligence domain, but the unified framework accounting for all the aspects of imprecise knowledge is yet to be developed. Fuzzy logic apparatus is often used for reasoning based on vague information, and the beliefs are often processed with the aid of Boolean logic. The situation clearly calls for the development of a logic formalism targeted specifically for the needs of the theory of beliefs. Several frameworks exist based on interpreting epistemic uncertainty through an appropriately defined modal operator. There is an epistemic problem with this kind of frameworks: while addressing uncertain information, they also allow for non-constructive proofs, and in this sense the number of true statements within these frameworks is too large. In this work, it is argued that an inferential apparatus for the theory of beliefs should follow premises of Brouwer's intuitionism. A logic refuting tertium non daturìs constructed by defining a correspondence between the support functions representing beliefs in the DS theory and semantic models based on intuitionistic Kripke models with weighted nodes. Without addional constraints on the semantic models and without modal operators, the constructed logic is equivalent to the minimal intuitionistic logic. A number of possible constraints is considered resulting in additional axioms and making the proposed logic intermediate. Further analysis of the properties of the created framework shows that the approach preserves the Dempster-Shafer belief assignments and thus expresses modality through the belief assignments of the formulae within the developed logic.EThOS - Electronic Theses Online ServiceGBUnited Kingdo

Fuzzy expert systems in civil engineering

Imperial Users onl

Characterizing radio channels : the science and technology of propagation and interference, 1900-1935

Thesis (Ph. D. in History and Social Study of Science and Technology (HASTS))--Massachusetts Institute of Technology, Program in Science, Technology and Society, 2004.Includes bibliographical references (p. 409-429).Guglielmo Marconi's trans-Atlantic wireless experiment in 1900 marked the beginning of a communication revolution that transformed the open space above the earth into channels of information flow. This dissertation grapples with the historical conditions that gave rise to such a transformation: the studies of radio-wave propagation and the treatments of radio interferences in early twentieth-century America and Western Europe. The part on propagation examines the debate between the surface diffraction theory and the atmospheric reflection theory for long waves, the development of the ionic refraction theory for short waves, the evidential quests for the existence of the ionosphere, and the studies of the geomagnetic effects on propagation. The part on interferences focuses on the engineering efforts toward the characterization of atmospheric noise and signal-intensity fluctuations, the policies of radio-channel allocation for fighting man-made interference, and the scientific research into electronic tube noise. By the mid-30s, the results from these endeavors had considerably improved the quality of radio communication. Characterizing Radio Channels builds a bridge between the history of science and the history of technology by inspecting an immaterial engineering entity--radio channels--whose control required significant scientific research. In the history of science, it contributes to an integrated study of electrical physics and geophysics. In the history of technology, it enriches radio history, epistemology of engineering knowledge, consumer studies, and the studies of technological policies. Combining both fields with the concept of radio channels enables a new understanding of the historical conditions that made the information society(cont.) social factors that facilitated the modern research organizations in academia, industry, governments and the military.by Chen-Pang Yeang.Ph.D.in History and Social Study of Science and Technology (HAST

Proceedings of the 5th MIT/ONR Workshop on C[3] Systems, held at Naval Postgraduate School, Monterey, California, August 23 to 27, 1982

"December 1982."Includes bibliographies and index.Office of Naval Research Contract no. ONR/N00014-77-C-0532 NR041-519edited by Michael Athans ... [et al.]