Modeling human memory phenomena in a hybrid event memory system

Human event memory stores an individual’s personal experiences and produces their recollections with varying degrees of accuracy. To model this capacity, we recently developed a hybrid event memory system that combines aspects of the two main theories proposed in the philosophical literature. We aim to model a complete range of human event memory phenomena – successful remembering, misremembering, and confabulation – using this framework. In this paper, we review our hybrid event memory system and present empirical results from a remembering experiment we conducted using this system. The results show that our system successfully models the full range of human event memory usage and errors.     

The curious case of the refrigerator-TV: similarity and hybridization

This article examines the role of similarity in the hybridization of concepts, focusing on hybrid products as an applied test case. Hybrid concepts found in natural language, such as singer songwriter, typically combine similar concepts, whereas dissimilar concepts rarely form hybrids. The hybridization of dissimilar concepts in products such as jogging shoe mp3 player and refrigerator TV thus poses a challenge for understanding the process of conceptual combination. It is proposed that models of conceptual combination can throw light on the judged future success and desirability of hybrid products in general. The composite prototype model proposes two stages of conceptual combination. In the first stage, the concepts are aggregated into an additive hybrid, simply by forming the union of the two sets of attributes. In the second stage, any conflicting attributes are identified and resolved, often with the introduction of emergent attributes, resulting in an integrative hybrid. Across four studies that varied the similarity and type of hybrid products, similar and integrative hybrids were valued more than dissimilar and additive hybrids. Critically, though, dissimilar hybrids were also highly valued if they were integrative. Results supported the two stages proposed by the composite prototype model, and implications for other models of hybrid formation are discussed.     

Question answering from structured knowledge sources

We present an implemented approach for domain-restricted question answering from structured knowledge sources, based on robust semantic analysis in a hybrid NLP system architecture. We perform question interpretation and answer extraction in an architecture that builds on a lexical-conceptual structure for question interpretation, which is interfaced with domain-specific concepts and properties in a structured knowledge base. Question interpretation involves a limited amount of domain-specific inferences, and accounts for higher-level quantificational questions. Question interpretation and answer extraction are modular components that interact in clearly defined ways. We derive so-called proto queries from the linguistic representations, which provide partial constraints for answer extraction from the underlying knowledge sources. The search queries we construct from proto queries effectively compute minimal spanning trees from the underlying knowledge sources. Our approach naturally extends to multilingual question answering, and has been developed as a prototype system for two application domains: the domain of Nobel prize winners, and the domain of Language Technology, on the basis of the large ontology underlying the information portal LT World.     

Sensorimotor representation and knowledge-based reasoning for spatial exploration and localisation

We investigate a hybrid system for autonomous exploration and navigation, and implement it in a virtual mobile agent, which operates in virtual spatial environments. The system is based on several distinguishing properties. The representation is not map-like, but based on sensorimotor features, i.e. on combinations of sensory features and motor actions. The system has a hybrid architecture, which integrates a bottom-up processing of sensorimotor features with a top-down, knowledge-based reasoning strategy. This strategy selects the optimal motor action in each step according to the principle of maximum information gain. Two sensorimotor levels with different behavioural granularity are implemented, a macro-level, which controls the movements of the agent in space, and a micro-level, which controls its eye movements. At each level, the same type of hybrid architecture and the same principle of information gain are used for sensorimotor control. The localisation performance of the system is tested with large sets of virtual rooms containing different mixtures of unique and non-unique objects. The results demonstrate that the system efficiently performs those exploratory motor actions that yield a maximum amount of information about the current environment. Localisation is typically achieved within a few steps. Furthermore, the computational complexity of the underlying computations is limited, and the system is robust with respect to minor variations in the spatial environments.     

Pure Extensions, Proof Rules, and Hybrid Axiomatics

