Automated Program Analysis is the process of discovering decompositions of a system into sub-units such that the behavior of the whole program can be inferred from the behavior of its parts. Analysis can be employed to increase the explanatory power…

Since Robotics is the field concerned with the connection of perception to action, Artificial Intelligence must have a central role in Robotics if the connection is to be intelligent. Artificial Intelligence addresses the crucial questions of: what knowledge is required…

This paper describes an approach to supporting work in the office. Using and extending ideas from the field of Artificial Intelligence (AI) we describe office work as a problem solving activity. A knowledge embedding language called Omega is used to…

There are multiple sorts of reasoning by analogy between two domains; the one with which we are concerned is a type of contextual analogy. The purpose of this paper is to see whether two domains that look analogous would be…

In this paper we look at some of the ingredients and processes involved in the understanding of mathematics. We analyze elements of mathematical knowledge, organize them in a coherent way and take note of certain classes of items that share…

Omega is a description system for knowledge embedding which incorporates some of the attractive modes of expression in common sense reasoning such as descriptions, inheritance, quantification, negation, attributions and multiple viewpoints. A formalization of Omega is developed as a framework…

How can we construct a program that will understand stories that children would understand? By understand we mean the ability to answer questions about the story. We are interested here with understanding natural language in a very broad area. In…

his dissertation analyzes how local knowledge improves environmental decisions. The premise is that controlling pollution and addressing public health disparities are not problems that professionals alone can solve. Concerned lay publics, especially low-income populations and people of color that experience…

Mixing upper level undergraduates majoring in engineering with those majoring in biology, we have devised a course on biologically-inspired design (BID) that provides practical training in methods and techniques that facilitate the identification and translation of biological principles into solutions…

ABSTRACTApplication of renewal process most commonly requires the knowledge of the mean value function and the variance function. In this study, Xie's RS method (1) is adapted to the computation of the variance function for the both ordinary and stationary…