Likelihoodists and Bayesians seem to have a fundamental disagreement about the proper probabilistic explication of relational (or contrastive) conceptions of evidential support (or confirmation). In this paper, I will survey some recent arguments and results in this area, with an eye toward pinpointing the nexus of the dispute. This will lead, first, to an important shift in the way the debate ...

This paper is an explication of secret sharing schemes, emphasizing combinatorial construction methods. The main problem we consider is the construction of perfect secret sharing schemes, for specified access structures, with the maximum possible information rate. In this paper, we present numerous direct constructions for secret sharing schemes, such as the Shamir threshold scheme, the Boolean...

I n "Cultural Transmission, Disproportionate Prior Expos ure, and th e Evolu ti on of Cooperation," Mark (2002) claims to have "condueted a formal theoretical analysis that isolated the logic of cultural transmission (to] reveal an evolutionary force toward cooperation under conditions previously thought to make the evolution of cooperation impossible" (p. 324). The most striking aspect of Mark...

The explication of national-specific and organizationalspecific value systems of the firms involved in interorganizational knowledge management processes is the necessary condition for their success. The term cultural ontology is introduced to refer to such explication. Based on an inter-organizational knowledgemanipulating process model and on framework for studying the cultural influences on ...

The postulation of the new principles being (decentration, plurality, chaoticness, rhizomaticity) by philosophers-postmodernists reflected nonlinear nature development social system, one projections which was formation a direction architecture. Analysis works theorists postmodernism revealed influence worldview paradigm on transformation architecture as response to challenges our time. explicat...

Many verification problems reduce to proving the validity of formulas involving both propositional connectives and domain-specific functions and predicates. This paper presents an explicating theorem prover architecture that leverages recent advances in propositional SAT solving and the development of proof-generating domain-specific procedures. We describe the implementation of an explicating ...

Discussions of the theoretical foundations of artiicial intelligence increasingly refer to hermeneutics, a branch of continental European philosophy concerned with human understanding and the interpretation of written texts. Dreyfus and Wino-grad draw heavily on hermeneutics to question the feasibility of AI and cognitive science. But, hermeneutics also ooers insights that may contribute to the...

It is commonly recognized now at the end of the 20th century that a general 6-or 7-degree-of-freedom robot equipped with an end-effector with simple structure is clumsy in performing a variety of ordinary tasks that a human encounters in his or her everyday life. In this paper, it is claimed that the clumsiness manifests the lack of our knowledge of everyday physics. It is then shown that even ...