Dynamic epistemic logic with branching temporal structures

van Bentham et al. (Merging frameworks for interaction: DEL and ETL, 2007) provides a framework for generating the models of Epistemic Temporal Logic (ETL: Fagin et al., Reasoning about knowledge, 1995; Parikh and Ramanujam, Journal of Logic, Language, and Information, 2003) from the models of Dynamic Epistemic Logic (DEL: Baltag et al., in: Gilboa (ed.) Tark 1998, 1998; Gerbrandy, Bisimulations on Planet Kripke, 1999). We consider the logic TDEL on the merged semantic framework, and its extension with the labeled past-operator “P _ϵ” (“The event ϵ has happened before which. . .”). To axiomatize the extension, we introduce a method for transforming a given model into a normal form in a suitable sense. These logics suggest further applications of DEL in the theory of agency, the theory of learning, etc.     

Deontic Interpreted Systems

We investigate an extension of the formalism of interpreted systems by Halpern and colleagues to model the correct behaviour of agents. The semantical model allows for the representation and reasoning about states of correct and incorrect functioning behaviour of the agents, and of the system as a whole. We axiomatise this semantic class by mapping it into a suitable class of Kripke models. The resulting logic, KD45_n ^i-j, is a stronger version of KD, the system often referred to as Standard Deontic Logic. We extend this formal framework to include the standard epistemic notions defined on interpreted systems, and introduce a new doubly-indexed operator representing the knowledge that an agent would have if it operates under the assumption that a group of agents is functioning correctly. We discuss these issues both theoretically and in terms of applications, and present further directions of work.     

Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams

We present a methodology for the verification of multi-agent systems, whose properties are specified by means of a modal logic that includes a temporal, an epistemic, and a modal operator to reason about correct behaviour of agents. The verification technique relies on model checking via ordered binary decision diagrams. We present an implementation and report on experimental results for two scenarios: the bit transmission problem with faults and the protocol of the dining cryptographers.     

A formalisation of violation, error recovery, and enforcement in the bit transmission problem

The design of complex multi-agent systems is increasingly having to confront the possibility that agents may not behave as they are supposed to. In addition to analysing the properties that hold if protocols are followed correctly, it is also necessary to predict, test, and verify the properties that would hold if these protocols were to be violated. We illustrate how the formal machinery of deontic interpreted systems can be applied to the analysis of such problems by considering three variations of the bit transmission problem. The first, an example in which an agent may fail to do something it is supposed to do, shows how we deal with violations of protocols and specifications generally. The second, an example in which an agent may do something it is not supposed to do, shows how it is possible to specify and analyse remedial or error-recovery procedures. The third combines both kinds of faults and introduces a new component into the system, a controller, whose role is to enforce compliance with the protocol. In each case the formal analysis is used to test whether critical properties of the system are compromised, in this example, the reliable communication of information from one agent to the other.     

Some properties of estimated scale invariant covariance structures

Scale invariance is a property shared by many covariance structure models employed in practice. An example is provided by the well-known LISREL model subject only to classical normalizations and zero constraints on the parameters. It is shown that scale invariance implies that the estimated covariannce matrix must satisfy certain equations, and the nature of these equations depends on the fitting function used. In this context, the paper considers two classes of fitting functions: weighted least squares and the class of functions proposed by Swain.Constructive comments by the referees are greatly appreciated. The author gratefully acknowledges Michael Browne's interest in his work.     

A Note on the Interpolation Property in Tense Logic

It is proved that all bimodal tense logics which contain the logic of the weak orderings and have unbounded depth do not have the interpolation property.     

Complete Axiomatizations for Reasoning about Knowledge and Branching Time

Sound and complete axiomatizations are provided for a number of different logics involving modalities for the knowledge of multiple agents and operators for branching time, extending previous work of Halpern, van der Meyden and Vardi [to appear, SIAM Journal on Computing] for logics of knowledge and linear time. The paper considers the system constraints of synchrony, perfect recall and unique initial states, which give rise to interaction axioms. The language is based on the temporal logic CTL*, interpreted with respect to a version of the bundle semantics.     

