Deductive classifier (original) (raw)
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 such as medical research or molecular biology. For example, the names of classes, sub-classes, properties, and restrictions on allowable values. The classifier determines if the various declarations are logically consistent and if not will highlight the specific inconsistent declarations and the inconsistencies among them. If the declarations are consistent the classifier can then assert additional information based on the input. For example, it can add information about existing classes, create additional classes, etc. This differs from traditional inference engines that trigger off of IF-THEN conditions in rules. Classifiers are also sim
| Property | Value |
|---|---|
| dbo:abstract | 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 such as medical research or molecular biology. For example, the names of classes, sub-classes, properties, and restrictions on allowable values. The classifier determines if the various declarations are logically consistent and if not will highlight the specific inconsistent declarations and the inconsistencies among them. If the declarations are consistent the classifier can then assert additional information based on the input. For example, it can add information about existing classes, create additional classes, etc. This differs from traditional inference engines that trigger off of IF-THEN conditions in rules. Classifiers are also similar to theorem provers in that they take as input and produce output via First Order Logic. Classifiers originated with KL-ONE Frame languages. They are increasingly significant now that they form a part in the enabling technology of the Semantic Web. Modern classifiers leverage the Web Ontology Language. The models they analyze and generate are called ontologies. (en) |
| dbo:thumbnail | wiki-commons:Special:FilePath/Protégé_3.4.3.png?width=300 |
| dbo:wikiPageExternalLink | http://hermit-reasoner.com/ http://protege.stanford.edu/ http://owl.man.ac.uk/factplusplus/ |
| dbo:wikiPageID | 43342432 (xsd:integer) |
| dbo:wikiPageLength | 8440 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1092193172 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Protégé_(software) dbr:Inference_engine dbc:Artificial_intelligence dbc:Classification_algorithms dbr:Stanford_University dbr:Automated_theorem_proving dbr:Web_Ontology_Language dbr:Frame_language dbr:KL-ONE dbr:Knowledge_representation dbr:Artificial_intelligence dbc:Knowledge_representation dbr:Modus_ponens dbc:Ontology_languages dbr:Class_hierarchy dbr:Expert_systems dbr:Ontology_(information_science) dbr:Semantic_Web dbr:Rule-based_systems dbr:First_Order_Logic dbr:Ontologies_(computer_science) dbr:Loom_(ontology) dbr:File:Protégé_3.4.3.png |
| dbp:wikiPageUsesTemplate | dbt:Reflist |
| dcterms:subject | dbc:Artificial_intelligence dbc:Classification_algorithms dbc:Knowledge_representation dbc:Ontology_languages |
| gold:hypernym | dbr:Engine |
| rdf:type | dbo:Software |
| rdfs:comment | 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 such as medical research or molecular biology. For example, the names of classes, sub-classes, properties, and restrictions on allowable values. The classifier determines if the various declarations are logically consistent and if not will highlight the specific inconsistent declarations and the inconsistencies among them. If the declarations are consistent the classifier can then assert additional information based on the input. For example, it can add information about existing classes, create additional classes, etc. This differs from traditional inference engines that trigger off of IF-THEN conditions in rules. Classifiers are also sim (en) |
| rdfs:label | Deductive classifier (en) |
| owl:sameAs | freebase:Deductive classifier yago-res:Deductive classifier wikidata:Deductive classifier dbpedia-fa:Deductive classifier https://global.dbpedia.org/id/kbdt |
| prov:wasDerivedFrom | wikipedia-en:Deductive_classifier?oldid=1092193172&ns=0 |
| foaf:depiction | wiki-commons:Special:FilePath/Protégé_3.4.3.png |
| foaf:isPrimaryTopicOf | wikipedia-en:Deductive_classifier |
| is dbo:wikiPageDisambiguates of | dbr:Classifier |
| is dbo:wikiPageWikiLink of | dbr:Protégé_(software) dbr:Reasoning_system dbr:Glossary_of_artificial_intelligence dbr:Classifier dbr:Frame_(artificial_intelligence) dbr:KL-ONE dbr:Knowledge-based_systems dbr:Hierarchical_classification dbr:Symbolic_artificial_intelligence dbr:Expert_system dbr:Outline_of_machine_learning |
| is foaf:primaryTopic of | wikipedia-en:Deductive_classifier |
