Blog
About

139
views
0
recommends
+1 Recommend
1 collections
    3
    shares
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Towards Formal Methods for Agent-Based Systems

      ,

      Proceedings of the BCS-FACS Northern Formal Methods Workshop (NFM)

      Northern Formal Methods

      23-24 September 1996

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          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.

          Related collections

          Most cited references 3

          • Record: found
          • Abstract: not found
          • Article: not found

          MetateM: An introduction

            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            An introduction to executable temporal logics

              Bookmark
              • Record: found
              • Abstract: not found
              • Book Chapter: not found

              An alternative approach to concurrent theorem-proving

                Bookmark

                Author and article information

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

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

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

                LondonWC1A 1EB, United Kingdom
                Article
                10.14236/ewic/FA1996.8
                © 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
                Product
                Product Information: 1477-9358BCS Learning & Development
                Self URI (journal page): https://ewic.bcs.org/
                Categories
                Electronic Workshops in Computing

                Comments

                Comment on this article