How to Do Things With Words

物件導向軟體之架構(Object-Oriented Software Construction)探討

On Educational psychology: A cognitive view.

Combining with the emerged technologies such as cloud computing, the Internet of things, service-oriented technologies and high performance computing, a new manufacturing paradigm – cloud manufacturing CMfg – for solving the bottlenecks in the informatisation development and manufacturing applications is introduced. The concept of CMfg, including its architecture, typical characteristics and the key technologies for implementing a CMfg service platform, is discussed. Three core components for constructing a CMfg system, i.e. CMfg resources, manufacturing cloud service and manufacturing cloud are studied, and the constructing method for manufacturing cloud is investigated. Finally, a prototype of CMfg and the existing related works conducted by the authors' group on CMfg are briefly presented.

Cloud manufacturing: a new manufacturing paradigm

The emerging paradigm of agent-based computation has revolutionized the building of intelligent and decentralized systems. The new technologies met well the requirements in all domains of manufacturing where problems of uncertainty and temporal dynamics, information sharing and distributed operation, or coordination and cooperation of autonomous entities had to be tackled. In the paper software agents and multi-agent systems are introduced and through a comprehensive survey, their potential manufacturing applications are outlined. Special emphasis is laid on methodological issues and deployed industrial systems. After discussing open issues and strategic research directions, we conclude that the evolution of agent technologies and manufacturing will probably proceed hand in hand. The former can receive real challenges from the latter, which, in turn, will have more and more benefits in applying agent technologies, presumably together with well-established or emerging approaches of other disciplines.

/pdf/agent-based-systems-for-manufacturing-xij8ryuzc7.pdf

Agent-based systems for manufacturing

A multi-resolution collaborative architecture for web-centric global manufacturing

Conversations are sequences of messages exchanged among interacting agents. For conversations to be meaningful, agents ought to follow commonly known specifications limiting the types of messages that can be exchanged at any point in the conversation. These specifications are usually implemented using conversation policies (which are rules of inference) or conversation protocols (which are predefined conversation templates). In this article we present a semantic model for specifying conversations using conversation policies. This model is based on the principles that the negotiation and uptake of shared social commitments entail the adoption of obligations to action, which indicate the actions that agents have agreed to perform. In the same way, obligations are retracted based on the negotiation to discharge their corresponding shared social commitments. Based on these principles, conversations are specified as interaction specifications that model the ideal sequencing of agent participations negotiating the execution of actions in a joint activity. These specifications not only specify the adoption and discharge of shared commitments and obligations during an activity, but also indicate the commitments and obligations that are required (as preconditions) or that outlive a joint activity (as postconditions). We model the Contract Net Protocol as an example of the specification of conversations in a joint activity.

To Commit or Not to Commit: Modeling Agent Conversations for Action

This paper proposes a schema-based specification method for conversation policies in multi-agent systems. Conversation schemata are modeled through investigating conversational interactions among agents to exchange information. Information to be exchanged in a conversation interaction is specified through a set of “conversation topics”. Schemata are conversational patterns implementing this information exchanged and detailed by conversation acts. Colored Petri Nets are used as a specification and verification tool for conversation schemata at the design stage. Examples in agent-based manufacturing systems are used to illustrate the concepts and method proposed.

A Schema-Based Approach to Specifying Conversation Policies

The Internet has evolved very rapidly from an information space to a market space over the past few years. There is a tendency towards implementing real-world agent-based applications based on the Internet. This paper presents some results of our recent research work towards an infrastructure for Internet-enabled collaborative agent systems. The infrastructure and the related supporting services, components, prototypes and mechanisms are initially proposed and developed for Internet-enabled collaborative agent systems in all kinds of application areas, but they are primarily targeted for implementing Internet-enabled collaborative enterprises or supply chain management systems. The general collaborative agent system architecture with the basic communication and cooperation services, domain independent components, prototypes and mechanisms are described. The benefits of implementing Internet-enabled collaborative enterprises with the proposed infrastructure are discussed. A case study on multi-plant produc...

A collaborative agent-based infrastructure for Internet-enabled collaborative enterprises

Building conversation protocols has traditionally been an art more than a science, as their construction is often guided by designers’ intuition rather than by a principled approach. In this paper we present a model for building conversation protocols using inference principles that allow the computational specification and verification of message sequencing and turn-taking. This model, which is based on the negotiation of social commitments, results in highly flexible protocols that support agent heterogeneity while abiding by software engineering practices. We exemplify the specification of protocols using the contract net protocol, a common interaction protocol from the multiagent literature.

https://www.pcs.cnu.edu/%7Eflores/floreskremerAI04.pdf

Rob Kremer

Papers

A multi-resolution collaborative architecture for web-centric global manufacturing

To Commit or Not to Commit: Modeling Agent Conversations for Action

A Schema-Based Approach to Specifying Conversation Policies

A collaborative agent-based infrastructure for Internet-enabled collaborative enterprises

A Principled Modular Approach to Construct Flexible Conversation Protocols