Non-monotonic logic
http://dbpedia.org/resource/Non-monotonic_logic
非単調論理（ひたんちょうろんり、英: Non-monotonic logic）とは、帰結関係が単調でない論理を意味する。多くの形式論理は単調な帰結関係であり、理論に論理式を追加しても帰結は還元されない。直観的に言えば、単調性とは新たな知識の学習によって既に存在する知識が減ることがないことを意味する。、アブダクション、知識に関する推論、などの推論は、単調論理では行えない。
rdf:langString
المنطق غير الرتيب هو المنطق الرسمي الذي لا تكون العلاقة الاستنتاجية فيه رتيبة. بمعنى آخر، تم تصميم المنطق غير الرتيب لالتقاط وتمثيل الاستدلالات غير القابلة للتنفيذ (راجع الاستدلال غير قابل للتنفيذ ) ،نوع من الاستدلال حيث يستخلص المنطقون استنتاجات مبدئية، مما يمكّن المنطقين (المفكرين) من التراجع عن استنتاجاتهم بناءاً على مزيد من الأدلة. معظم المنطق الرسمي المدروس له علاقة استنتاجية رتيبة، مما يعني أن إضافة صيغة إلى نظرية لا ينتج عنها أبداً تشذيب لمجموعة استنتاجاتها. بديهياً، تشير الرتابة إلى أن تعلم جزء جديد من المعرفة لا يمكن أن يقلل من مجموعة ما هو معروف .لا يمكن للمنطق الرتيب التعامل مع مختلف المهام المنطقية مثل التفكير الافتراضي (يمكن استخلاص الاستنتاجات فقط بسبب عدم وجود دليل على عكس ذلك) ، والتفكير الاستباقي (ولا يمكن استخلاص الاستنتاجات إلا بسبب عدم وجود أدلة على العكس)، وبعض التوجه
rdf:langString
En klasika logiko la rezonanta agento estas ideale racia kaj "scianta", malsame al reala komuna rezonanto kiu devas ĉiam fronti laŭgradan konon kaj akiron de scio, havi nekompletajn konitaĵojn kaj dume rezoni subaze de supozoj. Do, tiu ĉi rezonanta agento atingas konkludojn kiuj dum kelka tempo ne estas definitivaj. En klasika logiko la aldono de novaj konitaĵoj, aŭ datenoj, ne ŝanĝas tiel draste la konkludojn, kaj pro tia karaktero de ni kvalifikas ĝin kiel Monotona logiko.
rdf:langString
Una lógica no monotónica, o lógica no monótona, es un sistema lógico cuya relación de consecuencia lógica es no monotónica. La mayoría de los sistemas lógicos tienen una relación de consecuencia monotónica, lo que quiere decir que el agregar una fórmula a una teoría nunca se produce una reducción de su conjunto de consecuencias. Intuitivamente, la monotonicidad indica que el agregar nuevos conocimientos no reduce el conjunto de las cosas conocidas. Simbólicamente: Si , entonces Donde A es una fórmula cualquiera y y son conjuntos de fórmulas cualesquiera.
rdf:langString
A non-monotonic logic is a formal logic whose conclusion relation is not monotonic. In other words, non-monotonic logics are devised to capture and represent defeasible inferences (cf. defeasible reasoning), i.e., a kind of inference in which reasoners draw tentative conclusions, enabling reasoners to retract their conclusion(s) based on further evidence.Most studied formal logics have a monotonic entailment relation, meaning that adding a formula to a theory never produces a pruning of its set of conclusions. Intuitively, monotonicity indicates that learning a new piece of knowledge cannot reduce the set of what is known. A monotonic logic cannot handle various reasoning tasks such as reasoning by default (conclusions may be derived only because of lack of evidence of the contrary), abduc
rdf:langString
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.
rdf:langString
In de logica is een niet-monotone logica een logisch systeem waarin de logische gevolgtrekking niet monotoon is. In een niet-monotone logica kan het toevoegen van nieuwe kennis ervoor zorgen dat conclusies die men eerder kon trekken niet meer geldig zijn. Formeel gezegd kan het toevoegen van kennis leiden tot een verkleining van de verzameling proposities die men kan afleiden uit de beschikbare kennis. In een monotone logica geldt dat als A een gevolg is van de verzameling Γ dan is A ook een gevolg van elke superverzameling van Γ.
rdf:langString
Uma lógica não monotônica é uma lógica formal cuja relação de consequência não é monotônica. A maioria das lógicas formais estudadas tem uma relação de consequência monotônica, ou seja, adicionar uma fórmula a uma teoria nunca produz uma redução de seu conjunto de consequências. Intuitivamente, a monotonicidade indica que aprender uma nova fração de conhecimento não pode reduzir o conjunto do que é conhecido. Uma lógica monotônica não pode lidar com várias tarefas, tais como inferência por padrão (consequências podem ser derivadas somente pela falta de evidencia do contrário), inferência por abdução (consequências só são deduzidas como afirmações cuja veracidade é provável), algumas abordagens importantes à inferência sobre o conhecimento (a ignorância de uma consequência deve ser retraída
rdf:langString
非单调逻辑（英語：Non-monotonic logic）是（在前提的集合和单一的句子之间的）推论关系不是单调递增的形式逻辑。 与（经典逻辑）相对，非单调推理是指知识库加入新知识后，原有的推论会被推翻的逻辑。也就是说，知识库的推论不随着知识增长而增长，即非单调递增。这时，必须使用某种正确的维持机制，确保推理继续进行。因此，非单调推理多是在知识不完全的情况下发生的。 多数形式逻辑都有单调性的推论关系，就是说，如果一个句子可以从前提的集合中推理出来，则它也可以从把这个前提集合作为子集包含的任何前提集合中推理出来，这意味着向理论增加一个公式永不引起它的推论集合的减小。在直觉上，单调性指示出学习一些新知识不能减小已知知识的集合。单调逻辑不能处理各种推理任务比如缺省推理（事实可以是已知的，只是因为缺乏反面的证据）、溯因推理（事实只按最合适的解释演绎出来）、关于知识的推理（在事实变成已知的时候，对一个事实的无知必须被撤消），和信念修正（新知识可以和旧信念矛盾。） 目前对于非单调推理的研究一般有两种途径：
rdf:langString
Немонотонна логіка — це математична логіка, чия логічна імплікація відношень не є монотонною. Іншими словами, немонотонна логіка розроблена для охоплення та представлення , тобто такого висновку, в якому міркування приходять до гіпотетичних висновків, що дає змогу обмежити міркування висновками ґрунтуючись на подальших доказах.Більшість формальних логік мають монотонне відношення наслідків, що означає, що додавання формули до теорії ніколи не призводить до зменшення її множини наслідків. Інтуїтивно, монотонність вказує на те, що вивчення нового знання не може зменшити набір відомостей. Монотонна логіка не може впоратись з різноманітними міркуваннями, такими як алгебраїчна логіка (наслідки можуть бути виведені лише через відсутність доказів протилежного), пояснення (наслідки виводяться ви
rdf:langString
rdf:langString
المنطق غير الرتيب
rdf:langString
Nemonotona logiko
rdf:langString
Lógica no monotónica
rdf:langString
Logique non monotone
rdf:langString
非単調論理
rdf:langString
Non-monotonic logic
rdf:langString
Niet-monotone logica
rdf:langString
Lógica não monotônica
rdf:langString
Немонотонна логіка
rdf:langString
非单调逻辑
xsd:integer
341086
xsd:integer
1118767353
rdf:langString
المنطق غير الرتيب هو المنطق الرسمي الذي لا تكون العلاقة الاستنتاجية فيه رتيبة. بمعنى آخر، تم تصميم المنطق غير الرتيب لالتقاط وتمثيل الاستدلالات غير القابلة للتنفيذ (راجع الاستدلال غير قابل للتنفيذ ) ،نوع من الاستدلال حيث يستخلص المنطقون استنتاجات مبدئية، مما يمكّن المنطقين (المفكرين) من التراجع عن استنتاجاتهم بناءاً على مزيد من الأدلة. معظم المنطق الرسمي المدروس له علاقة استنتاجية رتيبة، مما يعني أن إضافة صيغة إلى نظرية لا ينتج عنها أبداً تشذيب لمجموعة استنتاجاتها. بديهياً، تشير الرتابة إلى أن تعلم جزء جديد من المعرفة لا يمكن أن يقلل من مجموعة ما هو معروف .لا يمكن للمنطق الرتيب التعامل مع مختلف المهام المنطقية مثل التفكير الافتراضي (يمكن استخلاص الاستنتاجات فقط بسبب عدم وجود دليل على عكس ذلك) ، والتفكير الاستباقي (ولا يمكن استخلاص الاستنتاجات إلا بسبب عدم وجود أدلة على العكس)، وبعض التوجهات المهمة للاستدلال حول المعرفة (يجب التراجع عن الجهل بالاستنتاج عندما يصبح الاستنتاج معروفا ) ، كذلك، مراجعة الاعتقاد ( المعرفة الجديدة قد تتناقض مع المعتقدات القديمة ).
rdf:langString
En klasika logiko la rezonanta agento estas ideale racia kaj "scianta", malsame al reala komuna rezonanto kiu devas ĉiam fronti laŭgradan konon kaj akiron de scio, havi nekompletajn konitaĵojn kaj dume rezoni subaze de supozoj. Do, tiu ĉi rezonanta agento atingas konkludojn kiuj dum kelka tempo ne estas definitivaj. En klasika logiko la aldono de novaj konitaĵoj, aŭ datenoj, ne ŝanĝas tiel draste la konkludojn, kaj pro tia karaktero de ni kvalifikas ĝin kiel Monotona logiko. Do, se ni volas pli fidele modeligi la rezonadon de reala rezonanto, ekzemple por pli bone kompreni tian procezon, aŭ por realigi similan procezon en Artefarita intelekto, necesas Nemonotona logiko, taŭga por pli fidela formaligo de tia rezonado kiu enhavas malkonfesajn paŝojn.
rdf:langString
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]
rdf:langString
Una lógica no monotónica, o lógica no monótona, es un sistema lógico cuya relación de consecuencia lógica es no monotónica. La mayoría de los sistemas lógicos tienen una relación de consecuencia monotónica, lo que quiere decir que el agregar una fórmula a una teoría nunca se produce una reducción de su conjunto de consecuencias. Intuitivamente, la monotonicidad indica que el agregar nuevos conocimientos no reduce el conjunto de las cosas conocidas. Simbólicamente: Si , entonces Donde A es una fórmula cualquiera y y son conjuntos de fórmulas cualesquiera. Una lógica monotónica no puede manejar varios tipos de razonamiento tales como el razonamiento por defecto (los hechos pueden ser conocidos únicamente por la incertidumbre o carencia de evidencia de lo contrario), el razonamiento abductivo (los hechos sólo se deducen en calidad de explicaciones probables), el razonamiento acerca del conocimiento (la ignorancia de un hecho debe ser retractada cuando el hecho sea conocido), y la revisión de creencias (nuevo conocimiento puede contradecir creencias anteriores, obligando a revisarlas). Esta limitación de la lógica monótona es un inconveniente en la inteligencia artificial, por la gran cantidad de problemas que tienen un carácter no monótono.
rdf:langString
A non-monotonic logic is a formal logic whose conclusion relation is not monotonic. In other words, non-monotonic logics are devised to capture and represent defeasible inferences (cf. defeasible reasoning), i.e., a kind of inference in which reasoners draw tentative conclusions, enabling reasoners to retract their conclusion(s) based on further evidence.Most studied formal logics have a monotonic entailment relation, meaning that adding a formula to a theory never produces a pruning of its set of conclusions. Intuitively, monotonicity indicates that learning a new piece of knowledge cannot reduce the set of what is known. A monotonic logic cannot handle various reasoning tasks such as reasoning by default (conclusions may be derived only because of lack of evidence of the contrary), abductive reasoning (conclusions are only deduced as most likely explanations), some important approaches to reasoning about knowledge (the ignorance of a conclusion must be retracted when the conclusion becomes known), and similarly, belief revision (new knowledge may contradict old beliefs).
rdf:langString
非単調論理（ひたんちょうろんり、英: Non-monotonic logic）とは、帰結関係が単調でない論理を意味する。多くの形式論理は単調な帰結関係であり、理論に論理式を追加しても帰結は還元されない。直観的に言えば、単調性とは新たな知識の学習によって既に存在する知識が減ることがないことを意味する。、アブダクション、知識に関する推論、などの推論は、単調論理では行えない。
rdf:langString
In de logica is een niet-monotone logica een logisch systeem waarin de logische gevolgtrekking niet monotoon is. In een niet-monotone logica kan het toevoegen van nieuwe kennis ervoor zorgen dat conclusies die men eerder kon trekken niet meer geldig zijn. Formeel gezegd kan het toevoegen van kennis leiden tot een verkleining van de verzameling proposities die men kan afleiden uit de beschikbare kennis. In een monotone logica geldt dat als A een gevolg is van de verzameling Γ dan is A ook een gevolg van elke superverzameling van Γ. Voorbeelden van niet-monotone logica's zijn defaultlogica, abductief redeneren en . Kenmerkend voor deze logica's is dat de conclusie met waarschijnlijkheid mag, en niet noodzakelijkerwijs uit de premissen behoeft te volgen, zoals wel het geval is in bijvoorbeeld de syllogistiek. Noodzakelijke gevolgtrekking is niet mogelijk doordat de beschikbare kennis onvolledig kan zijn en daardoor kunnen conclusies niet met zekerheid getrokken worden. In niet-monotone logica's is een getrokken conclusie geldig zolang er geen nieuwe kennis bekend wordt die de conclusie ongeldig maakt. In syllogistiek geldt dit niet: daarin kan het toevoegen van nieuwe premissen niet conclusies die voorheen geldig waren ongeldig maken.
rdf:langString
Uma lógica não monotônica é uma lógica formal cuja relação de consequência não é monotônica. A maioria das lógicas formais estudadas tem uma relação de consequência monotônica, ou seja, adicionar uma fórmula a uma teoria nunca produz uma redução de seu conjunto de consequências. Intuitivamente, a monotonicidade indica que aprender uma nova fração de conhecimento não pode reduzir o conjunto do que é conhecido. Uma lógica monotônica não pode lidar com várias tarefas, tais como inferência por padrão (consequências podem ser derivadas somente pela falta de evidencia do contrário), inferência por abdução (consequências só são deduzidas como afirmações cuja veracidade é provável), algumas abordagens importantes à inferência sobre o conhecimento (a ignorância de uma consequência deve ser retraída quando a consequência passa a ser conhecida), e, analogamente, revisão de crenças (um novo conhecimento pode contradizer velhas crenças).
rdf:langString
非单调逻辑（英語：Non-monotonic logic）是（在前提的集合和单一的句子之间的）推论关系不是单调递增的形式逻辑。 与（经典逻辑）相对，非单调推理是指知识库加入新知识后，原有的推论会被推翻的逻辑。也就是说，知识库的推论不随着知识增长而增长，即非单调递增。这时，必须使用某种正确的维持机制，确保推理继续进行。因此，非单调推理多是在知识不完全的情况下发生的。 多数形式逻辑都有单调性的推论关系，就是说，如果一个句子可以从前提的集合中推理出来，则它也可以从把这个前提集合作为子集包含的任何前提集合中推理出来，这意味着向理论增加一个公式永不引起它的推论集合的减小。在直觉上，单调性指示出学习一些新知识不能减小已知知识的集合。单调逻辑不能处理各种推理任务比如缺省推理（事实可以是已知的，只是因为缺乏反面的证据）、溯因推理（事实只按最合适的解释演绎出来）、关于知识的推理（在事实变成已知的时候，对一个事实的无知必须被撤消），和信念修正（新知识可以和旧信念矛盾。） 目前对于非单调推理的研究一般有两种途径：
* 一种方法认为经典逻辑对于研究非单调推理明显有不足的地方，因此最好是建立新的语义机制跟逻辑系统。在此基础上进行非单调推理的研究以解决一些问题，例如Reiter的缺省逻辑和Moore的自动认识逻辑，还有（英語：extended logic program）。
* 另一种观点与此正好相反，坚持这种观点的人认为，在经典逻辑框架下研究非单调推理是完全可行的，关键是怎么使用经典逻辑。例如封闭世界假设，McCarthy的限定推理（Circumscription）和Poole提出的假设推理（default reasoning）。
rdf:langString
Немонотонна логіка — це математична логіка, чия логічна імплікація відношень не є монотонною. Іншими словами, немонотонна логіка розроблена для охоплення та представлення , тобто такого висновку, в якому міркування приходять до гіпотетичних висновків, що дає змогу обмежити міркування висновками ґрунтуючись на подальших доказах.Більшість формальних логік мають монотонне відношення наслідків, що означає, що додавання формули до теорії ніколи не призводить до зменшення її множини наслідків. Інтуїтивно, монотонність вказує на те, що вивчення нового знання не може зменшити набір відомостей. Монотонна логіка не може впоратись з різноманітними міркуваннями, такими як алгебраїчна логіка (наслідки можуть бути виведені лише через відсутність доказів протилежного), пояснення (наслідки виводяться виключно як найбільш ймовірні пояснення), деякі важливі підходи до міркування про знання (незнання наслідку повинно бути відмінено, коли наслідок стає відомим), і аналогічно конгрегації доктрини віри (нові знання можуть суперечити старим переконанням).
xsd:nonNegativeInteger
7333