Declarative Programming with Temporal Constraints, in the Language CG

Specifying and interpreting temporal constraints are key elements of knowledge representation and reasoning, with applications in temporal databases, agent programming, and ambient intelligence. We present and formally characterize the language CG, which tackles this issue. In CG, users are able to develop time-dependent programs, in a flexible and straightforward manner. Such programs can, in turn, be coupled with evolving environments, thus empowering users to control the environment's evolution. CG relies on a structure for storing temporal information, together with a dedicated query mechanism. Hence, we explore the computational complexity of our query satisfaction problem. We discuss previous implementation attempts of CG and introduce a novel prototype which relies on logic programming. Finally, we address the issue of consistency and correctness of CG program execution, using the Event-B modeling approach

The Role of Temporal Distraction on Short-Term Memory and Delayed Recognition

Memory is a complex process that requires the translation of information from an external sensory experience into an internal representation. Once information has been translated into memory, there is little agreement regarding the cognitive structure of memory storage and maintenance. Baddeley (1966) developed a model based on a multi-storage structure which suggested that as information entered through the sensory system, it was relayed by a cognitive control center and placed into storage units based on information type (i.e. auditory, visual, etc.). Baddeley’s (1966) multi-store memory model hypothesized that content translated into memory by two phases: short-term and long-term memory. More recent research supports a unitary model that better accounts for the translation of information from short term memory (STM) to long term memory (LTM) (Jost et al., 2012; Jonides et al., 2008). However, there is still uncertainty of a unitary memory model due to disagreement of the role of distractions during memory translation. The impact of distraction on this process is largely unknown. Understanding the role of distraction during STM encoding and how it affects the formation of LTM can potentially inform treatment for impaired memory. We explored the impact of temporal distractions on short-term memory and delayed recognition for visual content within a modified behavioral task based on Sternberg’s recognition task. Results indicated a negative impact of distractors on memory translation. Implications for future research were discuss to include clinical populations

Stability and Strategic Time-Dependent Behaviour in Multiagent Systems

Temporal reasoning and strategic behaviour are important abilities of multiagent systems. We introduce a game-theoretic framework suitable for modelling selfish and rational agents which can store and reason about the evolution of an environment, and act according to their interests. Our aim is to identify stable interactions: those where no agent has a benefit from changing his behaviour to another. For this reason we deploy the game-theoretic concept of Nash equilibrium and strong Nash equilibrium. We show that not all agent interactions can be stable. Also, we investigate the computational complexity for verifying and checking the existence of stable agent interactions. This paves the way for developing agents which can take appropriate decisions in competitive and strategic situations

Automated Injection of Curated Knowledge Into Real-Time Clinical Systems: CDS Architecture for the 21st Century

abstract: Clinical Decision Support (CDS) is primarily associated with alerts, reminders, order entry, rule-based invocation, diagnostic aids, and on-demand information retrieval. While valuable, these foci have been in production use for decades, and do not provide a broader, interoperable means of plugging structured clinical knowledge into live electronic health record (EHR) ecosystems for purposes of orchestrating the user experiences of patients and clinicians. To date, the gap between knowledge representation and user-facing EHR integration has been considered an “implementation concern” requiring unscalable manual human efforts and governance coordination. Drafting a questionnaire engineered to meet the specifications of the HL7 CDS Knowledge Artifact specification, for example, carries no reasonable expectation that it may be imported and deployed into a live system without significant burdens. Dramatic reduction of the time and effort gap in the research and application cycle could be revolutionary. Doing so, however, requires both a floor-to-ceiling precoordination of functional boundaries in the knowledge management lifecycle, as well as formalization of the human processes by which this occurs. This research introduces ARTAKA: Architecture for Real-Time Application of Knowledge Artifacts, as a concrete floor-to-ceiling technological blueprint for both provider heath IT (HIT) and vendor organizations to incrementally introduce value into existing systems dynamically. This is made possible by service-ization of curated knowledge artifacts, then injected into a highly scalable backend infrastructure by automated orchestration through public marketplaces. Supplementary examples of client app integration are also provided. Compilation of knowledge into platform-specific form has been left flexible, in so far as implementations comply with ARTAKA’s Context Event Service (CES) communication and Health Services Platform (HSP) Marketplace service packaging standards. Towards the goal of interoperable human processes, ARTAKA’s treatment of knowledge artifacts as a specialized form of software allows knowledge engineers to operate as a type of software engineering practice. Thus, nearly a century of software development processes, tools, policies, and lessons offer immediate benefit: in some cases, with remarkable parity. Analyses of experimentation is provided with guidelines in how choice aspects of software development life cycles (SDLCs) apply to knowledge artifact development in an ARTAKA environment. Portions of this culminating document have been further initiated with Standards Developing Organizations (SDOs) intended to ultimately produce normative standards, as have active relationships with other bodies.Dissertation/ThesisDoctoral Dissertation Biomedical Informatics 201

Evaluation of Attention and Executive Control within a Model of Gf-Gc Cognitive Functioning

