Automated problem solving for the behavioral sciences

the algorithm for solving the inverse numerical range problem

برد عددی ماتریس مربعی a را با w(a) نشان داده و به این صورت تعریف می کنیم w(a)={x8ax:x ?s1} ، که در آن s1 گوی واحد است. در سال 2009، راسل کاردن مساله برد عددی معکوس را به این صورت مطرح کرده است : برای نقطه z?w(a)، بردار x?s1 را به گونه ای می یابیم که z=x*ax، در این پایان نامه ، الگوریتمی برای حل مساله برد عددی معکوس ارانه می دهیم.

Problem-solving Skill in the Social Sciences

Using features for automated problem solving

Wemotivate andpresent an architecture for problem solvingwhere an abstraction layer of “features”plays the key role indeterminingmethods to apply. The system is presented in the context of theorem proving with Isabelle, and we demonstrate how this approach to encoding control knowledge is expressively different to other common techniques. We look closely at two areas where the feature layer may...

Social Problem-solving Abilities and Behavioral Health

Personal health is an aspect of everyday life that typifies both the commonplace and the stressful in the course of a lifetime. Many socialcognitive variables have been associated with indicators of behavioral health and with the adjustment and recovery of individuals facing health-related problems, and these characteristics are important factors in providing interventions (Auerbach, 1989). The...

Towards automated training of legal problem solving

An examination of Dutch research on legal case solving revealed that few law students get systematic instruction or testing in the technique of legal problem solving. The research being conducted at the Department of Computer Science and Law at the University of Amsterdam focuses on identifying the different functions in legal reasoning tasks in order to develop computational models which reali...