Definite clause grammar (original) (raw)
Uma gramática de cláusulas definidas (Definite Clause Grammar - DCG) é um meio de expressar relações gramaticais. É comumente usada com a linguagem de programação Prolog.
| Property | Value |
|---|---|
| dbo:abstract | A definite clause grammar (DCG) is a way of expressing grammar, either for natural or formal languages, in a logic programming language such as Prolog. It is closely related to the concept of attribute grammars / affix grammars from which Prolog was originally developed.DCGs are usually associated with Prolog, but similar languages such as Mercury also include DCGs. They are called definite clause grammars because they represent a grammar as a set of definite clauses in first-order logic. The term DCG refers to the specific type of expression in Prolog and other similar languages; not all ways of expressing grammars using definite clauses are considered DCGs. However, all of the capabilities or properties of DCGs will be the same for any grammar that is represented with definite clauses in essentially the same way as in Prolog. The definite clauses of a DCG can be considered a set of axioms where the validity of a sentence, and the fact that it has a certain parse tree can be considered theorems that follow from these axioms. This has the advantage of making it so that recognition and parsing of expressions in a language becomes a general matter of proving statements, such as statements in a logic programming language. (en) Uma gramática de cláusulas definidas (Definite Clause Grammar - DCG) é um meio de expressar relações gramaticais. É comumente usada com a linguagem de programação Prolog. (pt) Грамматика, построенная на определённых предложениях (сокр. DC-грамматика, DCG; от англ. Definite clause grammar) — это способ построения грамматики в логических языках программирования, например, Пролог. DC-грамматика обычно ассоциируется с Прологом, но и другие языки, например, Mercury, также могут использовать DC-грамматику. Словосочетание «определенные предложения» используется в названии потому, что эта грамматика основывается на дизъюнкте Хорна в логике первого порядка. Определение DCG ссылается на специфичные типы выражений в Пролог и других подобных ему языках. Не все способы выражения грамматики, использующие определённые предложения, рассматриваются с помощью DC-грамматики. Однако все возможности и свойства DC-грамматики будут точно такими же для любой грамматики, которая использует определённые предложения точно так же, как и Пролог. Чтобы яснее представить себе, что же такое DC-грамматики, можно провести следующее гипотетическое сопоставление: множество определённых предложений можно рассмотреть как множество аксиом, а корректность входной строки и существование для неё дерева разбора — как теорему, доказательство которой строится на этих аксиомах. Такое представление имеет преимущество, так как распознавание и разбор выражений языка превращается в доказательство выражений, точно так же, как это делается в логических языках программирования. (ru) Грама́тика ви́значених тве́рджень (англ. Definite Clause Grammar (DCG), рос. DC-грамматика) — це спосіб представлення граматики природних або формальних мов у логічних мовах програмування, таких як Пролог. Він тісно пов’язаний з концепцією / , з якої Пролог і було спочатку розроблено. Граматики визначених тверджень зазвичай асоціюються із Прологом, але їх також включають і схожі мови, такі як . Вони називаються граматиками визначених тверджень, оскільки представляють граматику множиною визначених тверджень у логіці першого порядку. Термін «граматики визначених тверджень» відноситься до певного типу виразу в Пролозі та інших подібних мовах; не всі способи вираження граматик з використанням визначених тверджень вважаються граматиками визначених тверджень. Тим не менш, всі можливості та властивості граматик визначених тверджень будуть однаковими для будь-якої граматики, що представлена визначеними твердженнями, так само по суті, як і в Пролозі. Визначені твердження таких граматик можуть розглядатися як набір аксіом, де справедливість вхідної стрічки, а також факт того, що вона має певне дерево синтаксичного аналізу, можуть розглядатися як теореми, що випливають з цих аксіом. Це має таку перевагу, що розпізнавання та аналіз виразів у мові перетворюється на доведення тверджень, таких як твердження логічної мови програмування. (uk) |
| dbo:thumbnail | wiki-commons:Special:FilePath/The_bat_eats_a_cat_tree.png?width=300 |
| dbo:wikiPageExternalLink | http://cs.union.edu/~striegnk/courses/nlp-with-prolog/html/node31.html http://cgi.di.uoa.gr/~takis/pereira-warren.pdf http://www.coli.uni-saarland.de/projects/milca/courses/coal/xhtml/CHA_CFG.xhtml https://web.archive.org/web/20090503181751/http:/www.cotilliongroup.com/arts/DCG.html |
| dbo:wikiPageID | 3338671 (xsd:integer) |
| dbo:wikiPageLength | 14980 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1066861534 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Prolog dbr:Natural_language_processing dbr:Robert_Kowalski dbr:David_H._D._Warren dbr:Context-free_grammar dbr:Context-sensitive_grammar dbr:Computational_linguistics dbr:Feature_(linguistics) dbr:Phrase_structure_grammar dbr:Alain_Colmerauer dbr:First-order_logic dbr:Difference_list dbr:Formal_language dbr:Production_(computer_science) dbr:Attribute_grammar dbc:Logic_programming dbc:Formal_languages dbc:Parsing dbr:Affix_grammar dbr:Chomsky_hierarchy dbr:Syntactic_sugar dbr:Mercury_(programming_language) dbr:Natural_language dbr:Definite_clause dbr:File:The_bat_eats_a_cat_tree.png dbr:Stuart_M._Shieber |
| dbp:wikiPageUsesTemplate | dbt:Metasyntax dbt:Citation_needed dbt:Cn dbt:Mvar dbt:Reflist dbt:Wikibooks dbt:Parsing_algorithms |
| dcterms:subject | dbc:Logic_programming dbc:Formal_languages dbc:Parsing |
| gold:hypernym | dbr:Way |
| rdf:type | yago:Abstraction100002137 yago:Communication100033020 yago:Language106282651 yago:WikicatFormalLanguages |
| rdfs:comment | Uma gramática de cláusulas definidas (Definite Clause Grammar - DCG) é um meio de expressar relações gramaticais. É comumente usada com a linguagem de programação Prolog. (pt) A definite clause grammar (DCG) is a way of expressing grammar, either for natural or formal languages, in a logic programming language such as Prolog. It is closely related to the concept of attribute grammars / affix grammars from which Prolog was originally developed.DCGs are usually associated with Prolog, but similar languages such as Mercury also include DCGs. They are called definite clause grammars because they represent a grammar as a set of definite clauses in first-order logic. (en) Грамматика, построенная на определённых предложениях (сокр. DC-грамматика, DCG; от англ. Definite clause grammar) — это способ построения грамматики в логических языках программирования, например, Пролог. DC-грамматика обычно ассоциируется с Прологом, но и другие языки, например, Mercury, также могут использовать DC-грамматику. Словосочетание «определенные предложения» используется в названии потому, что эта грамматика основывается на дизъюнкте Хорна в логике первого порядка. (ru) Грама́тика ви́значених тве́рджень (англ. Definite Clause Grammar (DCG), рос. DC-грамматика) — це спосіб представлення граматики природних або формальних мов у логічних мовах програмування, таких як Пролог. Він тісно пов’язаний з концепцією / , з якої Пролог і було спочатку розроблено. Граматики визначених тверджень зазвичай асоціюються із Прологом, але їх також включають і схожі мови, такі як . Вони називаються граматиками визначених тверджень, оскільки представляють граматику множиною визначених тверджень у логіці першого порядку. (uk) |
| rdfs:label | Definite clause grammar (en) Gramática de cláusulas definidas (pt) DC-грамматика (ru) Граматика визначених тверджень (uk) |
| owl:sameAs | freebase:Definite clause grammar yago-res:Definite clause grammar wikidata:Definite clause grammar dbpedia-fa:Definite clause grammar dbpedia-pt:Definite clause grammar dbpedia-ru:Definite clause grammar dbpedia-uk:Definite clause grammar https://global.dbpedia.org/id/Zi31 |
| prov:wasDerivedFrom | wikipedia-en:Definite_clause_grammar?oldid=1066861534&ns=0 |
| foaf:depiction | wiki-commons:Special:FilePath/The_bat_eats_a_cat_tree.png |
| foaf:isPrimaryTopicOf | wikipedia-en:Definite_clause_grammar |
| is dbo:wikiPageDisambiguates of | dbr:DCG |
| is dbo:wikiPageRedirects of | dbr:Definite_clause_grammars dbr:Context-sensitive_definite_clause_grammars |
| is dbo:wikiPageWikiLink of | dbr:Prolog dbr:Parsing dbr:Index_of_philosophy_articles_(D–H) dbr:SNOBOL dbr:SWI-Prolog dbr:GNU_Prolog dbr:Context-sensitive_grammar dbr:Logtalk dbr:Backus–Naur_form dbr:DCG dbr:Prolog_syntax_and_semantics dbr:Grammar-oriented_programming dbr:Definite_clause_grammars dbr:Referential_transparency dbr:Top-down_parsing dbr:Context-sensitive_definite_clause_grammars dbr:Outline_of_natural_language_processing |
| is foaf:primaryTopic of | wikipedia-en:Definite_clause_grammar |
