Search Results for author:
Found 10 papers, 1 papers with code
Selection Strategies for Commonsense Knowledge
In knowledge bases with commonsense knowledge, symbol names are usually chosen to have a meaning and this meaning provides valuable information for selection strategies.
Modeling Associative Reasoning Processes
The human capability to reason about one domain by using knowledge of other domains has been researched for more than 50 years, but models that are formally sound and predict cognitive process are sparse.
Negation in Cognitive Reasoning
In this paper, we describe an effective procedure to determine the negated event or property in order to replace it by its inverse.
Consciousness and Automated Reasoning
This paper aims at demonstrating how a first-order logic reasoning system in combination with a large knowledge base can be understood as an artificial consciousness system.
Using ConceptNet to Teach Common Sense to an Automated Theorem Prover
The CoRg system is a system to solve commonsense reasoning problems.
The RatioLog Project: Rational Extensions of Logical Reasoning
Moreover, we use integrated case-based reasoning and machine learning techniques on the basis of the semantic structure of the questions and answer candidates to learn giving the right answers.
Automated Reasoning for Robot Ethics
Deontic logic is a very well researched branch of mathematical logic and philosophy.
Automated Reasoning in Deontic Logic
Deontic logic is a very well researched branch of mathematical logic and philosophy.
Cognitive Systems and Question Answering
This paper briefly characterizes the field of cognitive computing.
Deontic Logic for Human Reasoning
Deontic logic is shown to be applicable for modelling human reasoning.