In this paper we argue that hybrid logic is the deductive setting most natural for Kripke semantics. We do so by investigating hybrid axiomatics for a variety of systems, ranging from the basic hybrid language (a decidable system with the same complexity as orthodox propositional modal logic) to the strong Priorean language (which offers full first-order expressivity).We show that hybrid logic offers a genuinely first-order perspective on Kripke semantics: it is possible to define base logics which extend automatically to a wide variety of frame classes and to prove completeness using the Henkin method. In the weaker languages, this requires the use of non-orthodox rules. We discuss these rules in detail and prove non-eliminability and eliminability results. We also show how another type of rule, which reflects the structure of the strong Priorean language, can be employed to give an even wider coverage of frame classes. We show that this deductive apparatus gets progressively simpler as we work our way up the expressivity hierarchy, and conclude the paper by showing that the approach transfers to first-order hybrid logic.A preliminary version of this paper was presented at the fifth conference on Advances in Modal Logic (AiML 2004) in Manchester. We would like to thank Maarten Marx for his comments on an early draft and Agnieszka Kisielewska for help with the proof reading.Special Issue Ways of Worlds II. On Possible Worlds and Related Notions Edited by Vincent F. Hendricks and Stig Andur Pedersen     

A family of Gödel hybrid logics

In this paper, we define a family of fuzzy hybrid logics that are based on Gödel logic. It is composed of two infinite-valued versions called ${\mathsf{GH}}_{\infty }$ and ${\mathsf{WGH}}_{\infty }$, and a sequence of finitary valued versions ${({\mathsf{GH}}_n)}_{0<n<\infty }$. We define decision procedures for both ${\mathsf{WGH}}_{\infty }$ and ${({\mathsf{GH}}_n)}_{0<n<\infty }$ that are based on particular sequents and on a set of proof rules dealing with such sequents. As these rules are strongly invertible the procedures naturally allow one to generate countermodels. Therefore we prove the decidability and the finite model property for these logics. Finally, from the decision procedure of ${\mathsf{WGH}}_{\infty }$, we design a sound and complete sequent calculus for this logic.     

Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction)

We present a coinductive definition of models for modal logics and show that it provides a homogeneous framework in which it is possible to include different modal languages ranging from classical modalities to operators from hybrid and memory logics. Moreover, results that had to be proved separately for each different language—but whose proofs were known to be mere routine—now can be proved in a general way. We show, for example, that we can have a unique definition of bisimulation for all these languages, and prove a single invariance-under-bisimulation theorem.We then use the new framework to investigate normal forms for modal logics. The normal form we introduce may have a smaller modal depth than the original formula, and it is inspired by global modalities like the universal modality and the satisfiability operator from hybrid logics. These modalities can be extracted from under the scope of other operators. We provide a general definition of extractable modalities and show how to compute extracted normal forms. As it is the case with other classical normal forms—e.g., the conjunctive normal form of propositional logic—the extracted normal form of a formula can be exponentially bigger than the original formula, if we require the two formulas to be equivalent. If we only require equi-satisfiability, then every modal formula has an extracted normal form which is only polynomially bigger than the original formula, and it can be computed in polynomial time.     

Shopping destination choice in Tehran: An integrated choice and latent variable approach

Integrated choice and latent variable (ICLV) models are increasingly considered in many fields as a means to gain a deeper understanding into the decision process of individuals as well as to potentially improve predictive ability. Literature has shown that the application of ICLV in context of shopping destination choice has not been conducted yet. This study uses data collected from the city of Tehran, Iran on shopping destination choice of 812 individuals. Then these attitudinal questions are used for the development of latent variables regarding the attitude and lifestyle of the participants. By including one latent variable (LV) reflecting the attitudes of clothing and lifestyle’s of grocery travelers the structural model reveals a sample distribution of this LV conditional on fundamental socio-economic characteristics. The results of our latent variable model clearly confirm that personal attitude toward clothing shopping center and lifestyle indeed impact destination choice. The results show that our experiment and the expanded hybrid choice model (HCM) allow appropriately identifying and investigating the effects of mixtures of latent attitudes on the intention shopping destination choice.