Verifying of Autonomous Domestic Robot in AI using JASON

  • Authors

    • Dr K V Krishnam Raju
    2018-03-18
    https://doi.org/10.14419/ijet.v7i2.7.10935
  • Autonomous System, BDI Approach, The Multi Agent System, Verification.

  • Abstract

    The systems that are having self-thinking capability are called autonomous systems. Autonomous systems are used in several modern applications such as the personal, business and industrial systems. The domestic robot is an autonomous system which can be ordered by its owner. The main goal of the domestic robot is to serve drinks to its owner. The functionality is quite simple. The robot goes to the fridge, gets the drink and serves to the owner. The robot also takes care of the health of the owner by limiting the supply of cool drink. The main of this work is to verify whether the domestic robot is meeting its goals or not.

     

     

  • References

    1. [1] Bordini, Dastani, "Multi-Agent Programming: Languages, Plat forms and Applications", Springer, 2005.

      [2] Bordini, Dastani, "Multi-Agent Programming: Languages, Tools and Applications", Springer, 2009.

      [3] Bordini, Fisher, "Verifying multi-agent programs by model checking. J. Autonomous Agents and Multi-Agent Systems", 2006.

      [4] Bordini, hübner, "Programming Multi-agent Systems in AgentSpeak using Jason", wiley, 2007.

      [5] Dennis, Farwer, Gwendolen, "A BDI language for verifiable agents. In Workshop on Logic and the Simulation of Interaction and Reasoning", 2008.

      [6] Rao, "AgentSpeak(l): BDI agents speak out in a logical computable language", In Proc. 7th European Workshop on Modeling Autonomous Agents in a Multi- Agent World, Springer LNCS, 1996.

      [7] Dennis, Farwer, Bordini, "a common semantic basis for BDI languages", In Proc. 7th Int. Workshop on Programming Multi Agent Systems, Springer, 2008.

  • Downloads

  • How to Cite

    K V Krishnam Raju, D. (2018). Verifying of Autonomous Domestic Robot in AI using JASON. International Journal of Engineering & Technology, 7(2.7), 739-741. https://doi.org/10.14419/ijet.v7i2.7.10935

    Received date: 2018-04-02

    Accepted date: 2018-04-02

    Published date: 2018-03-18