| http://dbpedia.org/ontology/abstract
|
In information technology a reasoning syst … 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. 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.r vision, and natural language processing.
|
| http://dbpedia.org/ontology/wikiPageID
|
31103500
|
| http://dbpedia.org/ontology/wikiPageLength
|
16369
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1027211304
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Ontology +
, http://dbpedia.org/resource/Negation_as_failure +
, http://dbpedia.org/resource/Symbolic_logic +
, http://dbpedia.org/resource/Business_rules_engine +
, http://dbpedia.org/resource/Artificial_intelligence +
, http://dbpedia.org/resource/Logic +
, http://dbpedia.org/resource/Defeasible_reasoning +
, http://dbpedia.org/resource/Situated +
, http://dbpedia.org/resource/Category:Constraint_programming +
, http://dbpedia.org/resource/Backtracking +
, http://dbpedia.org/resource/Computer_vision +
, http://dbpedia.org/resource/Computer_program +
, http://dbpedia.org/resource/Hypothesis +
, http://dbpedia.org/resource/Category:Automated_reasoning +
, http://dbpedia.org/resource/Soar_%28cognitive_architecture%29 +
, http://dbpedia.org/resource/Herb_Simon +
, http://dbpedia.org/resource/Robotics +
, http://dbpedia.org/resource/First-order_logic +
, http://dbpedia.org/resource/Scheduling_%28production_processes%29 +
, http://dbpedia.org/resource/Procedural_knowledge +
, http://dbpedia.org/resource/Expert_system +
, http://dbpedia.org/resource/Category:Automated_theorem_proving +
, http://dbpedia.org/resource/Expression_%28programming%29 +
, http://dbpedia.org/resource/Knowledge +
, http://dbpedia.org/resource/Decision_support_system +
, http://dbpedia.org/resource/Ground_expression +
, http://dbpedia.org/resource/Analogy +
, http://dbpedia.org/resource/Constraint_satisfaction_problem +
, http://dbpedia.org/resource/Experience +
, http://dbpedia.org/resource/Semantic_Web +
, http://dbpedia.org/resource/Temporal_logic +
, http://dbpedia.org/resource/Non-monotonic_logic +
, http://dbpedia.org/resource/Optimization_%28mathematics%29 +
, http://dbpedia.org/resource/Declarative_programming +
, http://dbpedia.org/resource/Goal +
, http://dbpedia.org/resource/Inference +
, http://dbpedia.org/resource/Inductive_reasoning +
, http://dbpedia.org/resource/Plan +
, http://dbpedia.org/resource/Category:Inductive_reasoning +
, http://dbpedia.org/resource/Deductive_classifier +
, http://dbpedia.org/resource/Business_rule +
, http://dbpedia.org/resource/Constraint_%28information_theory%29 +
, http://dbpedia.org/resource/Nonlinear_programming +
, http://dbpedia.org/resource/Closed_world_assumption +
, http://dbpedia.org/resource/Category:Logic_programming +
, http://dbpedia.org/resource/Search_algorithm +
, http://dbpedia.org/resource/Technical_support +
, http://dbpedia.org/resource/Intrusion_detection +
, http://dbpedia.org/resource/Integrated_circuit +
, http://dbpedia.org/resource/Automated_theorem_proving +
, http://dbpedia.org/resource/Machine_learning +
, http://dbpedia.org/resource/Local_consistency +
, http://dbpedia.org/resource/Linear_programming +
, http://dbpedia.org/resource/Production_system_%28computer_science%29 +
, http://dbpedia.org/resource/Category:Deductive_reasoning +
, http://dbpedia.org/resource/Predicate_logic +
, http://dbpedia.org/resource/Algorithm +
, http://dbpedia.org/resource/Forward_chaining +
, http://dbpedia.org/resource/Negation +
, http://dbpedia.org/resource/Agriculture +
, http://dbpedia.org/resource/Fuzzy_logic +
, http://dbpedia.org/resource/General_Problem_Solver +
, http://dbpedia.org/resource/Automated_reasoning +
, http://dbpedia.org/resource/Hybrid_logic +
, http://dbpedia.org/resource/Decision_making +
, http://dbpedia.org/resource/Abductive_reasoning +
, http://dbpedia.org/resource/Uncertainty +
, http://dbpedia.org/resource/Allen_Newell +
, http://dbpedia.org/resource/Complex_event_processing +
, http://dbpedia.org/resource/Combinatorics +
, http://dbpedia.org/resource/Propositional_calculus +
, http://dbpedia.org/resource/Modal_logic +
, http://dbpedia.org/resource/Intention +
, http://dbpedia.org/resource/Deontic_logic +
, http://dbpedia.org/resource/Connectionism +
, http://dbpedia.org/resource/Category:Cognitive_architecture +
, http://dbpedia.org/resource/Business_rules_approach +
, http://dbpedia.org/resource/Frame_language +
, http://dbpedia.org/resource/Category:Problem_solving +
, http://dbpedia.org/resource/Heuristic +
, http://dbpedia.org/resource/Computational_complexity_theory +
, http://dbpedia.org/resource/Problem_solving +
, http://dbpedia.org/resource/Semantic_web +
, http://dbpedia.org/resource/Bayesian_inference +
, http://dbpedia.org/resource/Modus_ponens +
, http://dbpedia.org/resource/Distributed_Multi-Agent_Reasoning_System +
, http://dbpedia.org/resource/Automated_theorem_provers +
, http://dbpedia.org/resource/Belief-Desire-Intention_software_model +
, http://dbpedia.org/resource/Logical_complement +
, http://dbpedia.org/resource/Open_world_assumption +
, http://dbpedia.org/resource/Medicine +
, http://dbpedia.org/resource/Bitwise_complement +
, http://dbpedia.org/resource/Category:Expert_systems +
, http://dbpedia.org/resource/Call_centre +
, http://dbpedia.org/resource/Procedural_Reasoning_System +
, http://dbpedia.org/resource/Stratification_%28mathematics%29 +
, http://dbpedia.org/resource/Fault_detection_and_isolation +
, http://dbpedia.org/resource/Language_primitive +
, http://dbpedia.org/resource/Backward_chaining +
, http://dbpedia.org/resource/Constraint_programming +
, http://dbpedia.org/resource/Formal_system +
, http://dbpedia.org/resource/Clause +
, http://dbpedia.org/resource/Inference_engine +
, http://dbpedia.org/resource/Prolog +
, http://dbpedia.org/resource/Mathematical_proof +
, http://dbpedia.org/resource/Case-based_reasoning +
, http://dbpedia.org/resource/Monotonic_function +
, http://dbpedia.org/resource/Natural_language_processing +
, http://dbpedia.org/resource/Ontology_%28computer_science%29 +
, http://dbpedia.org/resource/Logic_programming +
, http://dbpedia.org/resource/Knowledge-based_systems +
, http://dbpedia.org/resource/Category:Rule_engines +
, http://dbpedia.org/resource/Predictive_analytics +
, http://dbpedia.org/resource/Probability +
, http://dbpedia.org/resource/Category:Applied_machine_learning +
, http://dbpedia.org/resource/Manufacturing +
, http://dbpedia.org/resource/Belief +
, http://dbpedia.org/resource/Programming_language +
, http://dbpedia.org/resource/Deductive_reasoning +
, http://dbpedia.org/resource/Dempster%E2%80%93Shafer_theory +
, http://dbpedia.org/resource/Law +
, http://dbpedia.org/resource/Software_system +
, http://dbpedia.org/resource/Information_Technology +
, http://dbpedia.org/resource/Information_technology +
, http://dbpedia.org/resource/Recursion +
, http://dbpedia.org/resource/Variable_%28mathematics%29 +
, http://dbpedia.org/resource/Object-oriented_analysis_and_design +
, http://dbpedia.org/resource/Category:Artificial_intelligence +
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Refimprove +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Constraint_programming +
, http://dbpedia.org/resource/Category:Artificial_intelligence +
, http://dbpedia.org/resource/Category:Deductive_reasoning +
, http://dbpedia.org/resource/Category:Inductive_reasoning +
, http://dbpedia.org/resource/Category:Applied_machine_learning +
, http://dbpedia.org/resource/Category:Automated_theorem_proving +
, http://dbpedia.org/resource/Category:Logic_programming +
, http://dbpedia.org/resource/Category:Expert_systems +
, http://dbpedia.org/resource/Category:Automated_reasoning +
, http://dbpedia.org/resource/Category:Rule_engines +
, http://dbpedia.org/resource/Category:Cognitive_architecture +
, http://dbpedia.org/resource/Category:Problem_solving +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/System +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Reasoning_system?oldid=1027211304&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Reasoning_system +
|
| owl:sameAs |
https://global.dbpedia.org/id/4u1zh +
, http://www.wikidata.org/entity/Q7301504 +
, http://fa.dbpedia.org/resource/%D8%B3%D8%A7%D9%85%D8%A7%D9%86%D9%87_%D8%A7%D8%B3%D8%AA%D8%AF%D9%84%D8%A7%D9%84 +
, http://dbpedia.org/resource/Reasoning_system +
, http://rdf.freebase.com/ns/m.0gh66z6 +
, http://yago-knowledge.org/resource/Reasoning_system +
|
| rdf:type |
http://dbpedia.org/class/yago/Instrumentality103575240 +
, http://dbpedia.org/class/yago/WikicatRuleEngines +
, http://dbpedia.org/class/yago/Whole100003553 +
, http://dbpedia.org/class/yago/Object100002684 +
, http://dbpedia.org/class/yago/Engine103287733 +
, http://dbpedia.org/class/yago/Machine103699975 +
, http://dbpedia.org/class/yago/Motor103789946 +
, http://dbpedia.org/class/yago/System104377057 +
, http://dbpedia.org/class/yago/Artifact100021939 +
, http://dbpedia.org/class/yago/PhysicalEntity100001930 +
, http://dbpedia.org/class/yago/WikicatExpertSystems +
, http://dbpedia.org/class/yago/Device103183080 +
|
| rdfs:comment |
In information technology a reasoning syst … 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.r vision, and natural language processing.
|
| rdfs:label |
Reasoning system
|
