The present introduction to the Fluent Calculus is intended as an ETAI reference article. It summarizes basic definitions and concepts in the Fluent Calculus, and is intended as a reference for future articles where the calculus is used.

The Fluent Calculus belongs to the established predicate calculus formalisms for reasoning about actions. Its underlying concept of state update axioms provides a solution to the basic representational and inferential Frame Problems in pure first-order logic. Extending a recent research result, we present a Fluent Calculus to reason about domains involving continuous change and where actions occur concurrently.

Culture provides people with rich, detailed, implicit, and explicit knowledge about associations and contingencies. These culture-based expectations allow people to get through their days without much systematic reasoning. Experimental designs that unpack these situated effects of culture on thinking, feeling, and doing can advance bias research and direct policy and intervention.

In this paper, some qualitative scientific laws are treated in a way that is analogous to the method by which Karl Menger has clarified the nature of quantitative laws such as Boyle's law about ideal gases. The qualitative analogue of the number-valued fluents, such as temperature, are fluents whose domains consist of physical objects while their values are T and F (true and false).

A number of studies have shown that phonetic peculiarities, especially at the coarticulation level, exist in the disfluent as well as in the perceptively fluent speech of people who stutter (PWS). However, results from fluent speech are disparate and not easily interpretable. Are the coarticulatory features a manifestation of the disorder, or rather a compensation for the disorder itself? Our purpose is to investigate the coarticulatory behavior in the fluent speech of PWS in the attempt to answer (...) the question on its symptomatic or adaptive nature. In order to achieve this, we have studied the speech of 21 adult PWS (10 French and 11 Italian) compared to that of 20 fluent adults (10 French and 10 Italian). The participants had to repeat simple CV syllables in short carrier sentences, where C = /b, d, g/ and V = /a, i, u/. Crucially, this repetition task was performed under a condition with normal auditory feedback (NAF) for both the groups, and under a fluency-enhancing condition (only for PWS) due to an altered auditory feedback (AAF). The degree of coarticulation was measured by means of the Locus Equations (LE). Under NAF conditions, the coarticulation degree observed in fluent PWS speech is lower than that of the PWNS, and, more importantly, in AAF condition, PWS coarticulation appears even weaker than in the NAF condition. The latter result allows to interpret the low degree of coarticulation found in fluent speech of PWS under NAF condition as a compensation for the disorder, based on the fact that coarticulation is weaker in fluency-enhancing conditions. Since a lower degree of coarticulation is associated to a greater separation between the places of articulation of the consonant and the vowel, these results are compatible with the hypothesis that larger articulatory movements could be responsible for the stabilization of the PWS speech motor system, increasing the kinesthetic feedback from the effector system. This interpretation shares with a number of relatively recent proposal the idea that stuttering derives from an impaired feedforward (open-loop) control system, which makes PWS rely more heavily on a feedback-based (closed loop) motor control strategy. (shrink)

This article proposes an analysis of the gestural production of people suffering from fluent or non-fluent aphasia in comparison with the gestures performed by speakers not suffering from any language disorder. The interest of such a study is twofold: firstly, it allows a better understanding of what happens to gestures during the numerous speech dysfluencies caused by the speech impairment. Among other things, it sheds light on the links between speech and gestures in multimodal face-to-face interaction. Despite the (...) profusion of work on aphasia, very little is still known about the characteristics of the gestures performed spontaneously by aphasic people. The study presented here is based on video examples from the AphasiaBank corpus to illustrate the specific features of the speech and gestures of atypical speakers and gives a more detailed description of the gestural production of people with aphasia. This knowledge can inform post-stroke rehabilitation procedures that rely on some form of multimodal speech therapy in order to adapt to the various communication needs of the patients. (shrink)

Zeki and co-workers recently proposed that perception can best be described as locally distributed, asynchronous processes that each create a kind of microconsciousness, which condense into an experienced percept. The present article is aimed at extending this theory to metacognitive feelings. We present evidence that perceptual fluency—the subjective feeling of ease during perceptual processing—is based on speed of processing at different stages of the perceptual process. Specifically, detection of briefly presented stimuli was influenced by figure-ground contrast, but not by symmetry (...) or the font of the stimuli. Conversely, discrimination of these stimuli was influenced by whether they were symmetric and by the font they were presented in , but not by figure-ground contrast. Both tasks however were related with the subjective experience of fluency . We conclude that subjective fluency is the conscious phenomenal correlate of different processing stages in visual perception. (shrink)

