The method of analytic tableaux is employed in many introductory texts and has also been used quite extensively as a basis for automated theorem proving. In this paper, we discuss the complexity of the system as a method for refuting contradictory sets of clauses, and resolve several open questions. We discuss the three forms of analytic tableaux: clausal tableaux, generalized clausal tableaux, and binary tableaux. We resolve the relative complexity of these three forms of tableaux proofs and also resolve the (...) relative complexity of analytic tableaux versus resolution. We show that there is a quasi-polynomial simulation of tree resolution by analytic tableaux; this simulation is close to optimal, since we give a matching lower bound that is tight to within a polynomial. (shrink)

In this paper, we discuss guidelines for a reward design problem that defines when and what amount of reward should be given to the agent/s, within the context of reinforcement learning approach. We would like to take keepaway soccer as a standard task of the multiagent domain which requires skilled teamwork. The difficulties of designing reward for this task are due to its features as follows: i) since it belongs to the continuing task which has no explicit goal to achieve, (...) it is hard to tell when reward should be given to the agent/s. ii) since it is a multiagent cooperative task, it is hard to decide what is a fair share of reward for each agent's contribution to achieve the goal. Through some experiments, we show that the reward design have a major effect on the agent's behavior, and introduce the successful reward function that makes agents perform keepaway better and more interesting than the conventional one does. Finally, we explore the relationship between `reward design' and `acquired behaviors' from the viewpoint of teamwork. (shrink)

In this paper we formulate epsilon substitution method for a theory $\Pi _{2}^{0}$-FIX for non-monotonic $\Pi _{2}^{0}$ inductive definitions. Then we give a termination proof of the H-processes based on Ackermann [1].

In this paper we formulate epsilon substitution method for a theory $\Pi _{2}^{0}$-FIX for non-monotonic $\Pi _{2}^{0}$ inductive definitions. Then we give a termination proof of the H-processes based on Ackermann [1].

McEntire (1984) proved that, for a portfolio problem with independent assets, the generalized harmonic mean plays the role of a risk-free threshold. Based upon this property, he developed a criterion for including or excluding assets in an optimal portfolio, and he proved an ordering theorem showing that an optimal portfolio always consists of positive amounts of the assets with the largest mean values. Also, some commonly used utility functions were shown to satisfy the property that the dominance of an asset (...) over another is unaffected by the addition of other assets. In this paper we extend these results to the case where assets are dependent. (shrink)

BackgroundMany genetic counseling studies have focused on anxiety status because clients of GC often feel anxious during their visits. Metacognition is known to be one of the causes of having an inappropriate thinking style. In this study, we examined the relationship between anxiety and the metacognitive status of GC clients according to their characteristics.MethodsThe participants were 106 clients who attended their first GC session in our hospital from November 2018 to March 2021. The survey items were the clients’ characteristics, anxiety (...) status at the time of the visit, and metacognitive status.ResultsHigh state anxiety and high trait anxiety were observed in 34.9 and 11.3% of clients, respectively. Clients who were a relative or had a family history were significantly more likely to have high state anxiety. As for metacognitive status, only negative beliefs about thoughts concerning uncontrollability and danger were associated with having an anxiety status. Furthermore, multivariate analysis showed that negative beliefs about thoughts concerning uncontrollability and danger were an independent determinant of higher state anxiety, but not being a relative or having a family history. Metacognitive status scores were significantly lower in clients than in the control group.ConclusionState anxiety was shown to be more dependent on negative beliefs about thoughts concerning uncontrollability and danger of GC clients than their characteristics such as being a relative or having a family history. The results of this study will contribute to the development of new GC psychosocial support measures to address the anxiety of GC clients. (shrink)