The Situation Calculus and the Fluent Calculus are successful action formalisms that share many concepts. But until now there is no formal relation between the two calculi that would allow to formally analyze the relationship between the two approaches as well as between the programming languages based on them, Golog and FLUX. Furthermore, such a formal relation would allow to combine Golog and...

Several extensions of the stable model semantics are available to describe “intensional” functions—functions that can be described in terms of other functions and predicates by logic programs. Such functions are useful for expressing inertia and default behaviors of systems, and can be exploited for alleviating the grounding bottleneck involving functional fluents. However, the extensions were ...

Agents need to know the effects of their actions. Strong associations between actions and effects can be found by counting how often they co-occur. We present an algorithm that learns temporal patterns expressed as fluents, propositions with temporal extent. The fluent-learning algorithm is hierarchical and unsupervised. It works by maintaining co-occurrence statistics on pairs of fluents. In e...

In this paper we will show that a recently proposed method for ABox updates in Description Logics can be given a Fluent Calculus semantics. This allows the usage of Description Logic ABoxes as decidable state descriptions. We discuss some natural extensions of the method and the arising issues. Finally, we present an action programming language implementing this Fluent Calculus fragment using a...

For the ANSYS CFD codes CFX and Fluent coupling links to several 1D codes exist allowing for a wide range of multi-physics applications. As an example, a flexible coupling infrastructure in terms of supported multiphysics coupling conditions between ANSYS CFX and LMS AMESim is outlined. Examples of the wide range of coupling solutions of ANSYS CFD (CFX and Fluent) and coupled 1D-3D applications...

HyunSub Sim. Acoustic Analysis of Stuttering Children s Fluent Speech: Preand Post Therapy . K orean J ournal of Communicat ion D isorders, 2 , 119136. This study compared absolute durations of temporal acoustic parameters at the subsegmental level of fluent speech produced by stuttering children (N = 4) before and after Normal T alking Process therapy. These measures were compared with those o...

This report describes the application of the Fluent code to the numerical simulation of the freesurface flow around a model naval ship; the DTMB 5415. Simulations were performed using both a structured hexahedral mesh and an unstructured tetrahedral mesh of lower resolution. The results show that Fluent is able to accurately simulate the total ship resistance, near-field wave shapes, and the ve...

Learning to speak a new language requires the formation of recognition patterns for the speech sounds specific to the newly acquired language. The present study demonstrates the dynamic nature of cortical memory representations for phonemes in adults by using the mismatch negativity (MMN) event-related potential. We studied Hungarian and Finnish subjects, dividing the Hungarians into a naive (n...

Dissociations between impairments in microlinguistic and macrolinguistic abilities were examined in brain-damaged patients to assess whether these abilities are psychologically and neurologically distinct. The discourse productions of three groups of patients with equally severe fluent language disorders, but varying neuropathology and varying profiles of associated nonlinguistic cognitive impa...