1. |
- Coradeschi, Silvia, et al.
(författare)
-
Human-inspired robots
- 2006
-
Ingår i: IEEE Intelligent Systems. - 1541-1672. ; 21:4, s. 74-85
-
Tidskriftsartikel (refereegranskat)abstract
- Future robots will work in hospitals, elderly care centers, schools, and homes. Similarity with humans can facilitate interaction with a variety of users who don't have robotics expertise, so it make sense to take inspiration from humans when developing robots. However, humanlike appearance can also be deceiving, convincing users that robots can understand and do much more than they actually can. Developing a humanlike appearance must go hand in hand with increasing robots' cognitive, social, and perceptive capabilities. This installment of Trends & Controversies explores different aspects of human-inspired robots.
|
|
2. |
- Henschel, Andreas, et al.
(författare)
-
The LMW Traffic World in the Fluent Calculus
- 2000
-
Rapport (övrigt vetenskapligt/konstnärligt)abstract
- An axiomatization of the Traffic World scenario as proposed in [1] is presented using the Fluent Calculus [4]. The most challenging property of the domain is its involving such diverse features and continuous change, concurrency, non-determinism, and ramifications, i.e., indirect effects. We show that the Fluent Calculus along with its augmentations is well-suited to meet this challenge.
|
|
3. |
- Thielscher, Michael
(författare)
-
A Theory of Dynamic Diagnosis
- 1997
-
Rapport (övrigt vetenskapligt/konstnärligt)abstract
- Diagnosis is, in general, more than a mere passive reasoning task. It often requires to actively produce observations by performing a test series on a faulty system. We present a theory of diagnosis which captures this dynamic aspect by appealing to Action Theory. The reactions of a system under healthy condition are modeled as indirect effects, so-called ramifications, of actions performed by the diagnostician. Under abnormal circumstances - i.e., if certain aspects or components of the system are faulty-one or more of these ramifications fail to materialize. Ramifications admitting exceptions is shown to giving rise to a hitherto unnoticed challenge - a challenge much like the one raised by the famous Yale Shooting counter-example in the context of the Frame Problem. Meeting this challenge is inevitable when searching for "good" diagnoses. As a solution, we adapt from a recent causality-based solution to the Qualification Problem the key principle of initial minimization. In this way, when suggesting a diagnosis our theory of dynamic diagnosis exploits causal information, in addition to possibly available, qualitative knowledge of the a priori likelihood of components to fail.Some of the results in this paper have been preliminarily reported in (Thielscher, 1997a).
|
|
4. |
- Thielscher, Michael
(författare)
-
Fluent Calculus Planning with Continuous Change
- 1999
-
Rapport (övrigt vetenskapligt/konstnärligt)abstract
- Green's classical definition of planning by deduction has recently been generalized to hybrid domains, which involve both discrete and continuous change. We show that this generalization is unsuited for planning under incomplete information. An improved theory is developed on the basis of the novel concept of a situation tree with trajectories and using the predicate formalism of the Fluent Calculus.
|
|
5. |
- Thielscher, Michael
(författare)
-
Introduction to the Fluent Calculus
- 1998
-
Rapport (övrigt vetenskapligt/konstnärligt)abstract
- 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.
|
|