A formal framework for interactive agents

DOI10.1016/J.ENTCS.2008.04.088MaRDI QIDQ2864512zbMATH OpenOpenAlexFDO

Authors Carolyn Talcott

Publication date 6 December 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2008.04.088

zbMATH Keywords

coordinationinteractionpolicyautonomydistributed object reflection

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A conceptual framework for agent definition and development
• A formal approach to agent design: An overview of constraint-based agents
• scientific article; zbMATH DE number 5310813
• Engineering AgentSpeak(L): a formal computational model
• scientific article; zbMATH DE number 1759741

Cites work

• scientific article; zbMATH DE number 2089377 (Why is no real title available?)
• scientific article; zbMATH DE number 2080757 (Why is no real title available?)
• A coinductive calculus of component connectors.
• Comparing three coordination models: Reo, ARC, and RRD
• Composable semantic models for actor theories
• Concurrent Semantics Without the Notions of State or State Transitions
• Conditional rewriting logic as a unified model of concurrency
• Proceedings of the workshop on the foundations of interactive computation (FInCo 2005), Edinburgh, UK, April 9, 2005
• Rewriting semantics of meta-objects and composable distributed services
• Specification and Development of Interactive Systems
• The algebra of stream processing functions
• Turing machines, transition systems, and interaction

Cited in

(15)

• A conceptual framework for agent definition and development
• Interactionist-expectative view on agency and learning
• scientific article; zbMATH DE number 1897879 (Why is no real title available?)
• scientific article; zbMATH DE number 1508925 (Why is no real title available?)
• A formal approach to agent design: An overview of constraint-based agents
• Formal specifications for a document management assistant
• scientific article; zbMATH DE number 5310813 (Why is no real title available?)
• scientific article; zbMATH DE number 1670582 (Why is no real title available?)
• scientific article; zbMATH DE number 895659 (Why is no real title available?)
• scientific article; zbMATH DE number 1753827 (Why is no real title available?)
• scientific article; zbMATH DE number 1754063 (Why is no real title available?)
• scientific article; zbMATH DE number 1927256 (Why is no real title available?)
• FSP and FLTL framework for specification and verification of middle-agents
• Propositional statecharts for agent interaction protocols
• scientific article; zbMATH DE number 2087332 (Why is no real title available?)

Describes a project that uses

Uses Software

• PAGODA

This page was built for publication: A formal framework for interactive agents

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2864512)