6939927
PHI - A Logic-Based Tool for Intelligent Help Systems
We introduce a logic-based system which improves the performance of intelligent help systems by supplying them with plan generation and plan recognition components. Both components work in close mutual cooperation There are two modes of cross-talk between them, one where plan recognition is done on the basis of abstract plans provided by the planner and the other where optimal plans are generated based on recognition results The examples which are presented are taken from an operating system domain, namely from the UNIX mail domain.
272027
An Interval-based Temporal Logic in a Multivalued Setting
We describe the embedding of the semantic notions and modal operators of a first-order temporal logic based on time intervals in a multivalued setting. Truth values will be realized as functions from time intervals to “ordinary” truth values like t and f. The main emphasis lies on the realization of the various modal operators contained in the temporal logic as operations on the functional truth values. We show that it is possible to obtain an efficient system sufficient for tasks in the area of diagnostic reasoning.
14555581
How to observe real-world events through a distributed world model
In this paper we propose an approach for observing real-world events through a distributed model providing dynamic data about the state of the world. Typical examples for real-world events are spatial events, i.e. events that occur when a user enters a certain spatial relationship with other users or his environment. To the best of our knowledge, this paper is the first to propose a uniform approach for observing real-world events that takes the issues related to the distribution of the model into account. The state of the world is only available with limited accuracy in both the value and time dimension, which is due to sensor inaccuracy and the properties of the distributed system. Therefore, it is not always possible to determine for certain, if an event has occurred. We propose to calculate the probability with which an event has occurred. The event is considered to have occurred when the calculated probability is above a threshold probability specified by the user. To realize this approach, we show which system parameters influence the observation, how update protocols provide the data to the observer model, on which the event is actually observed, and how the probability that an event has occurred can be calculated based on this model.
10864166
The arithmetic of certain cubic function fields
In this paper, we discuss the properties of curves of the form y3 = f(x) over a given field K of characteristic different from 3. If f(x) satisfies certain properties, then the Jacobian of such a curve is isomorphic to the ideal class group of the maximal order in the corresponding function field. We seek to make this connection concrete and then use it to develop an explicit arithmetic for the Jacobian of such curves. From a purely mathematical perspective, this provides explicit and efficient techniques for performing arithmetic in certain ideal class groups which are of fundamental interest in algebraic number theory. At the same time, it provides another source of groups which are suitable for Diffie-Hellman type protocols in cryptographic applications.
14348262
A Basis For The Acquisition Of Procedures From Protocols
The problem of reconstructing a procedure from traces of its behavior is considered. A representation for procedures, including backtracking procedures, is described and a definition of a trace or protocol is presented. Algorithms for the construction of a procedure from a set of traces and for its correction using additional traces are described.
6925738
: Functional Safety of a Theatre Stage Machinery Control System
Computer technology has the potential to significantly reduce the risks associated with scenery motion in live theatre, as well as enhancing the spectacle of performance. The industry is becoming more concerned about safety standards compliance. IEC 61508 is emerging as the universally favoured standard for functional safety of stage machinery control systems.
14670803
Efficiently Managing Context Information for Large-Scale Scenarios
In this paper, we address the data management aspect of large-scale pervasive computing systems. We aim at building an infrastructure that simultaneously supports many kinds of context-aware applications, ranging from room level up to nation level. This all-embracing approach gives rise to synergetic benefits like data reuse and sensor sharing. We identify major classes of context data and detail on their characteristics relevant for efficiently managing large amounts of it. Based on that, we argue that for large-scale systems it is beneficial to have special-purpose servers that are optimized for managing a certain class of context data. In the Nexus project we have implemented five servers for different classes of context data and a very flexible federation middleware integrating all these servers. For each of them, we highlight in which way the requirements of the targeted class of data are tackled and discuss our experiences