Reasoning 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. Reasoning systems have a wide field of application that includes scheduling, business rule processing, problem solving, complex event processing, intrusion detection, predictive analytics, robotics, computer vision, and natural language processing.
- Comment
- enIn 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. Reasoning systems have a wide field of application that includes scheduling, business rule processing, problem solving, complex event processing, intrusion detection, predictive analytics, robotics, computer vision, and natural language processing.
- Has abstract
- enIn 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. By the everyday usage definition of the phrase, all computer systems are reasoning systems in that they all automate some type of logic or decision. In typical use in the Information Technology field however, the phrase is usually reserved for systems that perform more complex kinds of reasoning. For example, not for systems that do fairly straightforward types of reasoning such as calculating a sales tax or customer discount but making logical inferences about a medical diagnosis or mathematical theorem. Reasoning systems come in two modes: interactive and batch processing. Interactive systems interface with the user to ask clarifying questions or otherwise allow the user to guide the reasoning process. Batch systems take in all the available information at once and generate the best answer possible without user feedback or guidance. Reasoning systems have a wide field of application that includes scheduling, business rule processing, problem solving, complex event processing, intrusion detection, predictive analytics, robotics, computer vision, and natural language processing.
- Hypernym
- System
- Is primary topic of
- Reasoning system
- Label
- enReasoning system
- Link from a Wikipage to another Wikipage
- Abductive reasoning
- Agriculture
- Algorithm
- Allen Newell
- Analogy
- Artificial intelligence
- Automated reasoning
- Automated theorem provers
- Automated theorem proving
- Backtracking
- Backward chaining
- Bayesian inference
- Belief
- Belief-Desire-Intention software model
- Bitwise complement
- Business rule
- Business rules approach
- Business rules engine
- Call centre
- Case-based reasoning
- Category:Applied machine learning
- Category:Artificial intelligence
- Category:Automated reasoning
- Category:Automated theorem proving
- Category:Cognitive architecture
- Category:Constraint programming
- Category:Deductive reasoning
- Category:Expert systems
- Category:Inductive reasoning
- Category:Logic programming
- Category:Problem solving
- Category:Rule engines
- Clause
- Closed world assumption
- Combinatorics
- Complex event processing
- Computational complexity theory
- Computer program
- Computer vision
- Connectionism
- Constraint (information theory)
- Constraint programming
- Constraint satisfaction problem
- Decision making
- Decision support system
- Declarative programming
- Deductive classifier
- Deductive reasoning
- Defeasible reasoning
- Dempster–Shafer theory
- Deontic logic
- Distributed Multi-Agent Reasoning System
- Experience
- Expert system
- Expression (programming)
- Fault detection and isolation
- First-order logic
- Formal system
- Forward chaining
- Frame language
- Fuzzy logic
- General Problem Solver
- Goal
- Ground expression
- Herb Simon
- Heuristic
- Hybrid logic
- Hypothesis
- Inductive reasoning
- Inference
- Inference engine
- Information technology
- Information Technology
- Integrated circuit
- Intention
- Intrusion detection
- Knowledge
- Knowledge-based systems
- Language primitive
- Law
- Linear programming
- Local consistency
- Logic
- Logical complement
- Logic programming
- Machine learning
- Manufacturing
- Mathematical proof
- Medicine
- Modal logic
- Modus ponens
- Monotonic function
- Natural language processing
- Negation
- Negation as failure
- Nonlinear programming
- Non-monotonic logic
- Object-oriented analysis and design
- Ontology
- Ontology (computer science)
- Open world assumption
- Optimization (mathematics)
- Plan
- Predicate logic
- Predictive analytics
- Probability
- Problem solving
- Procedural knowledge
- Procedural Reasoning System
- Production system (computer science)
- Programming language
- Prolog
- Propositional calculus
- Recursion
- Robotics
- Scheduling (production processes)
- Search algorithm
- Semantic web
- Semantic Web
- Situated
- Soar (cognitive architecture)
- Software system
- Stratification (mathematics)
- Symbolic logic
- Technical support
- Temporal logic
- Uncertainty
- Variable (mathematics)
- SameAs
- 4u1zh
- m.0gh66z6
- Q7301504
- Reasoning system
- سامانه استدلال
- Subject
- Category:Applied machine learning
- Category:Artificial intelligence
- Category:Automated reasoning
- Category:Automated theorem proving
- Category:Cognitive architecture
- Category:Constraint programming
- Category:Deductive reasoning
- Category:Expert systems
- Category:Inductive reasoning
- Category:Logic programming
- Category:Problem solving
- Category:Rule engines
- WasDerivedFrom
- Reasoning system?oldid=1027211304&ns=0
- WikiPageLength
- 16369
- Wikipage page ID
- 31103500
- Wikipage revision ID
- 1027211304
- WikiPageUsesTemplate
- Template:Refimprove
- Template:Reflist