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.
1948717
Reusable Gestures for Interactive Web Agents
In this paper we present an approach to define reusable gestures for embodied web agents, given according to the H-anim standard for VRML. We identify the dimensions to compare gestures and criteria to circumscribe a set of gestures an avatar should be endowed with. Based on these dimensions and criteria, we propose a uniform way to define a wide range of gestures that may be adapted to particular circumstances and personal style. We have implemented our gesture library in STEP, which is a scripting language for humanoids based on dynamic logic. We will discuss the example of conducting music, to explain our approach to the parameterized definition and control of gestures. We conclude by briefly discussing issues for future research.
607902
A Framework for Handling Inconsistency in Changing Ontologies
One of the major problems of large scale, distributed and evolving ontologies is the potential introduction of inconsistencies. In this paper we survey four different approaches to handling inconsistency in DL-based ontologies: consistent ontology evolution, repairing inconsistencies, reasoning in the presence of inconsistencies and multi-version reasoning. We present a common formal basis for all of them, and use this common basis to compare these approaches. We discuss the different requirements for each of these methods, the conditions under which each of them is applicable, the knowledge requirements of the various methods, and the different usage scenarios to which they would apply.
14014109
Dynamic Goal Hierarchies
In this paper we introduce and formalise dynamic goal hierarchies. We begin with a formal definition of goals, according to which they are rational desires. In particular, we require that an agent's goals are coherent; that is, that the agent believes that each goal is jointly realisable with all of the goals which the agent considers to be more important. Thus an agent's goals form a hierarchy, and new goals are defined with reference to it. We then show how preferential entailment can be used to formalise the rational revision of goals and goal hierarchies.
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.
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.
62135913
Kernel-based method for tracking objects with rotation and translation
This paper addresses the issue of tracking translation and rotation simultaneously. Starting with a kernel-based spatial-spectral model for object representation, we define an l/sub 2/-norm similarity measure between the target object and the observation, and derive a new formulation to the tracking of translational and rotational object. Based on the tracking formulation, an iterative procedure is proposed. We also develop an adaptive kernel model to cope with varying appearance. Experimental results are presented for both synthetic data and real-world traffic video.
5239541
Link prediction approach to collaborative filtering
Recommender systems can provide valuable services in a digital library environment, as demonstrated by its commercial success in book, movie, and music industries. One of the most commonly-used and successful recommendation algorithms is collaborative filtering, which explores the correlations within user-item interactions to infer user interests and preferences. However, the recommendation quality of collaborative filtering approaches is greatly limited by the data sparsity problem. To alleviate this problem we have previously proposed graph-based algorithms to explore transitive user-item associations. In this paper, we extend the idea of analyzing user-item interactions as graphs and employ link prediction approaches proposed in the recent network modeling literature for making collaborative filtering recommendations. We have adapted a wide range of linkage measures for making recommendations. Our preliminary experimental results based on a book recommendation dataset show that some of these measures achieved significantly better performance than standard collaborative filtering algorithms
8291104
An enhanced framework for real-time hair animation
Maximizing visual effect is a major problem in real-time animation. A real-time hair animation framework was proposed previously by C. K. Koh and Z. Huang (2000, 2001) based on 2D representation and texture mapping. One problem is that it lacks of the volumetric effect due to its 2D nature. This paper presents a technique using the U-shape strip to solve the problem.
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
1065063
Using A-buffer in radiosity
Anti-aliasing in form factor computation and precise determination of shadow boundaries are important issues for radiosity method. A-buffer is a technique introduced by L. Carpenter (1984) for anti-aliasing in hidden surface removal. In this paper, we propose a method based on the A-buffer to replace the Z-buffer in the computation of form factors using the Hemicube for anti-aliasing. The method directly computes shadow boundaries in contrast to the adaptive re-meshing approach. Though the processing of shadow boundaries is not fast, only one discontinuity meshing (no iteration) is required. We implement the method in an infrastructure building design system.