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

Recommendation Framework Based on Subjective Logic in Decision Support Systems

In this thesis our goals are to investigate the suitability of subjective logic within the decision support context that requires connectivity to complex data, user specification of frames of discernment, representation of complex reasoning expressions, an architecture that supports distributed usage of a decision support tool based on a client-server approach that separates user interactions on the browser side from computational engines for calculations on the server side, and analysis of the suitability and limitations of the proposed architecture

Fostering Religious Education for Transformation in Indonesia: Dialogue with Transformative Learning Theory

This essay attempts to construct a model of religious education for transformation that effectively addresses the growth of everyday religious conflict in Indonesias post-Suharto era. Using the lens of transformative learning theory, this essay emphasizes that the task of religious education should not merely serve as an intra-ecclesial agency of church or religious maintenance but must retrieve its task to reconstruct and to transform social situations. Such a vision emphasizes the task of religious educators to inform and form people to bring them into the fullness of life for themselves and others to transform the world. This essay draws insights from two scholars in transformative learning theory Jack Mezirow and Paulo Freire who point out two foundations for transformation: (1) critical reflection, and (2) dialogue. These two visions can inspire religious educators to introduce critical reflection in their curriculum and to develop interreligious education that nurtures dialogue and collaboration. By focusing on developing critical reflection and interreligious education, religious education can offer transformation in Indonesian society plagued by ongoing conflict

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

Belief Functions: Theory and Algorithms

The subject of this thesis is belief function theory and its application in different contexts. Belief function theory can be interpreted as a generalization of Bayesian probability theory and makes it possible to distinguish between different types of uncertainty. In this thesis, applications of belief function theory are explored both on a theoretical and on an algorithmic level. The problem of exponential complexity associated with belief function inference is addressed in this thesis by showing how efficient algorithms can be developed based on Monte-Carlo approximations and exploitation of independence. The effectiveness of these algorithms is demonstrated in applications to particle filtering, simultaneous localization and mapping, and active classification

Opening to Revelation: Building Discernment Processes from Practices that Best Inform Communal Decision Making

This sequential explanatory mixed methods research project investigates the spiritual discernment processes of a Christian congregation in the United Church of Christ. The study identifies most utilized and most helpful practices of spiritual discernment within the areas of prayer, conversation, community, and media. This research shows how engaging spiritual practices influences participation in decision making by Christian congregations

THE DEVELOPMENT OF A HOLISTIC EXPERT SYSTEM FOR INTEGRATED COASTAL ZONE MANAGEMENT

Coastal data and information comprise a massive and complex resource, which is vital to the practice of Integrated Coastal Zone Management (ICZM), an increasingly important application. ICZM is just as complex, but uses the holistic paradigm to deal with the sophistication. The application domain and its resource require a tool of matching characteristics, which is facilitated by the current wide availability of high performance computing. An object-oriented expert system, COAMES, has been constructed to prove this concept. The application of expert systems to ICZM in particular has been flagged as a viable challenge and yet very few have taken it up. COAMES uses the Dempster- Shafer theory of evidence to reason with uncertainty and importantly introduces the power of ignorance and integration to model the holistic approach. In addition, object orientation enables a modular approach, embodied in the inference engine - knowledge base separation. Two case studies have been developed to test COAMES. In both case studies, knowledge has been successfully used to drive data and actions using metadata. Thus a holism of data, information and knowledge has been achieved. Also, a technological holism has been proved through the effective classification of landforms on the rapidly eroding Holderness coast. A holism across disciplines and CZM institutions has been effected by intelligent metadata management of a Fal Estuary dataset. Finally, the differing spatial and temporal scales that the two case studies operate at implicitly demonstrate a holism of scale, though explicit means of managing scale were suggested. In all cases the same knowledge structure was used to effectively manage and disseminate coastal data, information and knowledge

A discourse approach to Korean politeness:towards a culture-specific Confucian framework

This thesis examines the inter-relationship between face, face work, and cultural values, as they apply to strategic politeness in Korean institutional settings, specifically university contexts. This study also seeks to explore issues of methodology for culture-specific politeness research, given that previous researchers either neglected cultural values, which operate sometimes outside of linguistic presentations, or used methods that prevented them from noticing the role of cultural values, which can function as another means of face redress in the construction of culture-specific politeness. The interactional aspects of language use demonstrate that the socio-pragmatics of cultural values/norms are essential elements in the construction of strategic politeness. However, previous researchers on politeness have never really looked into how culture-specific frameworks can function as both methodological and theoretical tools in the investigation of culture-specific politeness. Most politeness researchers have been mainly concerned with linguistic systems, and have paid less attention to cultural values that directly influence polite linguistic behavior. In this study, a Confucian framework was employed to explore both the linguistic forms and cultural values that are the core elements of Korean linguistic politeness. Korean politeness shows that a Confucian frame is needed as an interactional supplement to politeness research, because the cultural frame that Korean speakers use plays a decisive role in their choice of politeness forms. A Confucian framework allows analysis of how socio-cultural values interact with culture-specific cognitive dimensions. The intent in using a Confucian framework is to analyze how Confucian values can be realized through culture-specific discursive modes