This paper is concerned with the conceptual foundations of pragmatic reasoning (context-dependent reasoning). A general pragmatic semantics (a semantic analysis which includes a pragmatic parameter) is given for pragmatic reasoning, the logical properties of the various forms of pragmatic reasoning are discussed, as are many examples. The semantic pragmatics (the general study of choosing or in...

Nonmonotonic reasoning has been developed to capture common sense inferences. This paper considers nonmonotonic reasoning in logic programs with negation { its implementation using Prolog and its integration with Prolog execution. Even within logic programming frameworks, a variety of inferencing methods, model-theoretic semantics, and language features have been proposed for diierent forms of ...

Automatic extraction of semantic information, if successful, offers to languages with little or poor resources, the prospects of creating ontological resources inexpensively, thus providing support for common-sense reasoning applications in those languages. In this paper we explore the automatic extraction of synonymy information from large corpora using two complementary techniques: a generic ...

Visual understanding involves detecting objects in a scene and investigating rich semantic relationships between the objects, which is required for downstream visual reasoning tasks. The graph widely used structured representation, however, performance of generation limited due to challenges posed by imbalanced datasets insufficient attention toward common sense knowledge infusion. Most existin...

SparQ is a toolbox for qualitative spatial reasoning. Interpreting reasoning in a broad sense, SparQ covers mapping information from quantitative to qualitative, applying constraint reasoning to qualitative information, reasoning about calculi, and mapping qualitative information back to the quantitative domain. The toolbox is designed for extensibility and released under the GNU GPL public lic...

Based on the results of reasoning with generics, this paper attempts to clarify the relationship between generic reasoning and inductive reasoning. First, to capture reasoning with generics, logics for obtaining intermediate conclusions are provided; then, the priority order of the subsets of the premise set are introduced to eliminate the contradictions or incompatibility generated by intermed...

Abstract Commonsense intelligence is a long-standing puzzle in AI. Despite considerable advances deep learning, AI continues to be narrow and brittle due its lack of common sense. Why sense so trivial for humans but hard machines? In this essay, I map the twists turns recent research adventures toward commonsense As we will see, latest on are riddled with new, potentially counterintuitive persp...