Negation as failure (NAF, for short) is a non-monotonic inference rule in logic programming, used to derive (i.e. that is assumed not to hold) from failure to derive . Note that can be different from the statement of the logical negation of , depending on the completeness of the inference algorithm and thus also on the formal logic system. Negation as failure has been an important feature of logic programming since the earliest days of both Planner and Prolog. In Prolog, it is usually implemented using Prolog's extralogical constructs.
| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:label
| - Schwache Negation (de)
- Négation par l'échec (fr)
- Negazione come fallimento (it)
- 失敗による否定 (ja)
- Negation as failure (en)
- Negatie als falen (nl)
- Negação por falha (pt)
- Заперечення як відмова (uk)
- 否定为失败 (zh)
|
| rdfs:comment
| - 失敗による否定（しっぱいによるひてい、英: Negation as failure, NAF）は、論理プログラミングで使われる非単調論理的推論規則であり、 を導出することに失敗したとき を自動的に導出することである。Planner や Prolog の初期から論理プログラミングの重要な機能となっている。Prolog では、論理構成要素の範囲外として実装されることが多い。 (ja)
- Negação por falha, é uma regra de inferência não-monotônica na programação em lógica, usada para derivar (isto é, não se verifica) da falha em derivar . Note que pode ser diferente do enunciado (negação lógica de ), dependendo da completude do algoritmo de inferência e assim, também do sistema lógico formal. Negação por falha é uma importante caracterísitca da programação em lógica desde seu uso inicial em linguagens de programação como Planner e Prolog. Em Prolog, é normalmente implementada usando os construtos extralógicos do Prolog. (pt)
- 否定为失败是对逻辑否定做的释义，依据公式的否定为真，当且仅当这个公式不能被证明为真。否定为失败用于逻辑编程语言比如 Prolog。 在逻辑中，否定的标准解释是公式的否定为真，当且仅当这个公式为假。如果这个公式非真非假，它的否定被当作是未知。反过来，依据否定为失败的解释，这个公式的否定被当作为真。 在 Prolog 中用的否定被解释器按否定为失败处理。假如程序执行期间，解释器必须求值 NOT a(b)，它尝试证明 a(b) 为真。如果这个尝试不成功，则 NOT a(b) 被当作为真。 否定为失败与把不知道为真的东西做为假的常见缺省假定有关。这叫做封闭世界假定。 (zh)
- In der und formalen Logik findet der Positivismus in der schwachen Negation (English: negation as failure) statt. Satz hierbei ist, dass wenn ein atomarer Ausdruck durch Resolution nicht bewiesen werden kann, generell zunächst davon ausgegangen wird, dass der Ausdruck falsch ist. Die schwache Negation findet auch in der Programmiersprache PROLOG Verwendung. Pseudocode: if (¬resolute (goal p)), then (assert ¬p) (de)
- Negation as failure (NAF, for short) is a non-monotonic inference rule in logic programming, used to derive (i.e. that is assumed not to hold) from failure to derive . Note that can be different from the statement of the logical negation of , depending on the completeness of the inference algorithm and thus also on the formal logic system. Negation as failure has been an important feature of logic programming since the earliest days of both Planner and Prolog. In Prolog, it is usually implemented using Prolog's extralogical constructs. (en)
- La négation par l'échec (en anglais NAF pour negation as failure, ou NBF pour negation by failure) est une règle d'inférence non monotone en programmation logique, utilisée pour la dérivation de à partir de l'échec de la dérivation de . C'est une caractéristique importante de la programmation logique depuis les origines de et de Prolog. En Prolog, la négation par l'échec est habituellement implémentée en utilisant les fonctionnalités non logiques du langage. La négation par l'échec dérive , et . (fr)
- La negazione come fallimento (nota anche come NaF, dall'inglese negation as failure, o negation by default) è una regola di inferenza non monotòna utilizzata nella programmazione logica per derivare dal fallimento nel derivare , dove è un atomo che non si può dedurre automaticamente dal programma (poiché non è conseguenza logica dei fatti e delle regole contenute nel programma). (it)
- Negatie als falen (NAF, Engels: negation as failure) is een interpretatie van de logische negatie waarbij de negatie van een formule waar is dan en slechts dan als niet afgeleid kan worden dat de formule waar is. Negatie als falen wordt gebruikt in logische programmeertalen zoals Prolog. Met behulp van negatie als falen kanniet-monotoon geredeneerd worden. Negatie als falen is gerelateerd aan de aanname van een gesloten wereld (closed world assumption) waarbij wordt aangenomen dat alles waarvan niet bekend is dat het waar is, onwaar is. not(P) :- call(P), !, fail.not(P). (nl)
- Запере́чення як відмо́ва (англ. negation as failure, NAF) — це немонотонне правило висновування в логічному програмуванні, що застосовується для виведення (тобто припущення, що не витримується) з відмови виведення . Зауважте, що може відрізнятися від твердження логічного заперечення в залежності від повноти алгоритму висновування, і, таким чином, також і від системи формальної логіки. (uk)
|
| dcterms:subject
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| Link from a Wikipage to an external page
| |
| sameAs
| |
| dbp:wikiPageUsesTemplate
| |
| has abstract
| - In der und formalen Logik findet der Positivismus in der schwachen Negation (English: negation as failure) statt. Satz hierbei ist, dass wenn ein atomarer Ausdruck durch Resolution nicht bewiesen werden kann, generell zunächst davon ausgegangen wird, dass der Ausdruck falsch ist. Die schwache Negation findet auch in der Programmiersprache PROLOG Verwendung. Pseudocode: if (¬resolute (goal p)), then (assert ¬p) Die schwache Negation ist sinnvoll, da davon ausgegangen werden muss, dass das gesammelte Wissen stets unvollständig ist und die Resolution daher oftmals keine eindeutigen Ergebnisse liefern kann. (de)
- Negation as failure (NAF, for short) is a non-monotonic inference rule in logic programming, used to derive (i.e. that is assumed not to hold) from failure to derive . Note that can be different from the statement of the logical negation of , depending on the completeness of the inference algorithm and thus also on the formal logic system. Negation as failure has been an important feature of logic programming since the earliest days of both Planner and Prolog. In Prolog, it is usually implemented using Prolog's extralogical constructs. More generally, this kind of negation is known as weak negation, in contrast with the strong (i.e. explicit, provable) negation. (en)
- La négation par l'échec (en anglais NAF pour negation as failure, ou NBF pour negation by failure) est une règle d'inférence non monotone en programmation logique, utilisée pour la dérivation de à partir de l'échec de la dérivation de . C'est une caractéristique importante de la programmation logique depuis les origines de et de Prolog. En Prolog, la négation par l'échec est habituellement implémentée en utilisant les fonctionnalités non logiques du langage. En Prolog pur, les littéraux de négation par l'échec (littéraux négatifs) de la forme peuvent apparaître dans le corps des clauses et peuvent être utilisés pour dériver d'autres littéraux négatifs. Par exemple, si l'on considère uniquement les quatre clauses suivantes : La négation par l'échec dérive , et . (fr)
- Negatie als falen (NAF, Engels: negation as failure) is een interpretatie van de logische negatie waarbij de negatie van een formule waar is dan en slechts dan als niet afgeleid kan worden dat de formule waar is. Negatie als falen wordt gebruikt in logische programmeertalen zoals Prolog. Met behulp van negatie als falen kanniet-monotoon geredeneerd worden. Negatie als falen is gerelateerd aan de aanname van een gesloten wereld (closed world assumption) waarbij wordt aangenomen dat alles waarvan niet bekend is dat het waar is, onwaar is. In de logica is de negatie van een formule waar dan en slechts dan als de formule onwaar is. Als de formule niet waar of onwaar is, dan is de waarheid van de negatie onbekend. Bij negatie als falen zou de formule waar zijn. Wanneer de Prolog interpreter faalt om P waar te maken dan is not(P) waar (vandaar de naam negatie als falen). Als de interpreter kan afleiden dat P waar is dan is not(P) onwaar en als dit niet lukt, dan is not(P) waar (want de waarheid van P was niet afleidbaar). De 'negatie als falen'-werking van het not predicaat in Prolog zou als volgt gedefinieerd kunnen worden: not(P) :- call(P), !, fail.not(P). waarbij het call(P) predicaat een poging forceert om P waar te maken. Er wordt (in de meeste interpreters) ook wel gebruikgemaakt van \+ in plaats van not. (nl)
- La negazione come fallimento (nota anche come NaF, dall'inglese negation as failure, o negation by default) è una regola di inferenza non monotòna utilizzata nella programmazione logica per derivare dal fallimento nel derivare , dove è un atomo che non si può dedurre automaticamente dal programma (poiché non è conseguenza logica dei fatti e delle regole contenute nel programma). Il concetto di negation as failure è stato introdotto da Keith L. Clark nell'omonimo articolo del 1978. Più in generale, questo tipo di negazione è nota come negazione debole (in inglese weak negation), in contrapposizione alla negazione forte, tipica della logica classica. (it)
- 失敗による否定（しっぱいによるひてい、英: Negation as failure, NAF）は、論理プログラミングで使われる非単調論理的推論規則であり、 を導出することに失敗したとき を自動的に導出することである。Planner や Prolog の初期から論理プログラミングの重要な機能となっている。Prolog では、論理構成要素の範囲外として実装されることが多い。 (ja)
- Negação por falha, é uma regra de inferência não-monotônica na programação em lógica, usada para derivar (isto é, não se verifica) da falha em derivar . Note que pode ser diferente do enunciado (negação lógica de ), dependendo da completude do algoritmo de inferência e assim, também do sistema lógico formal. Negação por falha é uma importante caracterísitca da programação em lógica desde seu uso inicial em linguagens de programação como Planner e Prolog. Em Prolog, é normalmente implementada usando os construtos extralógicos do Prolog. (pt)
- 否定为失败是对逻辑否定做的释义，依据公式的否定为真，当且仅当这个公式不能被证明为真。否定为失败用于逻辑编程语言比如 Prolog。 在逻辑中，否定的标准解释是公式的否定为真，当且仅当这个公式为假。如果这个公式非真非假，它的否定被当作是未知。反过来，依据否定为失败的解释，这个公式的否定被当作为真。 在 Prolog 中用的否定被解释器按否定为失败处理。假如程序执行期间，解释器必须求值 NOT a(b)，它尝试证明 a(b) 为真。如果这个尝试不成功，则 NOT a(b) 被当作为真。 否定为失败与把不知道为真的东西做为假的常见缺省假定有关。这叫做封闭世界假定。 (zh)
- Запере́чення як відмо́ва (англ. negation as failure, NAF) — це немонотонне правило висновування в логічному програмуванні, що застосовується для виведення (тобто припущення, що не витримується) з відмови виведення . Зауважте, що може відрізнятися від твердження логічного заперечення в залежності від повноти алгоритму висновування, і, таким чином, також і від системи формальної логіки. Заперечення як відмова було важливою особливістю логічного програмування з найраніших днів як мови програмування Planner, так і мови програмування Пролог. У Пролозі воно зазвичай реалізується прологовими позалогічними конструкціями. (uk)
|
| prov:wasDerivedFrom
| |
| page length (characters) of wiki page
| |
| foaf:isPrimaryTopicOf
| |
| is Link from a Wikipage to another Wikipage
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)