Rule-based reasoning is an essential part of human intelligence prominently formalized in artificial research via logic programs. Describing complex objects as the composition elementary ones a common strategy computer science and general. The author has recently introduced sequential programs context logic-based analogical learning programming. Motivated by these applications, this paper we co...

1 Abstract Three ways to build rule based models of emotional common sense reasoning are described: a top-down approach, inspired by a popular theory in the eld, a bottom-up or demo driven approach, and a hybrid approach. A means of evaluating each of the models is described. One aspect of the evaluation involves comparing a given model's performance against an empirically derived benchmark of ...

Defeasible argumentation is a form of defeasible reasoning, that emphasizes the notion of an argument. An argument A for a conclusion q is a tentative piece of reasoning which supports q. In an argumentative framework, common sense reasoning can be modeled as a process in which we must determine whether an argument justifies its conclusion. The process mentioned above takes considerable computa...

With an eye towards the development of systems for common everyday tasks — that operate in a manner that is cognitively-compatible with the argumentative nature of human reasoning — we present mechanisms for reasoning with and learning cognitive programs: common sense, symbolically represented in the form of prioritized association rules. The FLASH mechanism supports a fast argumentation-flavor...

Cake is a hybrid system which provides reasoning facilities for the Programmer's Apprentice. This paper describes the architecture of Cake, which is divided into eight layers, each with associated representations and reasoning procedures. The operation of Cake is illustrated by a complete trace of the solution of an example reasoning problem. We also argue that a hybrid system in general is cha...

Some spatial reasoning systems use images to solve problems, rather than making formal logical inferences. However, an open question is how to use these systems in contexts where some nonspatial information is also involved. We present a hybrid reasoning method in which we extend the capabilities of a spatial reasoner by integrating it with a resolution theorem-prover. We prove that the hybrid ...

Some examples of natural human common sense reasoning both in scientific pattern recognition problems and in solving logical games are given. An analysis of inference structure shows that inductive and deductive rules communicate in reasoning. An automated model for detecting the types of woodland from incomplete descriptions of some evidences is also given in this paper. The important part of ...

This work reveals the benefits obtained from combining commonsense reasoning and multi-agent systems on top of a fully equipped middleware platform. The architecture here proposed is founded on the service composition paradigm, as the comprehensive solution to relieve users from being involved in system decision making. In this regard, the environment and domain understanding is emulated by the...

Abstract Analogy-making is at the core of human and artificial intelligence creativity with applications to such diverse tasks as proving mathematical theorems building theories, common sense reasoning, learning, language acquisition, story telling. This paper introduces from first principles an abstract algebraic framework analogical proportions form ‘ a b what c d ’ in general setting univers...