We introduce CIM, a Commonsense Inference Memory system utilizing both Extended Semantic Networks and Bayesian Networks that builds upon the commonsense knowledgebase ConceptNet. CIM introduces a new technique for self-assembling Bayesian Networks that allows only relevant parts of the commonsense database to affect the inference. The Bayesian Network include the activity in the input sentences and the related activities appearing in the commonsense database. They are used to interpret and infer the meaning of the set of sentences input. Without self-assembled networks, only relevant inference is performed, speeding up performance of reasoning with commonsense knowledge. We demonstrate that our system can disambiguate the needs of the user even if they do not state them directly, and do not use keywords. This ability would not be possible without either the use of commonsense or significant training. Eventually this approach may be applied to increase the effectiveness of other natural language understanding techniques as well.

This paper investigates the use of high-level action languages for representing and reasoning about commitments in mulit-agent domains. The paper introduces the language L mt with features motivates by the problem of representing commitments; in particular, it shows how L mt can handle both simple commitment actions and complex commitment protocols. The semantics of L mt provides a uniform solution to different problems in reasoning about commitments, e.g., the problem of (i) verifying whether an agent fails (or succeeds) to deliver on its commitments; (ii) identifying pending commitments; and (iii) suggesting ways to satisfy pending commitments.

I will present a perspective on human-level commonsense behavior (HLCSB) that differs from commonsense reasoning (CSR) as the latter is often characterized in AI. I will argue that HLCSB is not far beyond the reach of current technology, and that it also provides solutions to some of the problems that plague CSR, most notably the brittleness problem. A key is the judicious use of metacognitive monitoring and control, especially in the area of automated learning.

Trust is an approach to managing the uncertainty about autonomous entities and the information they store, and so can play an important role in any decentralized system. As a result, trust has been widely studied in multiagent systems and related fields such as the semantic web. Here we introduce a simple approach to reasoning about trust with logi

Granularity is the concept of breaking down an event into smaller parts or granules such that each individual granule plays a part in the higher level event. Humans can seamlessly shift their granularity perspectives while reading or understanding a text. To emulate such a mechanism, we describe a theory for inferring this information automatically from raw input text descriptions and some background knowledge to learn the global behavior of event descriptions from local behavior of components. We also elaborate on the importance of discovering granularity structures for solving NLP problems such as — automated question answering and text summarization.

In the physical world, an object is a moving object if its position changes over time. In a symbolic dynamic system such as a computer program or a blocks world, what are the moving objects? In this paper, we propose a definition, consider ways to generate moving objects and their "positions." We also introduce the flow graph of a moving object. It depicts the "trajectory" of the object, thus should be useful when planning to achieve a goal that involves moving some objects around.

Temporal encoding schemes using RDF and OWL are often plagued by a massive proliferation of useless "container" objects. Reasoning and querying with such representations is extremely complex, expensive, and error-prone. We present a temporal extension of the Hayes and ter Horst entailment rules for RDFS/OWL. The extension is realized by extending RDF triples with further temporal arguments and requires only some lightweight forms of reasoning. The approach has been implemented in the forward chaining engine HFC.

Commonsense is a challenge not only for representation and reasoning but also for large scale knowledge engineering required to capture the breadth of our "everyday" world. One approach to knowledge engineering is to "outsource" the effort to the public through games that generate structured commonsense knowledge from user play. To date, such games have focused on symbolic and textual knowledge. However, an effective commonsense reasoning system will require spatial and physical reasoning capabilities. In this paper, I propose a tool for gathering commonsense information from ordinary people. It is a user-friendly 3D sculpting tool for modeling and annotating models of physical objects and spaces.

In this paper we contribute to bridging the gap between human reasoning as studied in Cognitive Science and commonsense reasoning based on formal logics and formal theories. Stenning and van Lambalgen presented an approach to model human reasoning by means of logic programs. In this paper, we extend a refined version of their approach by abduction and demonstrate that this permits to adequately model various empiric results on the suppression task reported from Cognitive Science.

We are developing an ontology of microsocial concepts for use in an instructional system for teaching cross-cultural communication. We report here on that part of the ontology relating to interpersonal relationships. We first explicate the key concepts of commitment, shared plans, and good will. Then in terms of these we present a formal account of the host-guest relationship.