Hubert Dreyfus has argued that cases of absorbed bodily coping show that there is no room for self-awareness in flow experiences of experts. In this paper, I argue against Dreyfus’ maxim of vanishing self-awareness by suggesting that awareness of agency is present in expert bodily action. First, I discuss the phenomenon of absorbed bodily coping by discussing flow experiences involved in expert bodily action: merging into the flow; immersion in the flow; emergence out of flow. I argue against the claim (...) that flow experience does not involve an awareness of agency for each of these features, while conceding that fluent agency does not involve self-awareness in the thetic sense. I challenge the assumption that the awareness of fluent agency must be understood in terms of a thetic awareness of agency. Instead, I develop an Anscombean account of the awareness of fluent agency in terms of the phenomenal character of knowing one’s aims. I respond to the challenge that if an Anscombean account of the awareness of agency is to succeed, then agents must be able to answer Anscombean questions. I consider the objection that awareness of agency is not a form of self-awareness by outlining an account of self-awareness as self-synthesis that is distinct from self-perception and self-ascription, but which makes room for self-awareness in expert bodily action. (shrink)

In this study, we investigated how word- and text-level processes contribute to different types of reading fluency measures. We aimed to increase our understanding of the underlying processes necessary for fluent reading. The sample included 73 Dutch Grade 3 children, who were assessed on serial word reading rate, word-list reading fluency, and sentence reading fluency. Word-level processes were individual word recognition speed and sequential processing efficiency. Text-level processes were receptive vocabulary and syntactic skills. The results showed that word- and (...) text-level processes combined accounted for a comparable amount of variance in all fluency outcomes. Both word-level processes were moderate predictors of all fluency outcomes. However, vocabulary only moderately predicted sentence reading fluency, and syntactic skills merely contributed to sentence reading fluency indirectly through vocabulary. The findings indicate that sequential processing efficiency has a crucial role in reading fluency across various measures besides individual word recognition speed. Additionally, text-level processes come into play when complexity and context availability of fluency measures increases, but the exact timing requires further study. Findings are discussed in terms of future directions and their possible value for diagnostic assessment and intervention of reading difficulties. (shrink)

In this paper, we discuss the weakness of current action languages for sensing actions with respect to modeling domains with multi-valued fluents. To address this problem, we propose a language with sensing actions and multi-valued fluents, called AMK, provide a transition function based semantics for the language, and demonstrate its use through several examples from the literature. We then define the entailment relationship between action theories and queries in AMK, denoted by ⊧AMK, and discuss some properties about AMK.

A fluent and accurate new translation of the dialogue that, all of Plato's works, has seemed to speak most directly to the interests of contemporary analytical philosophers. White's extensive introduction explores the dialogue's center themes, its connection with related discussions in other dialogues, and its implication for the interpretation of Plato's metaphysics.

A fluent economical collaboration between countries is a major need. European flows of trade and people are supported by efficient connections between main localities from a geographic region, in many cases overriding national borders. This paper introduces three traveling salesmen problem instances based on freely available geographic coordinates of the main cities of France, Portugal and Spain. These instances are unified, generating other four larger instances: three with all pairs of countries and one instance with the settlements from all (...) the three countries. The study includes an analysis of quality of solutions for a version of branch & cut algorithm and some hybrid heuristics including the Lin–Kernighan algorithm. $Bor\mathring{u}vka$, Quick$Bor\mathring{u}vka$ and Greedy algorithms are also used in the hybrid approaches in order to obtain a potential beneficent initial solution for the Lin–Kernighan algorithm. Concorde solver, nowadays state-of-the-art exact software, together with the already mentioned algorithms, is used to test and furthermore analyze the new TSP instances. Some results are represented using online services such as Google Maps, showing the potential integration of the Concorde’s optimum results into commercial routing applications. The very good results provided by the Lin–Kernighan method allow its usage for real medium-sized routing instances. (shrink)

A fluent essay in contemporary Kulturkritik, flexibly but not always happily strung to the interpretation of a fairy tale. The author submits, drawing extensively upon Marcel and Buber, that nostalgia, homesickness, is the characteristic moral sentiment of our time. As an index and reminder of man's want of a true present, and especially as a potential signpost to its recovery, nostalgia holds out promise. It is suggested--at odds with a Humanism such as Sartre's, and with Heideggerian "waiting"--that true presence, (...) whether of Person or of Nature, must depend upon and serve the realization of Divine Presence.--A. F. (shrink)