The Gf-Gc model (McGrew, 2003; McGrew and Flanagan, 1998) guided the development of most contemporary cognitive ability tests (Kaufman and Kaufman, 2004; Wechsler, 2003), as it enumerates general cognitive ability through the evaluation of its multiple components. This study involved an investigation of the Gf-Gc domains including added attention and executive control domains, which was measured by the Wechsler Intelligence Scale for Children, 4th Edition (WISC-IV) and Conners\u27 Continuous Performance Test, 2nd Edition (CPT-II). These domains were compared via factor analysis of the WISC-IV and CPT-II. In addition, Structural Equation Modeling was used to test the structure of the Dean-Woodcock Neuropsychology Model (Dean et al., 2003), particularly the primacy of attention and the interaction of executive control with other cognitive skills. The current study provided support for the addition of separate attention (Gat) executive control (Gec) components within a Gf-Gc cognitive model. In addition, a significant interaction was found between attention and processing speed, which supports attention as a primary cognitive skill

A Language-centered Approach to support environmental modeling with Cellular Automata

Die Anwendung von Methodiken und Technologien aus dem Bereich der Softwaretechnik auf den Bereich der Umweltmodellierung ist eine gemeinhin akzeptierte Vorgehensweise. Im Rahmen der "modellgetriebenen Entwicklung"(MDE, model-driven engineering) werden Technologien entwickelt, die darauf abzielen, Softwaresysteme vorwiegend auf Basis von im Vergleich zu Programmquelltexten relativ abstrakten Modellen zu entwickeln. Ein wesentlicher Bestandteil von MDE sind Techniken zur effizienten Entwicklung von "domänenspezifischen Sprachen"( DSL, domain-specific language), die auf Sprachmetamodellen beruhen. Die vorliegende Arbeit zeigt, wie modellgetriebene Entwicklung, und insbesondere die metamodellbasierte Beschreibung von DSLs, darüber hinaus Aspekte der Pragmatik unterstützen kann, deren Relevanz im erkenntnistheoretischen und kognitiven Hintergrund wissenschaftlichen Forschens begründet wird. Hierzu wird vor dem Hintergrund der Erkenntnisse des "modellbasierten Forschens"(model-based science und model-based reasoning) gezeigt, wie insbesondere durch Metamodelle beschriebene DSLs Möglichkeiten bieten, entsprechende pragmatische Aspekte besonders zu berücksichtigen, indem sie als Werkzeug zur Erkenntnisgewinnung aufgefasst werden. Dies ist v.a. im Kontext großer Unsicherheiten, wie sie für weite Teile der Umweltmodellierung charakterisierend sind, von grundsätzlicher Bedeutung. Die Formulierung eines sprachzentrierten Ansatzes (LCA, language-centered approach) für die Werkzeugunterstützung konkretisiert die genannten Aspekte und bildet die Basis für eine beispielhafte Implementierung eines Werkzeuges mit einer DSL für die Beschreibung von Zellulären Automaten (ZA) für die Umweltmodellierung. Anwendungsfälle belegen die Verwendbarkeit von ECAL und der entsprechenden metamodellbasierten Werkzeugimplementierung.The application of methods and technologies of software engineering to environmental modeling and simulation (EMS) is common, since both areas share basic issues of software development and digital simulation. Recent developments within the context of "Model-driven Engineering" (MDE) aim at supporting the development of software systems at the base of relatively abstract models as opposed to programming language code. A basic ingredient of MDE is the development of methods that allow the efficient development of "domain-specific languages" (DSL), in particular at the base of language metamodels. This thesis shows how MDE and language metamodeling in particular, may support pragmatic aspects that reflect epistemic and cognitive aspects of scientific investigations. For this, DSLs and language metamodeling in particular are set into the context of "model-based science" and "model-based reasoning". It is shown that the specific properties of metamodel-based DSLs may be used to support those properties, in particular transparency, which are of particular relevance against the background of uncertainty, that is a characterizing property of EMS. The findings are the base for the formulation of an corresponding specific metamodel- based approach for the provision of modeling tools for EMS (Language-centered Approach, LCA), which has been implemented (modeling tool ECA-EMS), including a new DSL for CA modeling for EMS (ECAL). At the base of this implementation, the applicability of this approach is shown

Conservation GIS: Ontology and spatial reasoning for commonsense knowledge.

Dissertation submitted in partial fulfilment of the requirements for the Degree of Master of Science in Geospatial Technologies.Geographic information available from multiple sources are moving beyond their local context and widening the semantic difference. The major challenge emerged with ubiquity of geographic information, evolving geospatial technology and location-aware service is to deal with the semantic interoperability. Although the use of ontology aims at capturing shared conceptualization of geospatial information, human perception of world view is not adequately addressed in geospatial ontology. This study proposes ‘Conservation GIS Ontology’ that comprises spatial knowledge of non-expert conservationists in the context of Chitwan National Park, Nepal. The discussion is presented in four parts: exploration of commonsense spatial knowledge about conservation; development of conceptual ontology to conceptualize domain knowledge; formal representation of conceptualization in Web Ontology Language (OWL); and quality assessment of the ontology development tasks. Elicitation of commonsense spatial knowledge is performed with the notion of cognitive view of semantic. Emphasis is given to investigate the observation of wildlife movement and habitat change scenarios. Conceptualization is carried out by providing the foundation of the top-level ontology- ‘DOLCE’ and geospatial ontologies. Protégé 4.1 ontology editor is employed for ontology engineering tasks. Quality assessment is accomplished based on the intrinsic approach of ontology evaluation.(...