About: Reasoning system

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Technological system deploying a form of reasoning

Property	Value
dbo:description	технологічна система, що розгортає форму міркування (uk) technological system deploying a form of reasoning (en) система, реализующая механизм рассуждений (ru)
dbo:wikiPageWikiLink	dbr:Intention dbr:Backtracking dbr:Backward_chaining dbc:Automated_reasoning dbr:Automated_reasoning dbr:Declarative_programming dbc:Logic_programming dbr:Logic_programming dbr:Procedural_knowledge dbr:Inference_engine dbr:Constraint_satisfaction_problem dbr:Machine_learning dbr:Recursion dbr:Variable_(mathematics) dbr:Nonlinear_programming dbr:Predictive_analytics dbr:Software_system dbr:Artificial_intelligence dbc:Problem_solving dbr:Information_technology dbr:Mathematical_proof dbr:Robotics dbr:First-order_logic dbr:Natural_language_processing dbc:Expert_systems dbr:Experience dbr:Prolog dbr:Deontic_logic dbr:Clause dbc:Deductive_reasoning dbr:Computer_vision dbr:Non-monotonic_logic dbr:Automated_theorem_proving dbr:Ground_expression dbr:Heuristic dbr:Linear_programming dbr:Propositional_calculus dbr:Uncertainty dbr:General_Problem_Solver dbr:Plan dbr:Negation_as_failure dbr:Scheduling_(production_processes) dbr:Fault_detection_and_isolation dbr:Combinatorics dbr:Decision_support_system dbr:Inference dbr:Deductive_reasoning dbr:Formal_system dbr:Modus_ponens dbr:Frame_language dbr:Case-based_reasoning dbr:Local_consistency dbr:Agriculture dbr:Logic dbr:Medicine dbr:Abductive_reasoning dbr:Monotonic_function dbr:Modal_logic dbr:Knowledge-based_systems dbr:Problem_solving dbr:Defeasible_reasoning dbr:Algorithm dbr:Belief dbc:Artificial_intelligence dbr:Knowledge dbr:Law dbr:Manufacturing dbr:Probability dbr:Programming_language dbr:Semantic_Web dbr:Production_system_(computer_science) dbr:Situated dbr:Inductive_reasoning dbr:Constraint_programming dbr:Object-oriented_analysis_and_design dbc:Inductive_reasoning dbr:Computer_program dbr:Hypothesis dbr:Integrated_circuit dbc:Automated_theorem_proving dbr:Analogy dbr:Negation dbr:Computational_complexity_theory dbr:Connectionism dbr:Bitwise_complement dbr:Logical_complement dbr:Open_world_assumption dbr:Automated_theorem_provers dbr:Ontology dbc:Rule_engines dbr:Complex_event_processing dbr:Allen_Newell dbr:Call_centre dbc:Applied_machine_learning dbr:Fuzzy_logic dbr:Search_algorithm dbr:Goal dbr:Business_rules_approach dbr:Expert_system dbr:Business_rule dbr:Soar_(cognitive_architecture) dbr:Stratification_(mathematics) dbr:Decision_making dbc:Cognitive_architecture dbc:Constraint_programming dbr:Dempster–Shafer_theory dbr:Technical_support dbr:Bayesian_inference dbr:Temporal_logic dbr:Forward_chaining dbr:Language_primitive dbr:Constraint_(information_theory) dbr:Hybrid_logic dbr:Deductive_classifier dbr:Intrusion_detection dbr:Business_rules_engine dbr:Symbolic_logic dbr:Information_Technology dbr:Optimization_(mathematics) dbr:Predicate_logic dbr:Ontology_(computer_science) dbr:Semantic_web dbr:Herb_Simon dbr:Expression_(programming) dbr:Belief-Desire-Intention_software_model dbr:Procedural_Reasoning_System dbr:Distributed_Multi-Agent_Reasoning_System dbr:Closed_world_assumption
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Automated_reasoning dbt:Refimprove dbt:Short_description
dct:subject	dbc:Automated_reasoning dbc:Logic_programming dbc:Problem_solving dbc:Expert_systems dbc:Deductive_reasoning dbc:Inductive_reasoning dbc:Automated_theorem_proving dbc:Rule_engines dbc:Applied_machine_learning dbc:Cognitive_architecture dbc:Constraint_programming
gold:hypernym	dbr:System
rdfs:label	Reasoning system (en)
owl:sameAs	freebase:Reasoning system yago-res:Reasoning system wikidata:Reasoning system dbpedia-fa:Reasoning system dbpedia-global:Reasoning system
prov:wasDerivedFrom	wikipedia-en:Reasoning_system?oldid=1295455243&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Reasoning_system
is dbo:wikiPageRedirects of	dbr:Automated_reasoning_system dbr:Automated_reasoning_systems dbr:Automated_reasoning_technologies dbr:Automated_reasoning_technology dbr:Reasoning_System dbr:Reasoning_technologies dbr:Reasoning_technology dbr:Machine_reasoning_system dbr:Machine_reasoning_systems dbr:Machine_reasoning_technologies dbr:Machine_reasoning_technology
is dbo:wikiPageWikiLink of	dbr:Automated_reasoning dbr:Carla_Gomes dbr:Logic_programming dbr:BCS_Lovelace_Medal dbr:Knowledge_base dbr:Outline_of_thought dbr:OpenCog dbr:Knowledge-based_systems dbr:Procedural_reasoning_system dbr:AceMedia dbr:Automated_reasoning_system dbr:Automated_reasoning_systems dbr:Automated_reasoning_technologies dbr:Automated_reasoning_technology dbr:Knowledge_Interchange_Format dbr:Outline_of_machine_learning dbr:George_Edward_Hughes dbr:Glossary_of_artificial_intelligence dbr:Ian_Horrocks dbr:Shlomo_Zilberstein dbr:Semantic_query dbr:Reasoning_System dbr:Reasoning_technologies dbr:Reasoning_technology dbr:Machine_reasoning_system dbr:Machine_reasoning_systems dbr:Machine_reasoning_technologies dbr:Machine_reasoning_technology
is rdfs:seeAlso of	dbr:Reason
is foaf:primaryTopic of	wikipedia-en:Reasoning_system