This paper introduces the various forms of analogy in NARS, a generalpurpose reasoning system. NARS is an AI system designed to be adaptive and to work with insufficient knowledge and resources. In the system, multiple types of inference, including analogy, deduction, induction, abduction, comparison, and revision, are unified both in syntax and in semantics. The system can also carry out relat...

This short (work in progress) paper describes recent updates to the “Adaptive Hypermedia Architecture” (AHA), developed at the Eindhoven University of Technology (TUE). AHA has been used for two courses at the TUE, and experimentally also in a kiosk information system. The next set of applications of AHA consists of an adaptive geological atlas and an adaptive and personalized version of the (c...

To date, work on formalizing connectionist computation in a way that is at least Turingcomplete has focused on recurrent architectures and developed equivalences to Turing machines or similar super-Turing models, which are of more theoretical than practical significance. We instead develop connectionist computation within the framework of information propagation networks extended with unbounded...

This paper describes a general purpose system based on elementary motion and rigid-body detection that is able to efficiently segment moving objects using a sparse map of features from the visual field. FPGA implementation allows real-time image processing on an embedded system. The modular design allows to add other modules and to use the system in very diverse applications.

This paper addresses the problem of probabilistic reasoning as it applies to Truth Maintenance Systems. A Belief Maintenance System hal! been constructed which manages a current set of probabilistic beliefs in much the same way that a TMS manages a set of true/false beliefs. Such a system may be thought of as a generalization of a. Truth Maintenance System. It enables one to reason using normal...

We describe the evaluation process of HyperContext, a framework for general-purpose adaptive and adaptable hypertext. In particular, we are interested in users’ short-term, transient, interests. We cannot make any prior assumptions about a user’s interest or goal, as we do not have any prior knowledge of the user. We conducted evaluations on two aspects of HyperContext. One evaluation was compl...

Purpose – The purpose of this paper is to describe a general purpose localization system, GRAIL. GRAIL provides real-time, adaptable, indoor localization for wireless devices. Design/methodology/approach – In order to localize as diverse a set of devices as possible, GRAIL utilizes a centralized, anchor-based approach. GRAIL defines an abstract data model for various system components to suppor...

VarietyCash is a new electronic money system which strikes a balance between functionality, security, and user privacy. The system can encompass both network and stored-value card based payment mechanisms, with transferability between them, hence the name.

We describe the design and implementation of the Cornell Cayuga System for scalable event processing. We present a query language based on Cayuga Algebra for naturally expressing complex event patterns. We also describe several novel system design and implementation issues, focusing on Cayuga’s query processor, its indexing approach, how Cayuga handles simultaneous events, and its specialized g...