SNePS (original) (raw)
SNePS — это система представления знаний, рассуждения и действия (англ. KRRA), разрабатываемая под руководством Стюарта Шапиро в Государственном университете Буффало в Нью-Йорке. SNePS реализована как платформенно-независимая система, написана на Common Lisp и распространяется с открытыми исходными кодами под лицензией University at Buffalo Public License. SNePS одновременно основана на логической, фреймовой и сетевой моделях представления знаний. Она использует модель знаний, то есть её база знаний состоит из набора утверждений о различных предметах и явлениях.
| Property | Value |
|---|---|
| dbo:abstract | SNePS is a knowledge representation, reasoning, and acting (KRRA) system developed and maintained by Stuart C. Shapiro and colleagues at the State University of New York at Buffalo. SNePS is simultaneously a logic-based, frame-based, and network-based KRRA system. It uses an assertional model of knowledge, in that a SNePS knowledge base (KB) consists of a set of assertions (propositions) about various entities. Its intended model is of an intensional domain of mental entities—the entities conceived of by some agent, and the propositions believed by it. The intensionality is primarily accomplished by the absence of a built-in equality operator, since any two syntactically different terms might have slightly different Fregean senses. SNePS has three styles of inference: formula-based, derived from its logic-based personality; slot-based, derived from its frame-based personality; and path-based, derived from its network-based personality. However, all three are integrated, operating together. SNePS may be used as a stand-alone KRR system. It has also been used, along with its integrated acting component, to implement the mind of intelligent agents (cognitive robots), in accord with the GLAIR agent architecture (a layered cognitive architecture). The SNePS Research Group often calls its agents Cassie. (en) SNePS — это система представления знаний, рассуждения и действия (англ. KRRA), разрабатываемая под руководством Стюарта Шапиро в Государственном университете Буффало в Нью-Йорке. SNePS реализована как платформенно-независимая система, написана на Common Lisp и распространяется с открытыми исходными кодами под лицензией University at Buffalo Public License. SNePS одновременно основана на логической, фреймовой и сетевой моделях представления знаний. Она использует модель знаний, то есть её база знаний состоит из набора утверждений о различных предметах и явлениях. (ru) |
| dbo:wikiPageExternalLink | http://www.cse.buffalo.edu/sneps/ http://www.cse.buffalo.edu/sneps/Bibliography/ http://www.cse.buffalo.edu/sneps/Downloads/ http://www.cse.buffalo.edu/~rapaport/snepsrdgs.html |
| dbo:wikiPageID | 6216524 (xsd:integer) |
| dbo:wikiPageLength | 7753 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1012340998 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Belief_revision dbr:Rules_of_inference dbr:Natural_language_processing dbr:Inference_engine dbr:Intelligent_agent dbr:Intension dbc:Artificial_intelligence dbc:Common_Lisp_(programming_language)_software dbr:Common_Lisp dbr:Cognitive_robotics dbr:Morphology_(linguistics) dbr:Logic dbr:Commonsense_reasoning dbr:Action_(philosophy) dbr:Agent_architecture dbr:Paraconsistent_logic dbc:Cognitive_architecture dbr:First-order_logic dbr:Frame_language dbr:Logical_connective dbr:Knowledge_representation dbr:Quantifier_(logic) dbr:Reification_(knowledge_representation) dbr:Relevance_logic dbr:Sense_and_reference dbc:Knowledge_representation_software dbr:Augmented_transition_network dbr:Reasoning dbr:Natural_language_understanding dbr:Semantic_network dbr:University_at_Buffalo,_The_State_University_of_New_York |
| dbp:wikiPageUsesTemplate | dbt:Authority_control |
| dcterms:subject | dbc:Artificial_intelligence dbc:Common_Lisp_(programming_language)_software dbc:Cognitive_architecture dbc:Knowledge_representation_software |
| gold:hypernym | dbr:Representation |
| rdf:type | owl:Thing |
| rdfs:comment | SNePS — это система представления знаний, рассуждения и действия (англ. KRRA), разрабатываемая под руководством Стюарта Шапиро в Государственном университете Буффало в Нью-Йорке. SNePS реализована как платформенно-независимая система, написана на Common Lisp и распространяется с открытыми исходными кодами под лицензией University at Buffalo Public License. SNePS одновременно основана на логической, фреймовой и сетевой моделях представления знаний. Она использует модель знаний, то есть её база знаний состоит из набора утверждений о различных предметах и явлениях. (ru) SNePS is a knowledge representation, reasoning, and acting (KRRA) system developed and maintained by Stuart C. Shapiro and colleagues at the State University of New York at Buffalo. SNePS is simultaneously a logic-based, frame-based, and network-based KRRA system. It uses an assertional model of knowledge, in that a SNePS knowledge base (KB) consists of a set of assertions (propositions) about various entities. Its intended model is of an intensional domain of mental entities—the entities conceived of by some agent, and the propositions believed by it. The intensionality is primarily accomplished by the absence of a built-in equality operator, since any two syntactically different terms might have slightly different Fregean senses. (en) |
| rdfs:label | SNePS (en) SNePS (ru) |
| owl:sameAs | freebase:SNePS wikidata:SNePS dbpedia-ru:SNePS https://global.dbpedia.org/id/3jr97 |
| prov:wasDerivedFrom | wikipedia-en:SNePS?oldid=1012340998&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:SNePS |
| is dbo:wikiPageDisambiguates of | dbr:Snep_(disambiguation) |
| is dbo:wikiPageWikiLink of | dbr:List_of_artificial_intelligence_projects dbr:Index_of_robotics_articles dbr:Snep_(disambiguation) dbr:Semantic_network |
| is foaf:primaryTopic of | wikipedia-en:SNePS |