• DocumentCode
    2548593
  • Title

    Intelligent process order control based on a paraconsistent logic program : An introduction

  • Author

    Nakamatsu, Kazumi

  • Author_Institution
    Univ. of Hyogo, Himeji
  • fYear
    2007
  • fDate
    7-10 Oct. 2007
  • Firstpage
    2278
  • Lastpage
    2283
  • Abstract
    In this paper, we propose a new paraconsistent annotated logic program called bf-EVALPSN (before-after Extended Vector Annotated Logic Program with Strong Negation) that can deal with before-after relations between processes and introduce its application to process order control and safety verification with simple examples.
  • Keywords
    intelligent control; logic programming; safety systems; before-after extended vector annotated logic program; bf-EVALPSN annotated paraconsistent logic program; intelligent process order control; safety verification; strong negation; Air safety; Cleaning; Intelligent control; Lattices; Liquids; Logic; Pipelines; Process control; Railway safety; TV; EVALPSN; bf-EVALPSN; paraconsistent annotated logic program; process order control; safety verification;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Systems, Man and Cybernetics, 2007. ISIC. IEEE International Conference on
  • Conference_Location
    Montreal, Que.
  • Print_ISBN
    978-1-4244-0990-7
  • Electronic_ISBN
    978-1-4244-0991-4
  • Type

    conf

  • DOI
    10.1109/ICSMC.2007.4414113
  • Filename
    4414113
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2548593