Studies about the atomic capabilities concept for linear control systems in physical multi-agent environments

This paper shows the impact of the atomic capabilities concept to include control-oriented knowledge of linear control systems in the decisions making structure of physical agents. These agents operate in a real environment managing physical objects (e.g. their physical bodies) in coordinated tasks. This approach is presented using an introspective reasoning approach and control theory based on the specific tasks of passing a ball and executing the offside manoeuvre between physical agents in the robotic soccer testbed. Experimental results and conclusions are presented, emphasising the advantages of our approach that improve the multi-agent performance in cooperative systems

Emotional reasoning and anxiety sensitivity: associations with social anxiety disorder in childhood

Background Two specific cognitive constructs that have been implicated in the development and maintenance of anxiety symptoms are anxiety sensitivity and emotional reasoning, both of which relate to the experience and meaning of physical symptoms of arousal or anxiety. The interpretation of physical symptoms has been particularly implicated in theories of social anxiety disorder, where internal physical symptoms are hypothesized to influence the individual's appraisals of the self as a social object. Method The current study compared 75 children on measures of anxiety sensitivity and emotional reasoning: 25 with social anxiety disorder, 25 with other anxiety disorders, and 25 nonanxious children (aged 7–12 years). Results Children with social anxiety disorder reported higher levels of anxiety sensitivity and were more likely than both other groups to view ambiguous situations as anxiety provoking, whether physical information was present or not. There were no group differences in the extent to which physical information altered children's interpretation of hypothetical scenarios. Limitations This study is the first to investigate emotional reasoning in clinically anxious children and therefore replication is needed. In addition, those in both anxious groups commonly had comorbid conditions and, consequently, specific conclusions about social anxiety disorder need to be treated with caution. Conclusion The findings highlight cognitive characteristics that may be particularly pertinent in the context of social anxiety disorder in childhood and which may be potential targets for treatment. Furthermore, the findings suggest that strategies to modify these particular cognitive constructs may not be necessary in treatments of some other childhood anxiety disorders.

Modelling Mathematical Reasoning in Physics Education

Many findings from research as well as reports from teachers describe students' problem solving strategies as manipulation of formulas by rote. The resulting dissatisfaction with quantitative physical textbook problems seems to influence the attitude towards the role of mathematics in physics education in general. Mathematics is often seen as a tool for calculation which hinders a conceptual understanding of physical principles. However, the role of mathematics cannot be reduced to this technical aspect. Hence, instead of putting mathematics away we delve into the nature of physical science to reveal the strong conceptual relationship between mathematics and physics. Moreover, we suggest that, for both prospective teaching and further research, a focus on deeply exploring such interdependency can significantly improve the understanding of physics. To provide a suitable basis, we develop a new model which can be used for analysing different levels of mathematical reasoning within physics. It is also a guideline for shifting the attention from technical to structural mathematical skills while teaching physics. We demonstrate its applicability for analysing physical-mathematical reasoning processes with an example.

Desing and Validation of a Light Inference System to Support Embedded Context Reasoning

Embedded context management in resource-constrained devices (e.g. mobile phones, autonomous sensors or smart objects) imposes special requirements in terms of lightness for data modelling and reasoning. In this paper, we explore the state-of-the-art on data representation and reasoning tools for embedded mobile reasoning and propose a light inference system (LIS) aiming at simplifying embedded inference processes offering a set of functionalities to avoid redundancy in context management operations. The system is part of a service-oriented mobile software framework, conceived to facilitate the creation of context-aware applications—it decouples sensor data acquisition and context processing from the application logic. LIS, composed of several modules, encapsulates existing lightweight tools for ontology data management and rule-based reasoning, and it is ready to run on Java-enabled handheld devices. Data management and reasoning processes are designed to handle a general ontology that enables communication among framework components. Both the applications running on top of the framework and the framework components themselves can configure the rule and query sets in order to retrieve the information they need from LIS. In order to test LIS features in a real application scenario, an ‘Activity Monitor’ has been designed and implemented: a personal health-persuasive application that provides feedback on the user’s lifestyle, combining data from physical and virtual sensors. In this case of use, LIS is used to timely evaluate the user’s activity level, to decide on the convenience of triggering notifications and to determine the best interface or channel to deliver these context-aware alerts.d