In a fluent, clear, and lively style this translation by two of Maslov's junior colleagues brings the work of the late Soviet scientist S. Yu. Maslov to a wider audience. Maslov was considered by his peers to be a man of genius who was making fundamental contributions in the fields of automatic theorem proving and computational logic. He published little, and those few papers were regarded as notoriously difficult. This book, however, was written for a broad audience of readers (...) and describes elegant examples of applications in such fields as computer science, artificial intelligence, operations research, economic modeling, and biological modeling, among others. The book also brings to light the work by the American mathematician E. L. Post, which inspired Maslov's own work in the development of a general theory and which has been long neglected by mathematicial logicians and systems theorists in the United States. The book's first chapter introduces the Rules of the Game. Part I, Mathematics of Calculi, covers E. L. Post's canonical systems, deductive systems and algorithms, and probabilistic calculi and deductive information. Part II, Horizonal Modeling, takes up a "toy" economy, the calculi of technological possibilities, and the development of rules. Part III, Vertical Modeling, deals with the topics of "to fight and to search" and the consequences of the asymmetry of cognitive mechanisms. Vladimir Lifschitz is affiliated with the Department of Computer Science at Stanford University, and Michael Gelfond with the Department of Electrical Engineering and Computer Science at the University of Texas, El Paso. Theory of Deductive Systems and Its Applicationsis included in the Foundation of Computing Series, edited by Michael Garey. (shrink)

According to perceptualism, fluent comprehension of speech is a perceptual achievement, in as much as it is akin to such high-level perceptual states as the perception of objects as cups or trees, or of people as happy or sad. According to liberalism, grasp of meaning is partially constitutive of the phenomenology of fluent comprehension. I here defend an influential line of argument for liberal perceptualism, resting on phenomenal contrasts in our comprehension of speech, due to Susanna Siegel and (...) Tim Bayne, against objections from Casey O'Callaghan and Indrek Reiland. I concentrate on the contrast between the putative immediacy of meaning-assignment in fluent comprehension, as compared with other, less ordinary, perhaps translation-based ways of getting at the meaning of speech. I argue this putative immediacy is difficult to capture on a non-perceptual view (whether liberal or non-liberal), and that the immediacy in question has much in common with that which applies in other, less controversial cases of high-level perception. (shrink)

A fluent exposition and critical discussion of some recent thought on the existence of universals, the analysis of a priori statements, and the justification of ethical judgments and decisions, centered on the work of Russell, Moore, and the Positivists. The main criticisms draw heavily upon the author's earlier discussions of synonymity, a weakly articulated notion of explanatory utility, and a fruitful extension of Austin's analysis of performatory utterances. Mr. White suggests, but fails to develop, the view that ontology, epistemology, (...) logic, and ethics are intimately connected in any philosophical enterprise. --I. C. L. (shrink)

Events—the experiences we think we are having and recall having had—are constructed; they are not what actually occurs. What occurs is ongoing dynamic, multidimensional, sensory flow, which is somehow transformed via psychological processes into structured, describable, memorable units of experience. But what is the nature of the redescription processes that fluently render dynamic sensory streams as event representations? How do such processes cope with the ubiquitous novelty and variability that characterize sensory experience? How are event‐rendering skills acquired and how do (...) event representations change with development? This review considers emerging answers to these questions, beginning with evidence that an implicit tendency to monitor predictability structure via statistical learning is key to event rendering. That is, one way that the experience of bounded events (e.g., actions within behavior, words within speech) arises is with the detection of “troughs” in sensory predictability. Interestingly, such troughs in predictability are often predictable; these regions of predictable‐unpredictability provide articulation points to demarcate one event from another in representations derived from the actual streaming information. In our information‐optimization account, a fluent event‐processor predicts such troughs and selectively attends to them—while suppressing attention to other regions—as sensory streams unfold. In this way, usage of attentional resources is optimized for efficient sampling of the most relevant, information‐rich portions of the unfolding flow of sensation. Such findings point to the development of event‐processing fluency—whether in action, language, or other domains—depending crucially on rapid and continual cognitive reorganization. As knowledge of predictability grows, attention is adaptively redeployed. Accordingly, event experiences undergo continuous alteration. (shrink)

The lack of consensus on how to characterize humans’ capacity for belief reasoning has been brought into sharp focus by recent research. Children fail critical tests of belief reasoning before 3 to 4 years (Wellman, Cross, & Watson, 2001; Wimmer & Perner, 1983), yet infants apparently pass false belief tasks at 13 or 15 months (Onishi & Baillargeon, 2005; Surian, Caldi, & Sperber, 2007). Non-human animals also fail critical tests of belief reasoning but can show very complex social behaviour (e.g., (...) Call & Tomasello, 2005). Fluent social interaction in adult humans implies efficient processing of beliefs, yet direct tests suggest that belief reasoning is cognitively demanding, even for adults (e.g., Apperly, Samson & Humphreys, 2005). We interpret these findings by drawing an analogy with the domain of number cognition, where similarly contrasting results have been observed. We propose that the success of infants and non-human animals on some belief reasoning tasks may be best explained by a cognitively efficient but inflexible capacity for tracking belief-like states. In humans this capacity persists in parallel with later-developing, more flexible but more cognitively demanding theory of mind abilities. (shrink)