Reasoning about Temporal Context using Ontology and Abductive Constraint Logic Programming

The underlying assumptions for interpreting the meaning of data often change over time, which further complicates the problem of semantic heterogeneities among autonomous data sources. As an extension to the COntext INterchange (COIN) framework, this paper introduces the notion of temporal context as a formalization of the problem. We represent temporal context as a multi-valued method in F-Logic; however, only one value is valid at any point in time, the determination of which is constrained by temporal relations. This representation is then mapped to an abductive constraint logic programming framework with temporal relations being treated as constraints. A mediation engine that implements the framework automatically detects and reconciles semantic differences at different times. We articulate that this extended COIN framework is suitable for reasoning on the Semantic Web.

Reasoning about Temporal Context using Ontology and Abductive Constraint Logic Programming

The underlying assumptions for interpreting the meaning of data often change over time, which further complicates the problem of semantic heterogeneities among autonomous data sources. As an extension to the COntext INterchange (COIN) framework, this paper introduces the notion of temporal context as a formalization of the problem. We represent temporal context as a multi-valued method in F-Logic; however, only one value is valid at any point in time, the determination of which is constrained by temporal relations. This representation is then mapped to an abductive constraint logic programming framework with temporal relations being treated as constraints. A mediation engine that implements the framework automatically detects and reconciles semantic differences at different times. We articulate that this extended COIN framework is suitable for reasoning on the Semantic Web.

Reasoning about Temporal Context using Ontology and Abductive Constraint Logic Programming

The underlying assumptions for interpreting the meaning of data often change over time, which further complicates the problem of semantic heterogeneities among autonomous data sources. As an extension to the COntext INterchange (COIN) framework, this paper introduces the notion of temporal context as a formalization of the problem. We represent temporal context as a multi-valued method in F-Logic; however, only one value is valid at any point in time, the determination of which is constrained by temporal relations. This representation is then mapped to an abductive constraint logic programming framework with temporal relations being treated as constraints. A mediation engine that implements the framework automatically detects and reconciles semantic differences at different times. We articulate that this extended COIN framework is suitable for reasoning on the Semantic Web.

Reasoning about Temporal Context using Ontology and Abductive Constraint Logic Programming

The underlying assumptions for interpreting the meaning of data often change over time, which further complicates the problem of semantic heterogeneities among autonomous data sources. As an extension to the COntext INterchange (COIN) framework, this paper introduces the notion of temporal context as a formalization of the problem. We represent temporal context as a multi-valued method in F-Logic; however, only one value is valid at any point in time, the determination of which is constrained by temporal relations. This representation is then mapped to an abductive constraint logic programming framework with temporal relations being treated as constraints. A mediation engine that implements the framework automatically detects and reconciles semantic differences at different times. We articulate that this extended COIN framework is suitable for reasoning on the Semantic Web.

Abductive translation studies : The art of marshalling signs

This dissertation contributes to the fields of theoretical translation studies, semiotic translation theory, and the semiotics of translation. The aim of this work is to explore the alternative and potential which the semiotic approaches to translation entail from the viewpoint of contemporary translation studies. The overall objective is thus to show that a general semiotic translation theory, and in particular, a Peircean translation theory, are possible and indispensable. Furthermore, this study contributes to the semiotranslational approach and to its theory-building by developing the concept of abductive translation (studies). The specific theoretical frame of reference adopted in this study is provided by the semiotranslation introduced by Dinda L. Gorlée. This approach is primarily based on the semeiotic of Charles Sanders Peirce (1839 1914), and aims at a fusion of semiotics and translation studies. A more general framework is provided by the threefold background and material: the published and unpublished writings of Peirce, Peirce scholarship and Peircean-semiotic publications, as well as the translation-theoretical literature. Part One of this study concentrates on the justification, existence, and nature of the semiotic approaches to translation. This part provides a historical survey, a status report, and a discussion of this area of research, by employing the findings in a boundary-clearing that is multilayered both conceptually and terminologically. Part Two deals with Peircean semiotranslation. Here Gorlée s semiotranslational research is examined by focusing on the starting points, features, and development of semiotranslation. Attention is also paid to the state-of-the-art of semiotranslation theory and to the possibilities for future elaborations. Part Three focuses on the semiotranslational claim that translation is an abductive activity. The concept of abductive translation is based on abduction, one of Peirce s three modes of reasoning; at the same time Firstness, the category of abduction, becomes foregrounded. So abductive translation as a form of possibilistic translation receives here an extensive theoretical discussion by citing examples in which abduction manifests itself as (scientific) reasoning and as everyday contemplation. During this treatise, translation is first equated with sign action, then with interpretation and finally with reasoning. All these approaches appear to embody different facets of the same phenomenon Peirce s ubiquitous semiosis, and they all suggest that translation is inherently an intersemiotic activity in which a sign is inferred from another sign. Translation is therefore semiosis, semiosis is translation and interpretation, interpretation is reasoning, and so on ad infinitum all being manifestations of the art of marshalling signs. The three parts of this study are linked by the overall goal of abductive translation studies: investigation into abductive translation develops the theory of semiotranslation, and this enrichment of semiotranslation in turn constructs a semiotic paradigm within translation studies.

Probabilistic abductive computation of evidence collection strategies in crime investigation

J. Keppens, Q. Shen and B. Schafer. Probabilistic abductive computation of evidence collection strategies in crime investigation. Proceedings of the 10th International Conference on Artificial Intelligence and Law, pages 215-225.

Representation, control, or reasoning? Distinct functions for theory of mind within the medial prefrontal cortex

The medial pFC (mPFC) is frequently reported to play a central role in Theory of Mind (ToM). However, the contribution of this large cortical region in ToM is not well understood. Combining a novel behavioral task with fMRI, we sought to demonstrate functional divisions between dorsal and rostral mPFC. All conditions of the task required the representation of mental states (beliefs and desires). The level of demands on cognitive control (high vs. low) and the nature of the demands on reasoning (deductive vs. abductive) were varied orthogonally between conditions. Activation in dorsal mPFC was modulated by the need for control, whereas rostral mPFC was modulated by reasoning demands. These findings fit with previously suggested domain-general functions for different parts of mPFC and suggest that these functions are recruited selectively in the service of ToM.