In creative industries such as design and research it is common to reason about ‘problem-finding’ before tasks or goals can be established. Problem-finding may also continue throughout the problem-solving process, so achieving goals may be an ongoing process of discovery as well as iterative improvement and refinement. This paper considers the design of cognitive systems with complementary processes for both problem-finding and problem-solving. We review a range of approaches that may complement goal-directed reasoning when an artificial system does not or cannot know precisely what it is looking for. We argue that there is a spectrum of approaches that can be used for reasoning in the absence of goals, which make progressively weaker assumptions about the definition and presence goals, and that goal-oriented behavior can be an intermediate result of problem-finding, rather than as a starting point for problem-solving. We demonstrate one such approach based on implicit motives and incentives.

Historically, approaches to human-level intelligence have divided between those emphasizing the mechanisms involved, such as cognitive architectures, and those focusing on the knowledge content, such as ontologies. In this paper we argue that in order to build cognitive systems capable of human-level event-recognition, a comprehensive infrastructure of perceptual and cognitive mechanisms coupled with high-level knowledge representations is required. In particular, our contribution focuses on an integrated modeling framework (the “Cognitive Engine”), where the learning and knowledge retrieval mechanisms of the ACT-R cognitive architecture are combined with integrated semantic resources for the purpose of event interpretation.

In this paper we discuss an elaboration account of insight that provides answers to two of the main questions regarding insight problem solving: why insight problems are so difficult for humans and why insight is so rapid in nature. We claim that the difficulty in insight problems is due to misguided heuristic search and that this difficulty is overcome using a reformulation mechanism. Furthermore, we claim that search is carried out quickly when the heuristics are good--explaining the rapid nature of insight. We clarify our account by providing examples and initial empirical results. In conclusion, we review related work and discuss possible future work.

This paper proposes a novel agenda for cognitive systems research focused on the "social agency" problem, which concerns acting to produce mental states in other agents in addition to physical states of the world. The capacity for social agency will enable agents to perform a wide array of tasks in close association with people and is a valuable first step towards broader social cognition. We argue that existing cognitive systems have not addressed social agency because they lack a number of the required mechanisms. We describe an initial approach set in a toy scenario based on capabilities native to the ICARUS cognitive architecture. We utilize an analysis of this approach to highlight the open issues required for social agency and to encourage other researchers to address this important problem.

I ask why humans are smarter than other primates, and I hypothesize that an important part of the answer lies in what I call the Strong Story Hypothesis, which holds that story telling and understanding have a central role in human intelligence. Next, I introduce another hypothesis, the Driven Perception Hypothesis, which holds that we derive much of our commonsense, including the commonsense required in story understanding, by deploying our perceptual apparatus on real and imagined events. Then, after discussing methodology, I describe the representations and methods embodied in the Genesis system, a story-understanding system that analyzes stories ranging from precis of Shakespeare's plots to descriptions of conflicts in cyberspace. The Genesis system works with short story summaries, provided in English, together with low-level commonsense rules and higher-level reflection patterns, likewise expressed in English. Using only a small collection of commonsense rules and reflection patterns, Genesis demonstrates several story-understanding capabilities, such as determining that both Macbeth and the 2007 Russia-Estonia Cyberwar involve revenge, even though neither the word revenge nor any of its synonyms are mentioned. Finally, I describe Rao's Visio-Spatial Reasoning System, a system that recognizes activities such as approaching, jumping, and giving, and answers commonsense questions posed by Genesis.

Inference techniques play a central role in many cognitive systems. They transform low-level observations of the environment into high-level, actionable knowledge which then gets used by mechanisms that drive action, problem-solving, and learning. This paper presents an initial effort at combining results from AI and psychology into a pragmatic and scalable computational reasoning system. Our approach combines a numeric notion of plausibility with first-order logic to produce an incremental inference engine that is guided by heuristics derived from the psychological literature. We illustrate core ideas with detailed examples and discuss the advantages of the approach with respect to cognitive systems.

Reasoning with commonsense science knowledge is an important challenge for Artificial Intelligence. This paper presents a system that revises its knowledge in a commonsense science domain by constructing and evaluating explanations. Domain knowledge is represented using qualitative model fragments, which are used to explain phenomena via model formulation. Metareasoning is used to (1) score competing explanations numerically along several dimensions and (2) evaluate preferred explanations for global consistency. Inconsistencies cause the system to favor alternative explanations and thereby change its beliefs. We simulate the belief changes of several students during clinical interviews about how the seasons change. We show that qualitative models accurately represent student knowledge and that our system produces and revises a sequence of explanations similar those of the students.

It is widely recognized today that the management of imprecision and vagueness will yield more intelligent and realistic knowledge-based applications. Description Logics (DLs) are a family of knowledge representation languages that have gained considerable attention the last decade, mainly due to their decidability and the existence of empirically high performance of reasoning algorithms. In this paper, we extend the well known fuzzy ALC DL to the fuzzy SHIN DL, which extends the fuzzy ALC DL with transitive role axioms (S), inverse roles (I), role hierarchies (H) and number restrictions (N). We illustrate why transitive role axioms are difficult to handle in the presence of fuzzy interpretations and how to handle them properly. Then we extend these results by adding role hierarchies and finally number restrictions. The main contributions of the paper are the decidability proof of the fuzzy DL languages fuzzy-SI and fuzzy-SHIN, as well as decision procedures for the knowledge base satisfiability problem of the fuzzy-SI and fuzzy-SHIN.

Many applications, e.g., Web service composition, complex system design, team formation, etc., rely on methods for identifying collections of objects or entities satisfying some functional requirement. Among the collections that satisfy the functional requirement, it is often necessary to identify one or more collections that are optimal with respect to user preferences over a set of attributes that describe the non-functional properties of the collection. We develop a formalism that lets users express the relative importance among attributes and qualitative preferences over the valuations of each attribute. We define a dominance relation that allows us to compare collections of objects in terms of preferences over attributes of the objects that make up the collection. We establish some key properties of the dominance relation. In particular, we show that the dominance relation is a strict partial order when the intra-attribute preference relations are strict partial orders and the relative importance preference relation is an interval order. We provide algorithms that use this dominance relation to identify the set of most preferred collections. We show that under certain conditions, the algorithms are guaranteed to return only (sound), all (complete), or at least one (weakly complete) of the most preferred collections. We present results of simulation experiments comparing the proposed algorithms with respect to (a) the quality of solutions (number of most preferred solutions) produced by the algorithms, and (b) their performance and efficiency. We also explore some interesting conjectures suggested by the results of our experiments that relate the properties of the user preferences, the dominance relation, and the algorithms.

Matchmaking arises when supply and demand meet in an electronic marketplace, or when agents search for a web service to perform some task, or even when recruiting agencies match curricula and job profiles. In such open environments, the objective of a matchmaking process is to discover best available offers to a given request. We address the problem of matchmaking from a knowledge representation perspective, with a formalization based on Description Logics. We devise Concept Abduction and Concept Contraction as non-monotonic inferences in Description Logics suitable for modeling matchmaking in a logical framework, and prove some related complexity results. We also present reasonable algorithms for semantic matchmaking based on the devised inferences, and prove that they obey to some commonsense properties. Finally, we report on the implementation of the proposed matchmaking framework, which has been used both as a mediator in e-marketplaces and for semantic web services discovery.