An architecture for real-time reasoning and system control

Ingrand, Félix; Georgeff, Michael P.; Rao, Anand S.

doi:10.1109/64.180407

Cited by 246 publications

(126 citation statements)

References 4 publications

Supporting

Mentioning

124

Contrasting

Unclassified

Order By: Relevance

“…As indicated and discussed in Section 4, this basic approach and framework needed to be extended to account for the multi-agent case in which several traditional assumptions do not hold. Previous work which has produced formal models of agent architectures, for example dMARS [18], AgentO [37] and GRATE* [19], has failed to carry forward the clarity of the specification into the implementation-there is a leap of faith required between the two. Our work, on the other hand, maintains a clear link between specification and implementation through the direct execution of the specification developed in our running example.…”

Section: Related Workmentioning

confidence: 99%

Agents that reason and negotiate by arguing

Parsons¹

1998

Journal of Logic and Computation

480

355

View full text Add to dashboard Cite

The need for negotiation in multi-agent systems stems from the requirement for agents to solve the problems posed by their interdependence upon one another. Negotiation provides a solution to these problems by giving the agents the means to resolve their conflicting objectives, correct inconsistencies in their knowledge of other agents' world views, and coordinate a joint approach to domain tasks which benefits all the agents concerned. We propose a framework, based upon a system of argumentation, which permits agents to negotiate in order to establish acceptable ways of solving problems. The framework provides a formal model of argumentation-based reasoning and negotiation, details a design philosophy which ensures a clear link between the formal model and its practical instantiation, and describes a case study of this relationship for a particular class of architectures (namely those for belief-desire-intention agents).

show abstract

Section: Related Workmentioning

confidence: 99%

Agents that reason and negotiate by arguing

Parsons¹

1998

Journal of Logic and Computation

480

355

View full text Add to dashboard Cite

show abstract

“…There is a long standing tradition, pioneered by the PRS system [17], of using agent languages (and other logic programming approaches -e.g. [29]) to control and reason about such systems.…”

Section: Introductionmentioning

confidence: 99%

Declarative Abstractions for Agent Based Hybrid Control Systems

Dennis

Fisher

Lincoln

et al. 2011

Declarative Agent Languages and Technologies VIII

View full text Add to dashboard Cite

Abstract. Modern control systems are limited in their ability to react flexibly and autonomously to changing situations by the complexity inherent in analysing environments where many variables are present. We aim to use an agent approach to help alleviate this problem and are particularly interested in the control of satellite systems using BDI agent programming as pioneered by the PRS. Such systems need to generate discrete abstractions from continuous data and then use these abstractions in rational decision making. This paper provides an architecture and interaction semantics for an abstraction engine to interact with a hybrid BDI-based control system.

show abstract

“…The notion of an 'architecture' is used not only in the world of bricks and stones, but it is used metaphorically in many other areas too. For example, in computer science it is used to describe the hardor software organization of systems, in management science it is used to describe the structure of business models in enterprise architectures [16], and in psychology and artificial intelligence it is used to describe cognitive architectures of agent systems like SOAR [15], ACT [2] or PRS [13]. Though architectures are typically visualized as a diagram and informal, there are also various formal languages to describe architectures, see, for example, [16].…”

Section: Introductionmentioning

confidence: 99%

A Logical Architecture of a Normative System

Boella

Torre

2006

Deontic Logic and Artificial Normative Systems

View full text Add to dashboard Cite

Abstract. Logical architectures combine several logics into a more complex logical system. In this paper we study a logical architecture using input/output operations corresponding to the functionality of logical components. We illustrate how the architectural approach can be used to develop a logic of a normative system based on logics of counts-as conditionals, institutional constraints, obligations and permissions. In this example we adapt for counts-as conditionals and institutional constraints a proposal of Jones and Sergot, and for obligations and permissions we adapt the input/output logic framework of Makinson and van der Torre. We use our architecture to study logical relations among counts-as conditionals, institutional constraints, obligations and permissions. We show that in our logical architecture the combined system of counts-as conditionals and institutional constraints reduces to the logic of institutional constraints, which again reduces to an expression in the underlying base logic. Counts-as conditionals and institutional constraints are defined as a pre-processing step for the regulative norms. Permissions are defined as exceptions to obligations and their interaction is characterized.

show abstract

An architecture for real-time reasoning and system control

Cited by 246 publications

References 4 publications

Agents that reason and negotiate by arguing

Agents that reason and negotiate by arguing

Declarative Abstractions for Agent Based Hybrid Control Systems

A Logical Architecture of a Normative System

Contact Info

Product

Resources

About