956
views
0
recommends
+1 Recommend
1 collections
    3
    shares

      Celebrating 65 years of The Computer Journal - free-to-read perspectives - bcs.org/tcj65

      scite_
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Towards Formal Methods for Agent-Based Systems

      proceedings-article
      ,
      Proceedings of the BCS-FACS Northern Formal Methods Workshop (NFM)
      Northern Formal Methods
      23-24 September 1996
      Bookmark

            Abstract

            This paper considers how formal methods might be developed for use in agent-based systems. In particular, it presents an approach based upon the description of agents using temporal specifications. Not only can these specifications be executed directly to provide the behaviour of an individual agent, but collections of such descriptions can be executed under a specific operational model in order to give the behaviour of multi-agent systems. In addition to animating their behaviour, verification of the agent descriptions with respect to required logical properties can be carried out; the paper outlines how temporal belief logics can be used to achieve this. Finally, the current limitations of this work are considered and its extension towards the ultimate goal of a full formal development framework for agent-based systems is discussed.

            Content

            Author and article information

            Contributors
            Conference
            September 1996
            September 1996
            : 1-10
            Affiliations
            [0001]Department of Computing, Manchester Metropolitan University

            Manchester M1 5GD, United Kingdom
            [0002]Mitsubishi Electric Digital Library Group

            18th Floor, Centre Point, 103 New Oxford St.

            LondonWC1A 1EB, United Kingdom
            Article
            10.14236/ewic/FA1996.8
            d093f2f9-35fa-48cc-90de-68cd4d2e5522
            © Michael Fisher et al. Published by BCS Learning and Development Ltd. Proceedings of the BCS-FACS Northern Formal Methods Workshop, Ilkley, UK

            This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

            Proceedings of the BCS-FACS Northern Formal Methods Workshop
            NFM
            Ilkley, UK
            23-24 September 1996
            Electronic Workshops in Computing (eWiC)
            Northern Formal Methods
            History
            Product

            1477-9358 BCS Learning & Development

            Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/FA1996.8
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Applied computer science,Computer science,Security & Cryptology,Graphics & Multimedia design,General computer science,Human-computer-interaction

            Comments

            Comment on this article