WikiDer > Malakaviy muammo
Qualification problem
 | Bu maqola katta yoki to'liq bitta singari narsaga tayanadi manba. (2011 yil iyul) |
Yilda falsafa va A.I. (ayniqsa, bilimga asoslangan tizimlar), the malakaviy muammo ro'yxatining mumkin emasligi bilan bog'liq barchasi The old shartlar real harakatlar uchun mo'ljallangan ta'sirga ega bo'lishi uchun talab qilinadi[1][2]. Bu shunday bo'lishi mumkin menga mo'ljallangan natijaga erishishga xalaqit beradigan narsalar bilan qanday kurashish kerak. U bilan chambarchas bog'liq va qarama-qarshi ramifikatsiya tomoni ning ramka muammosi[1]. Jon Makkarti quyidagi turtki beruvchi misolni keltiradi[3] , unda qayiqchali qayiqning oddiy funktsiyasini bajarishiga xalaqit beradigan barcha holatlarni sanab o'tish mumkin emas:
- "[T] daryodan o'tish uchun qayiqdan muvaffaqiyatli foydalanish, agar qayiq eshkakli qayiq bo'lsa, eshkaklar va eshkaklar qulashi va buzilmasligi va ular bir-biriga mos kelishini talab qiladi. Boshqa ko'plab malakalarni qo'shish mumkin. eshkak eshish qayig'idan foydalanish uchun deyarli imkonsiz, ammo yana kimdir hali aytilmagan qo'shimcha talablarni o'ylab topishi mumkin. "
Adabiyotlar
- ^ a b Reyter, Raymond (2001). Amaldagi bilim: Dinamik tizimlarni belgilash va amalga oshirishning mantiqiy asoslari. Kembrij, Massachusets: The MIT Press. 20-22 betlar. ISBN 9780262527002.
- ^ Tilcher, Maykl (2001 yil sentyabr). "Malakaviy muammo: anomal modellar muammosi echimi". Sun'iy intellekt. 131 (1–2): 1–37. doi:10.1016 / S0004-3702 (01) 00131-X.
- ^ Makkarti, Jon (1980 yil aprel). "Sirkulyatsiya: monotonik bo'lmagan fikrlash shakli" (PDF). Sun'iy intellekt. 13 (1–2): 27–39. doi:10.1016/0004-3702(80)90011-9.
Shuningdek qarang
Tashqi havolalar
- Jon Makkarti "Kirish: Malaka muammosi"
 | Haqida ushbu maqola epistemologiya a naycha. Siz Vikipediyaga yordam berishingiz mumkin uni kengaytirish. |