Abstract-Mode-directed ingivande uppgår till att använda tabelllägen för att kontrollera vilka argument som används vid variantkontroll av delmål och hur svar läggs fram. Ett läge kan vara min, max, + (ingång), -(utgång), eller nt (icke- bordad). Även om den traditionella tabell-all strategi för att lägga fram är bra för att hitta alla svar, mode-directed ingivande är väl lämpad för dynamiska programmeringsproblem som kräver selektiva svar. I detta dokument presenterar vi tre tillämpningsexempel på mode-directed framläggande, nämligen (1) hydraulisk systemplanering, ett dynamiskt programmeringsproblem, (2) Viterbi algoritmen i PRISM, en probabilistisk logik resonemang och lärande system, och (3) begränsning kontroll i att utvärdera Svar Set program (ASP). För Viterbi-applikationen spelar inslaget att möjliggöra en kardinalitetsgräns i en tabelllägesdeklaration en viktig roll. För ett PRISM-program och en uppsättning data kan förklaringarna vara för stora för att helt lagras och kardinalitetsgränsen tillåter Viterbi-slutsats baserad på en undergrupp av förklaringar. Läge nt, som anger ett argument som kan delta i beräkningen av en inlämnad predikat men aldrig läggs fram antingen under mål eller svar ingivande, är användbart i begränsning kontroll för Hamilton cykel problem kodas som en ASP. Dessa exempel visar nyttan med modedirected ingivande.
B-Prolog utökar också den mode-directed ingivande deklarationen till att omfatta en kardinalitetsgräns som gör det möjligt att definiera det maximala antalet svar som ska lagras i bordsutrymmet REF.
Mode-Directed Tabling for Dynamic Programming, Machine Learning, and Constraint Solving
{'venue': '2010 22nd IEEE International Conference on Tools with Artificial Intelligence', 'journal': '2010 22nd IEEE International Conference on Tools with Artificial Intelligence', 'mag_field_of_study': ['Computer Science']}