| Property |
Value |
| dbo:abstract
|
- Une logique non-monotone est une logique formelle dans laquelle la base de faits inférés peut ne pas croître et même parfois décroître. En effet, la plupart des logiques formelles sont monotones, ce qui signifie qu'ajouter un fait ou un axiome à un ensemble de faits ou d'axiomes n'enlève pas de faits à cet ensemble. Autrement dit, cela signifie qu'ajouter une nouvelle connaissance à un système ne fera qu'augmenter les faits inférés dans ce système. Parce qu'elles interdisent la remise en cause de ce qui est su et déduit, les logiques monotones ne peuvent pas faire de la révision de connaissances. La possibilité de réviser une croyance amène à la logique doxastique, contrairement à la logique épistémique, où les connaissances étant nécessairement vraies, ne peuvent être révisées.[pas clair] (fr)
- Une logique non-monotone est une logique formelle dans laquelle la base de faits inférés peut ne pas croître et même parfois décroître. En effet, la plupart des logiques formelles sont monotones, ce qui signifie qu'ajouter un fait ou un axiome à un ensemble de faits ou d'axiomes n'enlève pas de faits à cet ensemble. Autrement dit, cela signifie qu'ajouter une nouvelle connaissance à un système ne fera qu'augmenter les faits inférés dans ce système. Parce qu'elles interdisent la remise en cause de ce qui est su et déduit, les logiques monotones ne peuvent pas faire de la révision de connaissances. La possibilité de réviser une croyance amène à la logique doxastique, contrairement à la logique épistémique, où les connaissances étant nécessairement vraies, ne peuvent être révisées.[pas clair] (fr)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 1697 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdfs:comment
|
- Une logique non-monotone est une logique formelle dans laquelle la base de faits inférés peut ne pas croître et même parfois décroître. En effet, la plupart des logiques formelles sont monotones, ce qui signifie qu'ajouter un fait ou un axiome à un ensemble de faits ou d'axiomes n'enlève pas de faits à cet ensemble. Autrement dit, cela signifie qu'ajouter une nouvelle connaissance à un système ne fera qu'augmenter les faits inférés dans ce système. Parce qu'elles interdisent la remise en cause de ce qui est su et déduit, les logiques monotones ne peuvent pas faire de la révision de connaissances. (fr)
- Une logique non-monotone est une logique formelle dans laquelle la base de faits inférés peut ne pas croître et même parfois décroître. En effet, la plupart des logiques formelles sont monotones, ce qui signifie qu'ajouter un fait ou un axiome à un ensemble de faits ou d'axiomes n'enlève pas de faits à cet ensemble. Autrement dit, cela signifie qu'ajouter une nouvelle connaissance à un système ne fera qu'augmenter les faits inférés dans ce système. Parce qu'elles interdisent la remise en cause de ce qui est su et déduit, les logiques monotones ne peuvent pas faire de la révision de connaissances. (fr)
|
| rdfs:label
|
- Logique non monotone (fr)
- Niet-monotone logica (nl)
- Немонотонна логіка (uk)
- المنطق غير الرتيب (ar)
- 非単調論理 (ja)
- Logique non monotone (fr)
- Niet-monotone logica (nl)
- Немонотонна логіка (uk)
- المنطق غير الرتيب (ar)
- 非単調論理 (ja)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
