Skip to main content

2016 | OriginalPaper | Buchkapitel

Review Paper: Paraconsistent Process Order Control

verfasst von : Kazumi Nakamatsu, Jair Minoro Abe, Seiki Akama

Erschienen in: Intelligent Decision Technologies 2016

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

We have already proposed the paraconsistent process order control method based on an annotated logic program bf-EVALPSN. Bf-EVALPSN can deal with before-after relations between two processes (time intervals) in its annotations, and its reasoning system consists of two kinds of inference rules called the basic bf-inference rule and the transitive bf-inference rule. In this paper, we review how bf-EVALPSN can be applied to process order control with a simple example.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
2.
Zurück zum Zitat da Costa, N.C.A., et al.: The Paraconsistent logics P\({\cal {T}}\). Zeitschrift für Mathematische Logic und Grundlangen der Mathematik 37, 139–148 (1989) da Costa, N.C.A., et al.: The Paraconsistent logics P\({\cal {T}}\). Zeitschrift für Mathematische Logic und Grundlangen der Mathematik 37, 139–148 (1989)
3.
Zurück zum Zitat Nakamatsu, K., et al.: Annotated Semantics for Defeasible Deontic Reasoning. LNAI, vol. 2005, pp. 432–440. Springer (2001) Nakamatsu, K., et al.: Annotated Semantics for Defeasible Deontic Reasoning. LNAI, vol. 2005, pp. 432–440. Springer (2001)
4.
Zurück zum Zitat Nakamatsu, K., Abe, J.M.: The development of paraconsistent annotated logic program. Int. J. Reasoning-Based Intell. Syst. 1, 92–112 (2009) Nakamatsu, K., Abe, J.M.: The development of paraconsistent annotated logic program. Int. J. Reasoning-Based Intell. Syst. 1, 92–112 (2009)
5.
Zurück zum Zitat Nakamatsu, K., Abe, J.M., Akama, S.: A logical reasoning system of process before-after relation based on a paraconsistent annotated logic program bf-EVALPSN. J. Knowl. Based Intell. Eng. Syst. 15, 145–163 (2011)CrossRef Nakamatsu, K., Abe, J.M., Akama, S.: A logical reasoning system of process before-after relation based on a paraconsistent annotated logic program bf-EVALPSN. J. Knowl. Based Intell. Eng. Syst. 15, 145–163 (2011)CrossRef
6.
Zurück zum Zitat Nakamatsu, K., Abe, J.M.: The paraconsistent process order control method. Vietnam J. Comput. Sci. 1, 29–37 (2014)CrossRef Nakamatsu, K., Abe, J.M.: The paraconsistent process order control method. Vietnam J. Comput. Sci. 1, 29–37 (2014)CrossRef
Metadaten
Titel
Review Paper: Paraconsistent Process Order Control
verfasst von
Kazumi Nakamatsu
Jair Minoro Abe
Seiki Akama
Copyright-Jahr
2016
DOI
https://doi.org/10.1007/978-3-319-39627-9_20