This HTML5 document contains 209 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n12https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
dbpedia-fahttp://fa.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Carla_Gomes
dbo:wikiPageWikiLink
dbr:Reasoning_system
Subject Item
dbr:Semantic_query
dbo:wikiPageWikiLink
dbr:Reasoning_system
Subject Item
dbr:Reasoning_system
rdf:type
yago:System104377057 yago:Machine103699975 yago:WikicatRuleEngines yago:PhysicalEntity100001930 yago:Artifact100021939 yago:Engine103287733 yago:Whole100003553 yago:Device103183080 yago:Object100002684 yago:Motor103789946 yago:WikicatExpertSystems yago:Instrumentality103575240
rdfs:label
Reasoning system
rdfs:comment
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.
dcterms:subject
dbc:Problem_solving dbc:Expert_systems dbc:Artificial_intelligence dbc:Rule_engines dbc:Cognitive_architecture dbc:Deductive_reasoning dbc:Inductive_reasoning dbc:Automated_theorem_proving dbc:Automated_reasoning dbc:Applied_machine_learning dbc:Constraint_programming dbc:Logic_programming
dbo:wikiPageID
31103500
dbo:wikiPageRevisionID
1027211304
dbo:wikiPageWikiLink
dbr:Logic dbr:Ground_expression dbr:Procedural_Reasoning_System dbr:Expression_(programming) dbr:Object-oriented_analysis_and_design dbr:Inference_engine dbc:Problem_solving dbr:Knowledge dbr:Inference dbr:Negation_as_failure dbr:Connectionism dbr:Ontology dbr:Variable_(mathematics) dbr:Knowledge-based_systems dbr:Semantic_web dbr:Stratification_(mathematics) dbr:Bitwise_complement dbr:Dempster–Shafer_theory dbc:Expert_systems dbr:Intention dbr:Medicine dbr:Backtracking dbr:Recursion dbr:Hypothesis dbr:Probability dbr:Nonlinear_programming dbr:Abductive_reasoning dbc:Artificial_intelligence dbr:Situated dbr:Law dbr:Soar_(cognitive_architecture) dbc:Rule_engines dbr:Declarative_programming dbr:Formal_system dbr:Artificial_intelligence dbr:Modal_logic dbr:Constraint_(information_theory) dbr:Machine_learning dbr:Monotonic_function dbr:Backward_chaining dbc:Cognitive_architecture dbr:Constraint_satisfaction_problem dbr:Goal dbr:Intrusion_detection dbr:Constraint_programming dbr:Problem_solving dbr:Belief-Desire-Intention_software_model dbr:Procedural_knowledge dbr:Defeasible_reasoning dbr:Automated_reasoning dbc:Deductive_reasoning dbc:Inductive_reasoning dbr:Logical_complement dbr:Complex_event_processing dbr:First-order_logic dbr:Natural_language_processing dbc:Automated_theorem_proving dbc:Automated_reasoning dbr:Uncertainty dbr:Search_algorithm dbr:Agriculture dbr:Algorithm dbr:Open_world_assumption dbr:Propositional_calculus dbr:Allen_Newell dbr:Linear_programming dbr:Non-monotonic_logic dbc:Applied_machine_learning dbr:Inductive_reasoning dbr:Deontic_logic dbr:General_Problem_Solver dbr:Distributed_Multi-Agent_Reasoning_System dbc:Constraint_programming dbr:Hybrid_logic dbr:Production_system_(computer_science) dbr:Belief dbr:Information_Technology dbr:Decision_support_system dbr:Fuzzy_logic dbr:Forward_chaining dbr:Language_primitive dbr:Automated_theorem_provers dbr:Temporal_logic dbr:Computational_complexity_theory dbr:Computer_program dbr:Integrated_circuit dbr:Negation dbr:Predicate_logic dbr:Programming_language dbc:Logic_programming dbr:Optimization_(mathematics) dbr:Manufacturing dbr:Scheduling_(production_processes) dbr:Heuristic dbr:Decision_making dbr:Closed_world_assumption dbr:Mathematical_proof dbr:Clause dbr:Technical_support dbr:Business_rules_approach dbr:Business_rules_engine dbr:Predictive_analytics dbr:Software_system dbr:Business_rule dbr:Prolog dbr:Information_technology dbr:Plan dbr:Herb_Simon dbr:Modus_ponens dbr:Experience dbr:Frame_language dbr:Expert_system dbr:Deductive_classifier dbr:Semantic_Web dbr:Computer_vision dbr:Call_centre dbr:Local_consistency dbr:Automated_theorem_proving dbr:Ontology_(computer_science) dbr:Deductive_reasoning dbr:Combinatorics dbr:Case-based_reasoning dbr:Symbolic_logic dbr:Robotics dbr:Fault_detection_and_isolation dbr:Bayesian_inference dbr:Logic_programming dbr:Analogy
owl:sameAs
yago-res:Reasoning_system wikidata:Q7301504 dbpedia-fa:سامانه_استدلال n12:4u1zh freebase:m.0gh66z6
dbp:wikiPageUsesTemplate
dbt:Refimprove dbt:Reflist
dbo:abstract
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.
gold:hypernym
dbr:System
prov:wasDerivedFrom
wikipedia-en:Reasoning_system?oldid=1027211304&ns=0
dbo:wikiPageLength
16369
foaf:isPrimaryTopicOf
wikipedia-en:Reasoning_system
Subject Item
dbr:George_Edward_Hughes
dbo:wikiPageWikiLink
dbr:Reasoning_system
Subject Item
dbr:Glossary_of_artificial_intelligence
dbo:wikiPageWikiLink
dbr:Reasoning_system
Subject Item
dbr:Reasoning_System
dbo:wikiPageWikiLink
dbr:Reasoning_system
dbo:wikiPageRedirects
dbr:Reasoning_system
Subject Item
dbr:Shlomo_Zilberstein
dbo:wikiPageWikiLink
dbr:Reasoning_system
Subject Item
dbr:Procedural_reasoning_system
dbo:wikiPageWikiLink
dbr:Reasoning_system
Subject Item
dbr:BCS_Lovelace_Medal
dbo:wikiPageWikiLink
dbr:Reasoning_system
Subject Item
dbr:Logic_programming
dbo:wikiPageWikiLink
dbr:Reasoning_system
Subject Item
dbr:AceMedia
dbo:wikiPageWikiLink
dbr:Reasoning_system
Subject Item
dbr:Outline_of_thought
dbo:wikiPageWikiLink
dbr:Reasoning_system
Subject Item
dbr:Knowledge-based_systems
dbo:wikiPageWikiLink
dbr:Reasoning_system
Subject Item
dbr:Knowledge_Interchange_Format
dbo:wikiPageWikiLink
dbr:Reasoning_system
Subject Item
dbr:Knowledge_base
dbo:wikiPageWikiLink
dbr:Reasoning_system
Subject Item
dbr:Reason
rdfs:seeAlso
dbr:Reasoning_system
Subject Item
dbr:Automated_reasoning
dbo:wikiPageWikiLink
dbr:Reasoning_system
Subject Item
dbr:Ian_Horrocks
dbo:wikiPageWikiLink
dbr:Reasoning_system
Subject Item
dbr:OpenCog
dbo:wikiPageWikiLink
dbr:Reasoning_system
Subject Item
dbr:Outline_of_machine_learning
dbo:wikiPageWikiLink
dbr:Reasoning_system
Subject Item
dbr:Automated_reasoning_system
dbo:wikiPageWikiLink
dbr:Reasoning_system
dbo:wikiPageRedirects
dbr:Reasoning_system
Subject Item
dbr:Automated_reasoning_systems
dbo:wikiPageWikiLink
dbr:Reasoning_system
dbo:wikiPageRedirects
dbr:Reasoning_system
Subject Item
dbr:Automated_reasoning_technologies
dbo:wikiPageWikiLink
dbr:Reasoning_system
dbo:wikiPageRedirects
dbr:Reasoning_system
Subject Item
dbr:Automated_reasoning_technology
dbo:wikiPageWikiLink
dbr:Reasoning_system
dbo:wikiPageRedirects
dbr:Reasoning_system
Subject Item
dbr:Machine_reasoning_system
dbo:wikiPageWikiLink
dbr:Reasoning_system
dbo:wikiPageRedirects
dbr:Reasoning_system
Subject Item
dbr:Machine_reasoning_systems
dbo:wikiPageWikiLink
dbr:Reasoning_system
dbo:wikiPageRedirects
dbr:Reasoning_system
Subject Item
dbr:Machine_reasoning_technologies
dbo:wikiPageWikiLink
dbr:Reasoning_system
dbo:wikiPageRedirects
dbr:Reasoning_system
Subject Item
dbr:Machine_reasoning_technology
dbo:wikiPageWikiLink
dbr:Reasoning_system
dbo:wikiPageRedirects
dbr:Reasoning_system
Subject Item
dbr:Reasoning_technologies
dbo:wikiPageWikiLink
dbr:Reasoning_system
dbo:wikiPageRedirects
dbr:Reasoning_system
Subject Item
dbr:Reasoning_technology
dbo:wikiPageWikiLink
dbr:Reasoning_system
dbo:wikiPageRedirects
dbr:Reasoning_system
Subject Item
wikipedia-en:Reasoning_system
foaf:primaryTopic
dbr:Reasoning_system