Förstå icke-upptäckbarhet i problemlösning

Nontractability hänvisar till oförmågan hos ett system eller ett problem att formaliseras som ett kontrakt, vilket innebär att det inte kan uttryckas som en uppsättning regler och skyldigheter som kan genomdrivas av ett datorprogram.

Med andra ord, ett problem eller ett system är anses vara olöst om det inte kan lösas eller modelleras med traditionella metoder för formell logik och automatiserat resonemang, såsom propositionslogik, predikatlogik eller modellkontroll.

Det finns flera anledningar till varför ett problem kan vara olöst:

1. Komplexitet: Problemet kan vara för komplext för att lösas med nuvarande beräkningsmetoder, eller så kan det involvera för många variabler och begränsningar för att kunna modelleras.
2. Osäkerhet: Problemet kan innebära osäkerhet, såsom ofullständig information eller oklarhet, vilket gör det svårt att formalisera och resonera kring.
3. Dynamism: Problemet kan vara dynamiskt, vilket innebär att det förändras över tiden, vilket gör det svårt att modellera och resonera om.
4. Interaktivitet: Problemet kan involvera mänsklig interaktion, till exempel i ett spel eller en förhandling, vilket gör det svårt att förutsäga resultatet och modellera deltagarnas beteende.
5. Uppkomst: Problemet kan uppvisa emergenta egenskaper, vilket innebär att helheten är mer än summan av dess delar, och det kan inte lätt förutsägas eller modelleras. Att spela ett spel som schack eller Go, där antalet möjliga drag och utfall är för stort för att kunna beräknas.
2. Modellering av beteendet hos ett komplext system, såsom ett socialt nätverk eller en ekonomi, där interaktionerna mellan komponenterna är för komplexa för att kunna modelleras korrekt.
3. Resonemang om människors avsikter och övertygelser i en förhandling eller en debatt, där deltagarnas mål och preferenser inte är transparenta och kan förändras över tid.
4. Förutsäga resultatet av ett politiskt val eller ett sportspel, där det finns för många variabler och osäkerheter för att kunna modelleras korrekt.
5. Att lösa ett problem som involverar kreativitet, som att designa en ny produkt eller en ny lösning på ett problem, där utrymmet för möjliga lösningar är för stort för att kunna utforskas uttömmande.