Some comments on the distinction between intention and intentionality

The topic of intention has recently received attention from behavior analysts (Hineline, 2003; Neuman, 2004). From a behavior-analytic perspective, it is important to identify the circumstances in which people utter such terms, and to identify the potential circumstances that maintain such utterances. It follows that from a behavior-analytic perspective, the focus is primarily on those who observe behavior and attribute intentions to that behavior. However, there has not been a distinction between intention and intentionality. The current analysis stresses the distinction between the two terms, both from a traditional point of view (psychologist and layperson) and from a behavior-analytic point of view. From a behavior analyst's perspective, the distinction is important because observers may be responding to distinct functional relations when they attribute intention or intentionality to behavior.     

Some contributions to efficient statistics in structural models: Specification and estimation of moment structures

Current practice in structural modeling of observed continuous random variables is limited to representation systems for first and second moments (e.g., means and covariances), and to distribution theory based on multivariate normality. In psychometrics the multinormality assumption is often incorrect, so that statistical tests on parameters, or model goodness of fit, will frequently be incorrect as well. It is shown that higher order product moments yield important structural information when the distribution of variables is arbitrary. Structural representations are developed for generalizations of the Bentler-Weeks, Jöreskog-Keesling-Wiley, and factor analytic models. Some asymptotically distribution-free efficient estimators for such arbitrary structural models are developed. Limited information estimators are obtained as well. The special case of elliptical distributions that allow nonzero but equal kurtoses for variables is discussed in some detail. The argument is made that multivariate normal theory for covariance structure models should be abandoned in favor of elliptical theory, which is only slightly more difficult to apply in practice but specializes to the traditional case when normality holds. Many open research areas are described.     

The effects of strong belief structures on information-processing evaluations and choice

This study examined the influence of the strength of belief structures on selected aspects of the decision-making process. To examine these issues, a business-acquisition decision scenario was studied in an experiment. Subjects played the role of a CEO of an electronics firm and were asked to evaluate the attractiveness of six potential acquisition candidates and to rate various aspects of the associated decision process. We presented half the subjects with information that the belief structure of their organization was extreme, agreed upon, and clear. The other half was presented with information that there was disagreement about the belief structure and that it was more ambiguous and less extreme. The results clearly showed that the decision process is different for people who were presented with an agreed-upon, extreme, and tightly constructed belief structure when compared to those who received information reflecting a weak and loosely constructed belief structure. A strong belief structure resulted in less positive evaluations, information requested, and money allocated to explore incompatible acquisition candidates (and vice versa for a highly compatible candidate) when compared to subjects using a weak belief structure. In addition, subjects in the strong-belief condition reported that their decision process would be characterized by less doubt, less time, less difficulty, and less conflict compared to subjects in the weak-belief structure condition. Implications for both decision theory and practical decision processes are discussed.     

Chunk hierarchies and retrieval structures: Comments on Saariluoma and Laine

The empirical results of Saariluoma and Laine are discussed and their computer simulations are compared with CHREST, a computational model of perception, memory and learning in chess. Mathematical functions such as power functions and logarithmic functions account for Saariluoma and Laine's correlation heuristic and for CHREST very well. However, these functions fit human data well only with game positions, not with random positions. As CHREST, which learns using spatial proximity, accounts for the human data as well as Saariluoma and Laine's correlation heuristic, their conclusion that frequency-based heuristics match the data better than proximity-based heuristics is questioned. The idea of flat chunk organisation and its relation to retrieval structures is discussed. In the conclusion, emphasis is given to the need for detailed empirical data, including information about chunk structure and types of errors, for discriminating between various learning algorithms.     

Some Results on Modal Axiomatization and Definability for Topological Spaces

