Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Discipline
Articles 1 - 5 of 5
Full-Text Articles in Physical Sciences and Mathematics
A Component Based Approach To Agent Specification, David J. Robinson
A Component Based Approach To Agent Specification, David J. Robinson
Theses and Dissertations
The Air Force, as well as all of industry, is currently faced with the problem of having to produce larger and more complex software systems that run efficiently and reliably as well as being extensible and maintainable. This research addresses this problem by developing a knowledge representation language that can be used to unambiguously specify and design software systems in a verifiable, efficient, and understandable manner. The language is a combination of object-oriented and component-based methodologies and makes use of both graphics and text to represent information. Although designed for the development of any type of software system, the language …
Knowledge Base Support For Design And Synthesis Of Multi-Agent Systems, Marc J. Raphael
Knowledge Base Support For Design And Synthesis Of Multi-Agent Systems, Marc J. Raphael
Theses and Dissertations
AgentTool is an AFIT-produced, AFOSR-sponsored multi-agent system (MAS) development tool intended for production of MASs that meet military requirements. This research focuses on enabling MAS design and synthesis tools like agentTool to store, retrieve, and filter persistent, reusable, and reliable agent domain knowledge. This "enabling" is vital if such tools are expected to produce consistent, maintainable, and verifiable agent applications on short timetables. Enabling requires: 1) modeling the agent knowledge domain, 2) designing and employing a persistent knowledge base, and 3) bridging that domain model to the knowledge base with an extensible domain interchange grammar. The achieved interchange grammar, called …
A Formal Methodology And Technique For Verifying Communication Protocols In A Multi-Agent Environment, Timothy H. Lacey
A Formal Methodology And Technique For Verifying Communication Protocols In A Multi-Agent Environment, Timothy H. Lacey
Theses and Dissertations
As network bandwidth increases, distributed applications are becoming increasingly prevalent. Systems using these applications are very complicated to build and must be dependable. Software agents are ideal for breaking complicated problems into manageable subtasks. Agent conversations, a series of messages passed between agents, are the cornerstone of multi-agent systems and must be deemed correct before being placed into service. The purpose of this research was to develop a formal methodology and technique to verify that the communication protocols defined in a multi-agent environment were valid. This was accomplished by examining agent conversations before deploying the system. An additional goal of …
Formal Object State Model Transformations For Automated Agent System Synthesis, David W. Marsh
Formal Object State Model Transformations For Automated Agent System Synthesis, David W. Marsh
Theses and Dissertations
Automated agent system synthesis is the process of generating code from a requirements specification with appropriate inputs from the software engineer. Object-oriented (OO) specifications are frequently used to model intelligent software agent systems and software requirements in general; formal representations capture precisely the intentions of the specifier. Portions of OO specifications can be classified as the structural, functional, and state (or dynamic) models; major strides have been taken in the development of transformations for creating code from formal OO specifications, specifically the structural and functional aspects, and are captured within the AFIT Wide-Spectrum Object Modeling Environment (AWSOME). This research creates …
Multiagent Systems Engineering: A Methodology For Analysis And Design Of Multiagent Systems, Mark F. Wood
Multiagent Systems Engineering: A Methodology For Analysis And Design Of Multiagent Systems, Mark F. Wood
Theses and Dissertations
This thesis defines a methodology for the creation of multiagent systems, the Multiagent Systems Engineering (MaSE) methodology. The methodology is a key issue in the development of any complex system and there is currently no standard or widely used methodology in the realm of multiagent systems. MaSE covers the entire software lifecycle, starting from an initial prose specification, and creating a set of formal design documents in a graphical style based on a formal syntax. The final product of MaSE is a diagram describing the deployment of a system of intelligent agents that communicate through structured conversations. MaSE was created …