7369101
Trust and Commitment in Dynamic Logic
Trust and commitment have been identified as crucial concepts in electronic commerce applications. In this paper we are interested in the relation between these social concepts. We introduce a dynamic logic in which violations of stronger commitments result in a higher loss of trustworthiness than violations of weaker ones. We illustrate how the logic can be used to analyze some aspects of a well known example of trust within reason.
14446666
Awareness, Negation and Logical Omniscience
General Epistemic Logics suffer from the problem of logical omniscience, which is that an agent's knowledge and beliefs are closed under implication. There have been many attempts to solve the problem of logical omniscience. However, according to our intuition, sometimes an agent's knowledge and beliefs are indeed closed under implication. Based on the notion of awareness, we introduce two kinds of negations: general negation and strong negation. Moreover, four kinds of implications, general implication, strong implication, weak implication, and semi-strong implication, are introduced to correspond with the two kinds of negations. In our logics of regular awareness, explicit beliefs are not necessarily closed under general implication, which means that agents are not logically omniscient. However, explicit beliefs are closed under strong implication and semi-strong implication, which captures an intuitive closure property of beliefs.
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.
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.
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.
16206286
Classifying Document Titles Based on Information Inference
We propose an intelligent document title classification agent based on a theory of information inference. The information is represented as vectorial spaces computed by a cognitively motivated model, namely Hyperspace Analogue to Language (HAL). A combination heuristic is used to combine a group of concepts into one single combination vector. Information inference can be performed on the HAL spaces via computing information flow between vectors or combination vectors. Based on this theory, a document title is treated as a combination vector by applying the combination heuristic to all the non-stop terms in the title. Two methodologies for learning and assigning categories to document titles are addressed. Experimental results on Reuters-21578 corpus show that our framework is promising and its performance achieves 71% of the upper bound (which is approximated by using whole documents).
7757717
A kernel autoassociator approach to pattern classification
Autoassociators are a special type of neural networks which, by learning to reproduce a given set of patterns, grasp the underlying concept that is useful for pattern classification. In this paper, we present a novel nonlinear model referred to as kernel autoassociators based on kernel methods. While conventional non-linear autoassociation models emphasize searching for the non-linear representations of input patterns, a kernel autoassociator takes a kernel feature space as the nonlinear manifold, and places emphasis on the reconstruction of input patterns from the kernel feature space. Two methods are proposed to address the reconstruction problem, using linear and multivariate polynomial functions, respectively. We apply the proposed model to novelty detection with or without novelty examples and study it on the promoter detection and sonar target recognition problems. We also apply the model to mclass classification problems including wine recognition, glass recognition, handwritten digit recognition, and face recognition. The experimental results show that, compared with conventional autoassociators and other recognition systems, kernel autoassociators can provide better or comparable performance for concept learning and recognition in various domains.
1637377
XSTEP: a markup language for embodied agents
In this paper we propose an XML-based markup language. called XSTEP for embodied agents, based on the scripting language STEP. XSTEP is the XML-based successor of STEP. The scripting language STEP incorporates the formal semantics of dynamic logic, and has been implemented in the distributed logic programming language DLP, a tool for the implementation of 3D Web agents. In this paper we discuss the issues of markup language design for embodied agents and several aspects of the implementation and application of XSTEP.
32544015
Belief revision for adaptive negotiation agents
Existing negotiation agents are primitive in terms of what they can learn and how responsive they are towards the changing negotiation contexts. These weaknesses can be alleviated if an expressive representation language is used to represent negotiation contexts and a sound inference mechanism is applied to reason about the preferential changes arising in these negotiation contexts. This paper illustrates a novel adaptive negotiation agent model, which is underpinned by the well-known AGM belief revision logic. Our preliminary experiments show that the performance of the belief-based adaptive negotiation agents is promising.
1799662
REVIEW: a real-time virtual walkthrough system
1. Real-time Virtual Walkthrough Data representing virtual environments (VEs) are getting increasingly large in order to better simulate real scenes. This poses interesting challenges to organize, store, and render the data for interactive navigation in VEs, or walkthrough. A large VE usually consists of thousands of 3D objects, each of which can be represented by hundreds of polygons, and may take thousands of megabytes of storage space. The amount of data is so large that it is impossible to store all of them in the main memory. Even for memory resident models, the graphics pipeline can become a bottleneck quickly with a large amount of data and slow down the rendering to an unacceptable frame rate for the walkthrough.