We consider two topological interpretations of the modal diamond—as the closure operator (C-semantics) and as the derived set operator (d-semantics). We call the logics arising from these interpretations C-logics and d-logics, respectively. We axiomatize a number of subclasses of the class of nodec spaces with respect to both semantics, and characterize exactly which of these classes are modally definable. It is demonstrated that the d-semantics is more expressive than the C-semantics. In particular, we show that the d-logics of the six classes of spaces considered in the paper are pairwise distinct, while the C-logics of some of them coincide. Mathematics Subject Classifications (2000): 03B45, 54G99. Presented by Michael Zakharyaschev     

Learnability of embedded syntactic structures depends on prosodic cues

The ability to process center-embedded structures has been claimed to represent a core function of the language faculty. Recently, several studies have investigated the learning of center-embedded dependencies in artificial grammar settings. Yet some of the results seem to question the learnability of these structures in artificial grammar tasks. Here, we tested under which exposure conditions learning of center-embedded structures in an artificial grammar is possible. We used naturally spoken syllable sequences and varied the presence of prosodic cues. The results suggest that mere distributional information does not suffice for successful learning. Prosodic cues marking the boundaries of the major relevant units, however, can lead to learning success. Thus, our data are consistent with the hypothesis that center-embedded syntactic structures can be learned in artificial grammar tasks if language-like acoustic cues are provided.     

The impact of adjacent-dependencies and staged-input on the learnability of center-embedded hierarchical structures

A theoretical debate in artificial grammar learning (AGL) regards the learnability of hierarchical structures. Recent studies using an AⁿBⁿ grammar draw conflicting conclusions (Bahlmann and Friederici, 2006 and [De Vries et al., 2008] ). We argue that 2 conditions crucially affect learning AⁿBⁿ structures: sufficient exposure to zero-level-of-embedding (0-LoE) exemplars and a staged-input. In 2 AGL experiments, learning was observed only when the training set was staged and contained 0-LoE exemplars. Our results might help understanding how natural complex structures are learned from exemplars.     

A family assessment based on the Social Relations Model

One purpose of family assessment is to formulate hypotheses that can guide clinical interventions. Family assessment is based on models about family functioning. In this paper the Social Relations Model ( Kenny and La Voie, 1984 ; SRM) is presented as such a model about family dynamics. Moreover, SRM provides statistical tools to underpin empirical hypotheses about family functioning. An SRM family assessment of a family with a child in child psychiatric care exemplifies the possibilities and limitations of this SRM approach to family assessment. The subject of the family assessment is family members' sense of influence in their family relationships.     

Twin-coupled domain structures in epitaxial relaxor ferroelectric Ba(Zr,Ti)O3 thin films on (001) MgO substrate

We report the twin-coupled multi-oriented domain structures in the epitaxial BZT20 (20%Zr) films grown on the (001) MgO substrate using pulsed-laser deposition. Transmission electron microscopy shows that the film consists of an epitaxial layer of pseudo-cubic perovskite structure and a nanopillar layer of multi-oriented twin domain structures near the surface. Four types of the twin domains were formed in the nanopillar layers by coherently joining their {111} with the epilayer and aligning their ?110? directions parallel to the ?110? axes of the epilayer. A non-uniform polarization switching behavior was observed due to the formation of such complex structure in the BZT20 films.     

回到思想史:先秦名学研究的新路向

Discussions of name (ming, 名) during the pre-Qin and Qin-Han period of Chinese history were very active. The concept ming at that time can be divided into two categories, one is the ethical-political meaning of the term and the other is the linguistic-logical understanding. The former far exceeds the latter in terms of overall influence on the development of Chinese intellectual history. But it is the latter that has received the most attention in the 20th century, due to the influence of Western logic. This has led to the result of a bias in the contemporary studies of ming. Changing course by returning to the correct path of intellectual history can providing an objective and thorough ordering of the pre-Qin discourse on ming. Translated by Joseph E. Harroff from Shandong Daxue Xuebao 山东大学学报 (Journal of Shandong University), 2007, (2): 59–64