28136813
Safety logics
1230191
3D agent-based virtual communities
In this paper we propose an approach to 3D agent-based virtual communities in which autonomous agents are participants in VRML-based virtual worlds to enhance the interaction with users or serve as intelligent navigation assistants. In addition, an agent communication language (ACL) is designed as a high-level communication facility, in particular for the realization of shared objects in virtual communities. As a typical example of 3D agent-based virtual communities, a VRML-based multi-user soccer game has been developed and implemented in the distributed logic programming language DLP. We discuss how DLP can be used for the implementation of 3D agent-based virtual communities.
19558398
Gestures for Embodied Agents with Logic Programming
The paper discusses how distributed logic programming can be used to define and control the hand gestures of embodied agents in virtual worlds, by using the STEP language as an interface between the constructs of logic programming and the humanoid model defined in Virtual Reality Modelling Language (VRML). By using this framework, different gesture dictionaries can be defined and variants of a hand gesture, according to dynamically changing factors, can be generated on the fly. The approach is tested on the demanding demonstrator of conducting, providing experience, also on time performance of the animation.
38873444
Logics for Belief Dependence
In this paper, we investigate the theoretical foundations of belief dependence in multiple agent environment, where agents may rely on someone else about their beliefs or knowledge. Several logics for belief dependence are introduced and studied. First of all, we try to formalize the problem of belief dependence in the framework of general epistemic logics, by which we will argue that general epistemic logic is not appropriate to formalize the problem of belief dependence. Then, based on an approach which is similar to Fagin and Halpern's general awareness logic, we present the second logic for belief dependence, which is called a syntactic approach. The third logic is an adapted possible world logic, where sub-beliefs are directly introduced in the models.
13610294
Seeing is believing: A common sense theory of the adoption of perception-based beliefs
In this paper we present a formal common sense theory of the adoption of perception-based beliefs. We begin with a logical analysis of perception and then consider when perception should lead to belief change. Our theory is intended to apply to perception in humans and to perception in artificial agents at the level of the symbolic interface between a vision system and a belief system. In order to provide a context for our work we relate it to the emerging field of cognitive robotics, give an abstract architecture for an agent which is both embodied and capable of reasoning, and relate this to the concrete architectures of two vision-based surveillance systems.
18313204
A taxonomy of web agents
We propose a taxonomy of Web agents, which encompasses agents that provide a text-based interface to, for example, information retrieval services as well as avatar-embodied guides that help visitors to navigate in virtual environments. Our taxonomy must be regarded as an instrument to delineate targets for research and the realization of prototype applications that demonstrate the usefulness of agent-based intelligence on the Web. In addition, we deploy our agent-taxonomy to establish the implications particular target applications have with respect to software architecture and computational resources.
35430187
ITQS: an integrated transport query system
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage, and that copies bear this notice and the full citation on the first page. To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. SIGMOD 2004 June 13-18, 2004, Paris, France. Copyright 2004 ACM 1-58113-859-8/04/06 . . . <5.00. '( )%* & 5 6 '( & . & = = & 5
456837
Dynamic buffer management with extensible replacement policies
The objective of extensible DBMSs is to ease the construction of specialized DBMSs for nontraditional applications. Although much work has been done in providing various levels of extensibility (e.g., extensibility of data types and operators, query language extensibility, and query optimizer extensibility), there has been very limited research in providing extensibility at the buffer management level. Supporting extensibility at the buffer management level is important as it can contribute significantly to overall system performance.This paper addresses the problem of supporting extensibility of buffer replacement policies. The main contribution is the proposal of a framework for modeling buffer replacement policies. This work is novel in two aspects. First, by providing a uniform and generic specification of buffer replacement policies, the proposed framework unifies existing work in this area. Second, our work introduces a new level of extensibility. None of the existing extensible DBMSs, to our knowledge, provides extensibility at the buffer management level. The proposed framework provides a basis for the construction of an extensible buffer manager as part of a 100% Java-based storage manager. We conducted an extensive performance study to investigate the performance of the proposed framework. The experimental results demonstrate that the proposed framework is indeed feasible for existing DBMSs and improves system performance significantly without costing significant overhead.
607595
The HUMANOID Environment for Interactive Animation of Multiple Deformable Human Characters
We describe the HUMANOID environment dedicated to human modeling and animation for general multimedia, VR, and CAD applications integrating virtual humans. We present the design of the system and the integration of the various features: generic modeling of a large class of entities with the BODY data structure, realistic skin deformation for body and hands, facial animation, collision detection, integrated motion control and parallelization of computation intensive tasks.
14317741
Interactive 3D modeling using only one image
For virtual reality systems, modeling of 3D objects and scenes is important and challenging. In this paper, we present an image-based interactive 3D modeling framework consisting of three major modules: photogrammetric modeling, human interaction, and texture mapping. These three modules are not sequentially used and they are mixed in the whole modeling process. The major idea is to explore the use of images in interactive modeling systems to achieve the automation. In particular, the use of only one image is addressed. On one side, unlike the common fully interactive modeling framework, the users are not required to specify some low level details interactively which can be derived automatically from the image. On the other side, it still requires human interactions to do some high level tasks that the algorithms are difficult to perform automatically. We have implemented the framework and experimental results are good.
16942431
A graph model for E-commerce recommender systems
Information overload on the Web has created enormous challenges to customers selecting products for online purchases and to online businesses attempting to identify customers' preferences efficiently. Various recommender systems employing different data representations and recommendation methods are currently used to address these challenges. In this research, we developed a graph model that provides a generic data representation and can support different recommendation methods. To demonstrate its usefulness and flexibility, we developed three recommendation methods: direct retrieval, association mining, and high-degree association retrieval. We used a data set from an online bookstore as our research test-bed. Evaluation results showed that combining product content information and historical customer transaction information achieved more accurate predictions and relevant recommendations than using only collaborative information. However, comparisons among different methods showed that high-degree association retrieval did not perform significantly better than the association mining method or the direct retrieval method in our test-bed.