Sense-making software for crime investigation should be based on a model of reasoning about evidence that is both natural and rationally well-founded. A formal model is proposed that combines AI formalisms for abductive inference to the best explanation and for defeasible argumentation. Stories about what might have happened in a case are represented as causal networks and possible hypotheses c...

We introduce a family of logics that are particularly useful for reasoning with uncertainty. The consequence relations considered here are deened by a simple and natural semantics, and have many desirable properties. In particular, these relations are nonmonotonic, paraconsistent, adaptive in the sense of Batens, plausibility logics in the sense of Lehmann, and rational in the sense of Lehmann ...

There exists many software applications that attempt to use common sense reasoning to assist users do everyday tasks, such as schedule their day or write emails. One such program is ARIA, which relies on the information in OpenMind’s common sense database. However, these applications are only as useful as the quality of the common sense information with which they are reasoning. One vast improv...

Although in the past three decades interest in mathematical explanation revived, recent literature on the subject seems to neglect the strict connection between explanation and discovery. In this paper I sketch an alternative approach that takes such connection into account. My approach is a revised version of one originally considered by Descartes. The main difference is that my approach is in...

This paper describes an exercise in the formalization of common-sense with Answer Set Programming aimed at solving an interesting riddle, whose solution is not obvious to many people. Solving the riddle requires a considerable amount of common-sense knowledge and sophisticated knowledge representation and reasoning techniques, including planning and adversarial reasoning. Most importantly, the ...

It has become apparent that many human-computer interface applications of common sense reasoning, particularly those built on theOpenMind Common Sense corpus , make use of similar computational tools (spreading activation, for example) in addition to the corpus itself. Meanwhile, new representations, new methods of reasoning, and new applications are being introduced without a clear foundation ...

Description One reason why software and robotic agents are helpful for humans is that they can function autonomously (at least partially). Functioning with autonomy in turn requires being context sensitive. One important aspect of context sensitivity is the ability to reason with common sense. Although research has been conducted in this area for years now, artificial common sense reasoning doe...

This paper describes an exercise in the formalization of common-sense with Answer Set Programming aimed at solving an interesting riddle, whose solution is not obvious to many people. Solving the riddle requires a considerable amount of common-sense knowledge and sophisticated knowledge representation and reasoning techniques, including planning and adversarial reasoning. Most importantly, the ...

Patients and physicians can inhabit distinctive social worlds where they are guided by diverse understandings of moral practice. Despite the contemporary presence of multiple moral traditions, religious communities and ethnic backgrounds, two of the major methodological approaches in bioethics, casuistry and principlism, rely upon the notion of a common morality. However, the heterogeneity of e...