?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.relation=https%3A%2F%2Fpure.iiasa.ac.at%2Fid%2Feprint%2F4891%2F&rft.title=Reasonable+Goals&rft.creator=Ekenberg%2C+L.&rft.description=Assume+that+a+number+of+autonomous+agents+are+going+to+act+in+such+a+way+that+their+respective+goal+states+constitute+a+global+plan.++A+main+question+that+arises+in+this+situation+is+whether+there+is+such+a+plan+at+all%2C+i.e.+whether+a+solvable+conflict+prevails.+In+some+sense.+this+means+that+the+set+of+common+goals+is+non-empty.+Furthermore%2C+if+the+agents+are+allowed+to+act+in+accordance+with+the+result+of+some+decision+process%2C+a+situation+may+occur+where+subsets+of+their+possible+goal+sets+are+consistent%2C+but+in+actual+fact+the+individual+agents+may+nevertheless+always+terminate+in+states+that+are+in+conflict.+We+present+a+formal+framework+for+the+analysis+of+conflicts+in+sets+of+autonomous+agents+restricted+in+the+sense+that+they+can+be+described+in+a+(first-order)+language+and+by+a+transaction+mechanism.+This+is+also+enriched+by+processes+for+evaluating+decision+situations+given+imprecise+background+information.+The+agent+specifications+are+analysed+with+respect+to+a+concept+of+consistency+that+requires+the+formulae+of+one+specification+together+with+a+set+of+correspondence+assertions+to+not+restrict+the+models+of+another+specification.+i.e.+the+agent+system+does+not+essentially+restrict+the+individual+agents.+The+main+emphasis+is+on+the+specifications+being+compatible+with+respect+to+reasonable+probable+states.+i.e.+states+for+which+it+is+reasonable+to+assume+that+they+eventually+will+be+reached.&rft.publisher=WP-96-136&rft.date=1996-11&rft.type=Monograph&rft.type=NonPeerReviewed&rft.format=text&rft.language=en&rft.identifier=https%3A%2F%2Fpure.iiasa.ac.at%2Fid%2Feprint%2F4891%2F1%2FWP-96-136.pdf&rft.identifier=++Ekenberg%2C+L.+%3Chttps%3A%2F%2Fpure.iiasa.ac.at%2Fview%2Fiiasa%2F79.html%3E+ORCID%3A+https%3A%2F%2Forcid.org%2F0000-0002-0665-1889+%3Chttps%3A%2F%2Forcid.org%2F0000-0002-0665-1889%3E++(1996).++Reasonable+Goals.+++IIASA+Working+Paper.+IIASA%2C+Laxenburg%2C+Austria%3A+WP-96-136+++++