Live briefing
Everything about Reasoning system
Type of software system
In information technology a reasoning system is a software system that generates conclusions from available knowledge using logical techniques such as deduction and induction. Reasoning systems play an important role in the implementation of artificial intelligence and knowledge-based systems. Wikipedia →
🧭 Start here: a 6-step reading path
- Read the overview: Reasoning systemA 5-minute orientation
- Skim a recent paper: Case-based reasoning system for fault diagnosis of aero-enginesInfluential work since 2022
- Pick up a classic book: Kritik der reinen VernunftThe most-reprinted book on the subject
- Read the landmark paper: A neurocomputational system for relational reasoningCited 79 times
- Go sideways: Knowledge representation and reasoningA closely related topic
- Go sideways: Knowledge-based systemA closely related topic
📖 Definitions
No dictionary entry for this exact phrase.
🗂️ The subject at a glance
🏆 Landmark papers (most cited)
A neurocomputational system for relational reasoning
The RacerPro knowledge representation and reasoning system
Probabilistic Reasoning Under Coherence in System P
Spider Diagrams: A Diagrammatic Reasoning System
BLAH, a system which explains its reasoning
A formal system for fuzzy reasoning
A logic programming system for nonmonotonic reasoning
Reasoning about nonlinear system identification
🆕 Influential since 2022
Case-based reasoning system for fault diagnosis of aero-engines
An agentic system for rare disease diagnosis with traceable reasoning
From System 1 to System 2: A Survey of Reasoning Large Language Models
A novel probabilistic approach to counterfactual reasoning in system safety
Conditionals, Infeasible Worlds, and Reasoning with System W
📚 Books worth reading
Kritik der reinen VernunftImmanuel Kant · 1781
Some thoughts concerning educationJohn Locke · 1693
Thinking, Fast and SlowDaniel Kahneman · 2011
How the Brain Processes Multimodal Technical InstructionsDirk Remley · 2016
Beyond MappingJoseph K. Berry · 1993- 📕Adaptive Reasoning for Real-World ProblemsTurner, Roy · 2013
Qualitative Methods for Reasoning under UncertaintySimon Parsons · 2001
Critical Heuristics of Social PlanningWerner Ulrich · 1983
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
🔗 Related topics
- Knowledge representation and reasoning Knowledge representation (KR) aims to model information in a structured manner to formally represent it as knowledge in knowledge-based systems whereas…
- Knowledge-based system A knowledge-based system (KBS) is a computer program that reasons and uses a knowledge base to solve complex problems. Knowledge-based systems were the…
- Logic in computer science Logic in computer science covers the overlap between the field of logic and that of computer science. The topic can essentially be divided into three main…
- Semantic reasoner A semantic reasoner, reasoning engine, rules engine, or simply a reasoner, is a piece of software able to infer logical consequences from a set of asserted…
- LOOM (ontology) Loom is a knowledge representation language developed by researchers in the artificial intelligence research group at the University of Southern California's…
- Symbolic artificial intelligence In artificial intelligence (AI), symbolic artificial intelligence (also known as classical artificial intelligence or logic-based artificial intelligence)…
- Rule-based system In computer science, a rule-based system is a computer system in which domain-specific knowledge is represented in the form of rules and general-purpose…
- Deductive classifier A deductive classifier is a type of artificial intelligence inference engine. It takes as input a set of declarations in a frame language about a domain…