• Logical AI (artificial intelligence) is based on programs that represent facts about the world in languages of mathematical logic and decide what actions will achieve goals by logical reasoning. A lot has been accomplished with logic as is. • This was Leibniz's goal, and I think we'll eventually achieve it. When he wrote Let us calculate, maybe he imagined that the AI problem would be solved ...

The SemanticWeb is a project intended to create a universal medium for information exchange by giving semantics to the content of documents on the Web by means of ontology definitions. Ontologies intended for knowledge representation in intelligent agents rely on common-sense reasoning formalizations. Defeasible argumentation has emerged as a successful approach to model common-sense reasoning....

In a hypermedia authoring task, an author often wants to set up meaningful connections between different media, such as text and photographs. To facilitate this task, it is helpful to have a software agent dynamically adapt the presentation of a media database to the user's authoring activities, and look for opportunities for annotation and retrieval. However, potential connections are often mi...

This work is concerned wi th the problem of reasoning about physical objects and t h e i r pos i t ions in the space. The main goal is to develop a system which is able to " imagine" the scene in which a s tory takes p lace, i n f e r r i n g by means of su i tab le ru les the items which are not e x p l i c i t l y named, in order to v e r i f y the relevance of knowledge about the physical en...

An important difference between traditional AI systems and human intelligence is our ability to harness common sense knowledge gleaned from a lifetime of learning and experiences to inform our decision-making and behavior. This allows humans to adapt easily to novel situations where AI fails catastrophically for lack of situation-specific rules and generalization capabilities. In order for mach...

We wish to model common-sense reasoning in situations where it contains some of the ingredients typical of proto-scientific reasoning, with a view to future elaboration and proof of concept. To model this proto-scientific narrative, we employ the integrative formal computational machinery we have been developing and implementing for rational cooperative epistemic agents. In our logic-based fram...

What is Common Sense Computing? And why is it so important for the technological evolution of humankind? This paper presents an overview of past, present and future efforts of the AI community to give computers the capacity for Common Sense reasoning, from Minsky’s Society of Mind to Media Laboratory’s Digital Intuition theory, and beyond. Is it actually possible to build a machine with Common ...

1 PROLEGOMENON TO FIBRING It is a task of philosophy to explain the sense in which contemporary science uses the label " logics " , specially through " logics in " (natural language, program verification, machine learning, knowledge representation, abduc-tive and inductive reasoning, etc.) as well as " logics for " (hybrid reasoning systems, ontology, engineering, reasoning about cryptographic ...

In understanding fully persons' moral predicaments, a core component of forming perceptual judgments, nurses may need to shift the epistemology of their practice from instrumental reasoning, or means-ends thinking, integrating a virtue-based practical reasoning. A bearing witness that achieves understanding of clients' moral qualities is attained through the articulation of nurses' self-identit...