Alternating-time Temporal Logic (ATL) och Coalition Logic (CL) är väletablerade logiska formalismer särskilt lämpliga för att modellera spel mellan dynamiska koalitioner av agenter (t.ex. systemet och miljön). På senare tid har ATL-formalismen utvidgats för att ta hänsyn till de begränsade resurser som krävs för att en uppgift ska kunna utföras. Den resulterande logiken, som kallas Resource-Bounded ATL (RB-ATL), har presenterats i en mängd olika scenarier. Även om problemet med modellkontroll för förlängningar av ATL som handlar om resursgränser vanligtvis är obeslutbart, har ett modellkontrollförfarande för RB-ATL föreslagits. I detta dokument introducerar vi en ny formalism, kallad PRB-ATL, baserad på en annan uppfattning om resursgränser och vi visar att dess modellkontrollproblem finns kvar i EXPTIME och har en lägre gräns för PSPACE. Sedan tar vi itu med problemet med koalitionsbildning. Hur och varför agenter ska aggregera är inte en ny fråga och har under tidigare och senare år varit djupt undersökt i olika ramverk, som till exempel i algoritmisk spelteori, argumentationsinställningar och logikbaserad kunskapsrepresentation. Vi möter detta problem i fastställandet av prissatta resursbundna agenter med det mål som anges i en ATL formel. I synnerhet löser vi problemet med att fastställa minimala kostnadskoalitioner av agenter som agerar i enlighet med regler som uttrycks av en prissatt spelarena och uppfyller en given formel. Vi visar att ett sådant problem inte är svårare att beräkna än att kontrollera tillfredsställelsen av samma formel med fasta koalitioner.
På samma sätt ger REF en logik PRB-ATL (Pruded Resource-Bounded ATL) med ett decledable modellkontroll problem där den totala mängden resurser i systemet har en fast gräns.
On a Logic for Coalitional Games with Priced-Resource Agents
{'venue': 'Electron. Notes Theor. Comput. Sci.', 'journal': 'Electron. Notes Theor. Comput. Sci.', 'mag_field_of_study': ['Computer Science']}