000000016 001__ 16
000000016 005__ 20260601151508.0
000000016 0247_ $$2DOI$$a10.6083/M4X63JTS
000000016 037__ $$aETD
000000016 245__ $$aA formal semantics of teamwork and multi-agent conversations as the basis of a language for programming teams of autonomous agents
000000016 260__ $$bOregon Health and Science University
000000016 269__ $$a2006
000000016 336__ $$aDissertation
000000016 502__ $$bPh.D.
000000016 520__ $$aThis dissertation presents a logic-based declarative programming language, STAPLE, designed to facilitate the development of teams of autonomous agents capable of coordinating and communicating effectively without explicitly coding such behaviors. Building on Joint Intention Theory, the work introduces a formal semantics for multi-agent communication and extends teamwork theory to support a broader range of collaborative interactions. STAPLE integrates modal, dynamic, and temporal logic with built-in teamwork and communication constructs. Its effectiveness is demonstrated in scenarios involving fault-tolerant systems and human-agent collaboration, where correct team behaviors emerge naturally from high-level specifications, highlighting its potential to bridge the gap between theoretical models of teamwork and practical multi-agent system implementation.
000000016 540__ $$fCC BY
000000016 542__ $$fIn copyright - single owner
000000016 650__ $$aArtificial Intelligence$$015109
000000016 650__ $$aProgramming Languages$$024648
000000016 650__ $$aSemantics$$025852
000000016 650__ $$aSoftware$$026159
000000016 650__ $$aModels, Theoretical$$022380
000000016 6531_ $$acomputational linquistics
000000016 6531_ $$aautonomous agents
000000016 6531_ $$amultiagent systems
000000016 691__ $$aOGI School of Science and Engineering$$041365
000000016 692__ $$aDepartment of Computer Science and Electrical Engineering$$041404
000000016 7001_ $$aKumar, Sanjeev$$uOregon Health and Science University$$041354
000000016 7201_ $$aCohen, Philip$$uOregon Health and Science University$$041354$$7Personal$$eAdvisor
000000016 8564_ $$95d072518-6b43-49c1-bd57-080b4fc9bcde$$s1266194$$uhttps://digitalcollections.ohsu.edu/record/16/files/16_etd.pdf$$ePublic$$27fa37226127f617cd92148ab76df5bd7$$31
000000016 901__ $$a<p>These documents are archival records. They are retained for historical reference only. </p><p><b>Need an accessible version? Use the ‘Get Accessible Copy’ link above.</b></p>
000000016 905__ $$a/rest/prod/n8/70/zq/81/n870zq819
000000016 909CO $$ooai:digitalcollections.ohsu.edu:16$$pstudent-work
000000016 956__ $$aGet Accessible Copy$$uhttps://ohsu.libwizard.com/f/requestaccessibledocument
000000016 980__ $$aTheses and Dissertations