Dynamic Logics for Explicit and Implicit Information

Author(s):  
Fernando R. Velázquez-Quesada
1984 ◽  
Vol 7 (3) ◽  
pp. 357-358
Author(s):  
Regimantas Pliuškevičius
Keyword(s):  

A Gentzen-style axiomatization of dynamic logics is proposed. It is compared to other axiom systems for dynamic logics. Some problems of relative decidability are considered.


2021 ◽  
Vol 1 ◽  
pp. 2691-2700
Author(s):  
Stefan Goetz ◽  
Dennis Horber ◽  
Benjamin Schleich ◽  
Sandro Wartzack

AbstractThe success of complex product development projects strongly depends on the clear definition of target factors that allow a reliable statement about the fulfilment of the product requirements. In the context of tolerancing and robust design, Key Characteristics (KCs) have been established for this purpose and form the basis for all downstream activities. In order to integrate the activities related to the KC definition into product development as early as possible, the often vaguely formulated requirements must be translated into quantifiable KCs. However, this is primarily a manual process, so the results strongly depend on the experience of the design engineer.In order to overcome this problem, a novel computer-aided approach is presented, which automatically derives associated functions and KCs already during the definition of product requirements. The approach uses natural language processing and formalized design knowledge to extract and provide implicit information from the requirements. This leads to a clear definition of the requirements and KCs and thus creates a founded basis for robustness evaluation at the beginning of the concept design stage. The approach is exemplarily applied to a window lifter.


2019 ◽  
Vol 10 (1) ◽  
pp. 256-266
Author(s):  
Fabio Vannucci ◽  
Alessandra Sciutti ◽  
Hagen Lehman ◽  
Giulio Sandini ◽  
Yukie Nagai ◽  
...  

AbstractIn social interactions, human movement is a rich source of information for all those who take part in the collaboration. In fact, a variety of intuitive messages are communicated through motion and continuously inform the partners about the future unfolding of the actions. A similar exchange of implicit information could support movement coordination in the context of Human-Robot Interaction. In this work, we investigate how implicit signaling in an interaction with a humanoid robot can lead to emergent coordination in the form of automatic speed adaptation. In particular, we assess whether different cultures – specifically Japanese and Italian – have a different impact on motor resonance and synchronization in HRI. Japanese people show a higher general acceptance toward robots when compared with Western cultures. Since acceptance, or better affiliation, is tightly connected to imitation and mimicry, we hypothesize a higher degree of speed imitation for Japanese participants when compared to Italians. In the experimental studies undertaken both in Japan and Italy, we observe that cultural differences do not impact on the natural predisposition of subjects to adapt to the robot.


2021 ◽  
Author(s):  
Natalia Albuquerque ◽  
Daniel S. Mills ◽  
Kun Guo ◽  
Anna Wilkinson ◽  
Briseida Resende

AbstractThe ability to infer emotional states and their wider consequences requires the establishment of relationships between the emotional display and subsequent actions. These abilities, together with the use of emotional information from others in social decision making, are cognitively demanding and require inferential skills that extend beyond the immediate perception of the current behaviour of another individual. They may include predictions of the significance of the emotional states being expressed. These abilities were previously believed to be exclusive to primates. In this study, we presented adult domestic dogs with a social interaction between two unfamiliar people, which could be positive, negative or neutral. After passively witnessing the actors engaging silently with each other and with the environment, dogs were given the opportunity to approach a food resource that varied in accessibility. We found that the available emotional information was more relevant than the motivation of the actors (i.e. giving something or receiving something) in predicting the dogs’ responses. Thus, dogs were able to access implicit information from the actors’ emotional states and appropriately use the affective information to make context-dependent decisions. The findings demonstrate that a non-human animal can actively acquire information from emotional expressions, infer some form of emotional state and use this functionally to make decisions.


Author(s):  
Laslo Nadj

Grain size and grain distribution by size are dominant factors determining soil behaviour. The shape and position of a grain distribution curve contain implicit information about the propensity of sand boiling or piping at flood conditions. The author used 1040-grain distribution curves taken from 12 sand boil locations to study the relationship between sand boils, hydraulic soil failures and entropy. The results have justified the hypotheses and indicated some fairly important details for practical consideration. Calculating grain distribution entropy is not ?magic? with mathematics: it simply helps put the expected behaviour of soils into a different perspective and promotes orientation for classifying soils according to a new parameter related to grain movement.


2020 ◽  
Vol 19 (6) ◽  
pp. 180-193
Author(s):  
Irina V. Vysotskaya ◽  
Viktoria A. Maryanchik

In the article the four-level model of the image of the author of publicistic text is considered. There are metatext, its structure and semantics are analyzed. The authors analyze the formation of meanings at the level of actual, conceptual and implicit information. The article proves the connection of metalanguage behavior with the semantic structure of the text. The authors identify the main functions of metatext in the column genre: coherence, differentiation of subject-speech narrative plans, characterization of words and utterances as signals of an epoch or social situation, modeling of the author’s image, etc. “Textotyping” is considered as special function of metatext. The authors also distinguish different types of metatext, including hidden metatext and metatext and fictitious metatext. A sample of metatext analysis of media production is shown. The article analyzes the speech mask and metatext behavior as a component of the author’s image.


Sign in / Sign up

Export Citation Format

Share Document