Pseudo-contractions in belief revision

Belief Revision addresses the problem of how to change epistemic states, usually represented in the literature by sets of logical sentences. Solid theoretical results were consolidated with the AGM paradigm, which deals with theories (logically closed sets of sentences). After that, the theory was extended to belief bases, that is, arbitrary sets of sentences. Besides all this theoretical framework, AI researchers face serious difficulties when trying to implement belief revision systems. One of the major complications is the closure required by AGM theory, which cannot be easily computed. Even belief bases, which do not require closure, seem to be improper for practical purposes, since their changes are usually very rigid (syntax dependent). Some operations, known as pseudo-contractions, are in the middle ground between belief set change and belief base change. In the present work we have proposed a new pseudo-contraction operation, studied its properties and characterized it. We have also found connections between this operator and some other pseudo-contractions.

Clarity, Light, and Logic : Parallels between Olafur Eliasson’s The weather project and the Gothic Cathedral

This Master’s Research Paper investigates Olafur Eliasson’s The weather project as a case study for the dialogue between Gothic artistic principles and prominent elements of contemporary art. A product of a post-modern mindset, weakened historicity allows us to examine these connections anew; past, present, and future blur and artists (and viewers) have the whole of time from which to gain inspiration and meaning in works of art. I demonstrate similarities through theories on phenomenology; the spatiotemporal relationship between viewer and artwork; the convergence of art and science; and the communal, quasi-liminal experience of pilgrimage. I embrace Eliasson’s belief in the self-reflexive potential of art and the importance of the viewer’s own values, memories, and methods of seeing. This new interpretive layer will hopefully offer a richer experience for future participants of both Gothic cathedrals and environments produced by Studio Olafur Eliasson.

Topological structures of complex belief systems (II): Textual materialization

Mythical and religious belief systems in a social context can be regarded as a conglomeration of sacrosanct rites, which revolve around substantive values that involve an element of faith. Moreover, we can conclude that ideologies, myths and beliefs can all be analyzed in terms of systems within a cultural context. The significance of being able to define ideologies, myths and beliefs as systems is that they can figure in cultural explanations. This, in turn, means that such systems can figure in logic-mathematical analyses.

A Computational Model of the Belief System Under the Scope of Social Communication

This paper presents an approach to the belief system based on a computational framework in three levels: first, the logic level with the definition of binary local rules, second, the arithmetic level with the definition of recursive functions and finally the behavioural level with the definition of a recursive construction pattern. Social communication is achieved when different beliefs are expressed, modified, propagated and shared through social nets. This approach is useful to mimic the belief system because the defined functions provide different ways to process the same incoming information as well as a means to propagate it. Our model also provides a means to cross different beliefs so, any incoming information can be processed many times by the same or different functions as it occurs is social nets.

Proof theory for lattice-ordered groups

Proof-theoretic methods are developed and exploited to establish properties of the variety of lattice-ordered groups. In particular, a hypersequent calculus with a cut rule is used to provide an alternative syntactic proof of the generation of the variety by the lattice-ordered group of automorphisms of the real number chain. Completeness is also established for an analytic (cut-free) hypersequent calculus using cut elimination and it is proved that the equational theory of the variety is co-NP complete.

The Impact of Relationship Conflict on subjective Family Firm Valuation

The present paper empirically investigates the impact of family relationship conflict on subjective firm valuation by family firm owner managers. Drawing on the emerging socioemotional wealth perspective of corporate ownership, we find a U-shaped relationship between relationship conflict inside the family firm and subjective family firm valuation. This finding suggests that negatively valenced emotions induced by the conflict, at low levels of conflict, lead to emotion congruent withdrawal behavior and hence lower valuation. With conflicts gaining in fervor and severity, owner-managers start endowing and pricing sunk costs related to the conflict. This finding suggests that emotions do indeed have spill-over effects on monetary value perceptions and that negatively valenced emotions induced by relationship conflict are not linearly appraised. Rather, to understand the impact of negative emotions on corporate ownership appraisal and attachment it is required to reconcile the emotion congruency with the prospect theory perspective.

Synthesis of optimal double-rail logic networks using NOR-OR gates by integer programming.

"Supported in part by ... Grant no. NSF GJ-503."

Minimization of logic networks under a generalized cost function /

Includes bibliographical references.

A planar geometrical model for representing multidimensional discrete spaces and multiple-valued logic functions /

Bibliography: p. 37-38.

Degrees of unsolvability in the theory of programming languages,

Bibliography: p. 120-123.

Man and society, political and social theory.

Bibliographical footnotes.

Knowledge, belief and certitude; an inquiry with conclusions.

Mode of access: Internet.

A system of logic, ratiocinative and inductive, being a connected view of the principles of evidence and the methods of scientific investigation.

Mode of access: Internet.

A theory of formal deducibility.

Bibliography: p. 123-129.

A system of logic, ratiocinative and inductive : being a connected view of the principles of evidence, and methods of scientific investigation /

Printer's statement on verso of title page: London: Harrison and Co., Printers, St. Martin's Lane.