3 research outputs found

    An operational semantics for a fragment of PRS

    Get PDF
    The Procedural Reasoning System (PRS) is arguably the ļ¬rst implementation of the Beliefā€“Desireā€“Intention (BDI) approach to agent programming. PRS remains extremely inļ¬‚uential, directly or indirectly inspiring the development of subsequent BDI agent programming languages. However, perhaps surprisingly given its centrality in the BDI paradigm, PRS lacks a formal operational semantics, making it difļ¬cult to determine its expressive power relative to other agent programming languages. This paper takes a ļ¬rst step towards closing this gap, by giving a formal semantics for a signiļ¬cant fragment of PRS. We prove key properties of the semantics relating to PRS-speciļ¬c programming constructs, and show that even the fragment of PRS we consider is strictly more expressive than the plan constructs found in typical BDI languages

    Agent programming in the cognitive era

    Get PDF
    It is claimed that, in the nascent ā€˜Cognitive Eraā€™, intelligent systems will be trained using machine learning techniques rather than programmed by software developers. A contrary point of view argues that machine learning has limitations, and, taken in isolation, cannot form the basis of autonomous systems capable of intelligent behaviour in complex environments. In this paper, we explore the contributions that agent-oriented programming can make to the development of future intelligent systems. We briefly review the state of the art in agent programming, focussing particularly on BDI-based agent programming languages, and discuss previous work on integrating AI techniques (including machine learning) in agent-oriented programming. We argue that the unique strengths of BDI agent languages provide an ideal framework for integrating the wide range of AI capabilities necessary for progress towards the next-generation of intelligent systems. We identify a range of possible approaches to integrating AI into a BDI agent architecture. Some of these approaches, e.g., ā€˜AI as a serviceā€™, exploit immediate synergies between rapidly maturing AI techniques and agent programming, while others, e.g., ā€˜AI embedded into agentsā€™ raise more fundamental research questions, and we sketch a programme of research directed towards identifying the most appropriate ways of integrating AI capabilities into agent programs

    An operational semantics for a fragment of PRS

    No full text
    The Procedural Reasoning System (PRS) is arguably the ļ¬rst implementation of the Beliefā€“Desireā€“Intention (BDI) approach to agent programming. PRS remains extremely inļ¬‚uential, directly or indirectly inspiring the development of subsequent BDI agent programming languages. However, perhaps surprisingly given its centrality in the BDI paradigm, PRS lacks a formal operational semantics, making it difļ¬cult to determine its expressive power relative to other agent programming languages. This paper takes a ļ¬rst step towards closing this gap, by giving a formal semantics for a signiļ¬cant fragment of PRS. We prove key properties of the semantics relating to PRS-speciļ¬c programming constructs, and show that even the fragment of PRS we consider is strictly more expressive than the plan constructs found in typical BDI languages
    corecore