Search Results for author:
Found 11 papers, 0 papers with code
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.
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.
Relating Strong Spatial Cognition to Symbolic Problem Solving --- An Example
In this note, we discuss and analyse a shortest path finding approach using strong spatial cognition.
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.
On First-Order Model-Based Reasoning
Reasoning semantically in first-order logic is notoriously a challenge.
Cognitive Systems and Question Answering
This paper briefly characterizes the field of cognitive computing.
Automated Reasoning in Deontic Logic
Deontic logic is a very well researched branch of mathematical logic and philosophy.
Deontic Logic for Human Reasoning
Deontic logic is shown to be applicable for modelling human reasoning.