Design and Validation of a Light Inference System to Support Embedded Context Reasoning

Embedded context management in resource-constrained devices (e.g. mobile phones, autonomous sensors or smart objects) imposes special requirements in terms of lightness for data modelling and reasoning. In this paper, we explore the state-of-the-art on data representation and reasoning tools for embedded mobile reasoning and propose a light inference system (LIS) aiming at simplifying embedded inference processes offering a set of functionalities to avoid redundancy in context management operations. The system is part of a service-oriented mobile software framework, conceived to facilitate the creation of context-aware applications?it decouples sensor data acquisition and context processing from the application logic. LIS, composed of several modules, encapsulates existing lightweight tools for ontology data management and rule-based reasoning, and it is ready to run on Java-enabled handheld devices. Data management and reasoning processes are designed to handle a general ontology that enables communication among framework components. Both the applications running on top of the framework and the framework components themselves can configure the rule and query sets in order to retrieve the information they need from LIS. In order to test LIS features in a real application scenario, an ?Activity Monitor? has been designed and implemented: a personal health-persuasive application that provides feedback on the user?s lifestyle, combining data from physical and virtual sensors. In this case of use, LIS is used to timely evaluate the user?s activity level, to decide on the convenience of triggering notifications and to determine the best interface or channel to deliver these context-aware alerts.

Discourses and dissertations on the scriptural doctrines of atonement and sacrifice : and on the principal arguments advanced, and the mode of reasoning employed, by the opponents of those doctrines as held by the established church : with an appendix containing some structures on Belsham's account of the unitarian scheme, in his review of Wilberforce's treatise /

Index included in The principles of physiology ... by Andrew Combe.

Defining civilization utilizing anthropic reasoning

We utilize anthropic reasoning to demonstrate that we are typical observers of our reference class under a self-sampling assumption by investigating the definition of what a civilization is. With reference to the conflict between such reasoning and the observational lack of extra-terrestrial intelligent life, we conclude that a part of our theoretical understanding of the Universe will be at fault.

Applying qualitative reasoning to finance

Qualitative reasoning has traditionally been applied in the domain of physical systems, where there are well established and understood laws governing the behaviour of each `component' in the system. Such application has shown that it is possible to produce models which can be used for explaining and predicting the behaviour of physical phenomena and also trouble-shooting. The principles underlying the theory ensure that the models are robust and exhibit consistent behaviour under all conditions. This research examines the validity of applying the theory in the financial domain where such laws may not exist or if they do, may not be universally applicable. In particular, it investigates how far these principles and techniques may be applied in the construction of financial analysis models. Because of the inherent differences in the nature of these two domains, it is argued that a different qualitative value system ought to be employed. The dissertation enlarges on the constraints this places on model descriptions and the effect it may have on the power and usefulness of the resulting models. It also describes the implementation of a system that investigates the implications of applying this theory by way of testing it on situations drawn from both text-books and published financial information.

BDI reasoning with normative considerations

F. Meneguzzi thanks Fundaç ao de Amparo à Pesquisa do Estado do Rio Grande do Sul (FAPERGS, Brazil) for the financial support through the ACI program (Grant ref. 3541-2551/12-0) and the ARD program (Grant ref. 12/0808-5), as well as Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) through the Universal Call (Grant ref. 482156/2013-9) and PQ fellowship (Grant ref. 306864/2013-4). N. Oren and W.W. Vasconcelos acknowledge the support of the Engineering and Physical Sciences Research Council (EPSRC, UK) within the research project “Scrutable Autonomous Systems” (SAsSY11, Grant ref. EP/J012084/1).

Smart walker solutions for physical rehabilitation

In the last decade, the clinical reasoning in physical therapy has been to develop systems for physiotherapists to make clinical decisions rapidly, effectively and efficiently, in response to the increasingly complex needs of health and rehabilitation units. Some studies show the importance of walking aids during rehabilitation from some diseases, and after surgery for arthroplasty in the elderly population, and in elderly patients with balance disorders, muscle weakness or in people with diabetes mellitus. Walkers are important devices that aid the rehabilitation process. The use of a walker is recommended for gait changes and imbalance due to various factors, such as surgery of the lower limbs or neurodegenerative changes, especially in the early recovery period.