Логическо програмиране: Разлика между версии
Изтрито е съдържание Добавено е съдържание
м Bot: Replace deprecated <source> tag and "enclose" parameter |
м Bot: Automated text replacement (-\"([а-яА-Я0-9,\.\–\-\s]*?)\" +„\1“) |
||
Ред 99:
Представата за завършеност е тясно свързана с [[определението на Маккарти]] за разсъждение по подразбиране и, че по презумпция едно твърдение е вярно, ако за него е известно, че е вярно – [[допускането на затворен свят]].
Като алтернатива на семантиката на завършване, отрицанието като провал може да се тълкува и познавателно, както в [[семантиките на стабилен модел]] на [[програмирането с редица отговори]]. В тази интерпретация <samp>not(B<sub>i</sub>)</samp> означава буквално, че <samp>B<sub>i</sub></samp> не е известно. Познавателното тълкуване има предимството, че може да се комбинира с класическото отрицание, както в
=== Представяне на знания ===
|