A Formal Semantics for ProxyCommunicative Acts

Huber, Marcus J.; Kumar, Sanjeev; Cohen, Philip R.; McGee, David

doi:10.1007/3-540-45448-9_16

Cited by 8 publications

(6 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The agents communicate asynchronously through a facilitator by either posting information to a common blackboard or using communicative acts, such as inform and request, within the Agent-Talk agent communication language [3]. In this framework, agents are not forced to respond to requests, as in many communication architectures, but rather can evaluate what action to take and even potentially refuse to communicate as necessary.…”

Section: Descriptionmentioning

confidence: 99%

“…After the left-hand side of the merge operation is produced via feature structure unification, the constraints are evaluated to determine whether all of them are met. In the example, the constraints guarantee completeness: [7] coord: [4] point object: type: recon name: 'AG' size: company location: unit rhs: dtr1: create_unit time: [8] completeness: [9] type: [1] name: 'AG' size: [3] object: unit dtr2: create_unit time: [10] completeness: [11] type: recon name: [ is_complete [7] unit type: [12] size: [14] location:…”

Section: Descriptionmentioning

confidence: 99%

See 1 more Smart Citation

A visual modality for the augmentation of paper

McGee

Pavel

Adami

et al. 2001

Proceedings of the 2001 Workshop on Perceptive User Interfaces

Self Cite

View full text Add to dashboard Cite

In this paper we describe how we have enhanced our multimodal paper-based system, Rasa, with visual perceptual input. We briefly explain how Rasa improves upon current decisionsupport tools by augmenting, rather than replacing, the paperbased tools that people in command and control centers have come to rely upon. We note shortcomings in our initial approach, discuss how we have added computer-vision as another input modality in our multimodal fusion system, and characterize the advantages that it has to offer. We conclude by discussing our current limitations and the work we intend to pursue to overcome them in the future.

show abstract

Section: Descriptionmentioning

confidence: 99%

Section: Descriptionmentioning

confidence: 99%

A visual modality for the augmentation of paper

McGee

Pavel

Adami

et al. 2001

Proceedings of the 2001 Workshop on Perceptive User Interfaces

Self Cite

View full text Add to dashboard Cite

show abstract

“…We regard conversation protocols as having an associated goal that they are meant to achieve and we proposed a formalism for protocol families using partially ordered landmarks that must be accomplished in order to achieve the goal associated a protocol. A landmark is characterized 13 See Huber et al (2001) for a preliminary discussion. by the propositions that are true in the state represented by that landmark.…”

Section: Future Work and Conclusionmentioning

confidence: 99%

Toward A Formalism for Conversation Protocols Using Joint Intention Theory

Kumar

Huber

Cohen

et al. 2002

Computational Intelligence

Self Cite

View full text Add to dashboard Cite

Conversation protocols are used to achieve certain goals or to bring about certain states in the world. Therefore, one may identify the landmarks or the states that must be brought about during the goal-directed execution of a protocol. Accordingly, the landmarks, characterized by propositions that are true in the state represented by that landmark, are the most important aspect of a protocol. Families of conversation protocols can be expressed formally as partially ordered landmarks after the landmarks necessary to achieve a goal have been identified. Concrete protocols represented as joint action expressions can, then, be derived from the partially ordered landmarks and executed directly by joint intention interpreters. This approach of applying Joint Intention theory to protocols also supports flexibility in the actions used to get to landmarks, shortcutting protocol execution, automatic exception handling, and correctness criterion for protocols and protocol compositions.

show abstract

“…The Planner module represents the heart of an agent that may decide to ignore an incoming message, to start a new conversation, or to continue with the current conversation. In the Planner module, committed plans are achieved, and the Goal, Plan and Knowledge modules of an agent are updated after the execution of each communicative act that defines the type and content of a message [28,29], or if the environment changes. Second, different from the semantic of a G-net as an object or a module, we view the extended G-net, we call it an agent-oriented G-net, as a class model, i.e., the abstract of a set of similar agents.…”

Section: A Base Framework For Agent-oriented Softwarementioning

confidence: 99%

A Security Based Model for Mobile Agent Software Systems

Zhang

Shatz

2005

Int. J. Soft. Eng. Knowl. Eng.

View full text Add to dashboard Cite

Security modeling for agents has been one of the most challenging issues in developing practical mobile agent software systems. In the past, researchers have developed mobile agent systems with emphasis either on protecting mobile agents from malicious hosts or protecting hosts from malicious agents. In this paper, we propose a security based mobile agent system architecture that provides a general solution to protecting both mobile agents and agent hosts in terms of agent communication and agent migration. We present a facilitator agent model that serves as a middleware for secure agent communication and agent migration. The facilitator agent model, as well as the mobile agent model, is based on agent-oriented G-nets — a high level Petri net formalism. To illustrate our formal modeling technique for mobile agent systems, we provide an example of agent migration to show how a design error can be detected.

show abstract

A Formal Semantics for ProxyCommunicative Acts

Cited by 8 publications

References 5 publications

A visual modality for the augmentation of paper

A visual modality for the augmentation of paper

Toward A Formalism for Conversation Protocols Using Joint Intention Theory

A Security Based Model for Mobile Agent Software Systems

Contact Info

Product

Resources

About