Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Design of Fuzzy Supervisor-Based Adaptive Process Control Systems Read chapter Read first chapter

2016 | OriginalPaper | Chapter

10. Annotated Logics and Intelligent Control

Authors : Seiki Akama, Jair Minoro Abe, Kazumi Nakamatsu

Published in: New Approaches in Intelligent Control

Publisher: Springer International Publishing

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

Annotated logics are a kind of paraconsistent (and generally paracomplete) logic, whose origin is paraconsistent logic programming. Later, these logics have been extensively studied by may researchers, and applied to many areas, in particular, Artificial Intelligence and Computer Science. Annotated logics are also suited as the foundations for intelligent control in that they can properly deal both with incomplete and inconsistent information. The chapter addresses the aspects of annotated logics as a control language for intelligent systems. After reviewing the motivation and formalization of annotated logics, we give an application to Robotics to show how they can be used for intelligent control.

Dont have a licence yet? Then find out more about our products and how to get one now:

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!

inform now

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!

inform now

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!

inform now
previous chapter Paraconsistent Logics and Applications
next chapter Paraconsistent Annotated Logic Program EVALPSN and Its Application to Intelligent Control
Footnotes
1
We employ the same symbols for lattice-theoretical operations as the corresponding logical connectives.
 
2
The name Emmy originates from the mathematician Amalie Emmy Nöwther (1882–1935).
 
Literature
1.
Abe, J.M.: On the Foundations of Annotated Logics (in Portuguese), Ph.D. Thesis, University of São Paulo, Brazil (1992)
2.
3.
Abe, J.M.: Curry algebra Pτ. Logique et Analyse 161–162-163 (1998), 5–15
4.
Abe, J.M., Akama, S.: Annotated logics Qτ and ultraproduct. Logique et Analyse 160(1997), 335–343 (published in 2000)
5.
Abe, J.M., Akama, S.: On some aspects of decidability of annotated systems. In: Arabnia HR (ed.) Proceedings of the International Conference on Artificial Intelligence, vol. II, pp. 789–795, CREA Press (2001)
6.
Abe, J.M., Akama, S., Nakamatsu, K.: Introduction to Annotated Logics. Springer, Heidelberg (2015)CrossRefMATH
7.
Abe, J.M., Da Silva Filho, J.I.: Manipulating conflicts and uncertainties in robotics. Multi-Valued Logic Soft Comput 9, 147–169 (2003)
8.
Abe, J.M., Torres, C.R., Torres, G.L., Nakamatsu, K., Kondo, M.: Intelligent paraconsistent logic controller and autonomous mobile robot Emmy II. In: Lecture Notes in Computer Science 4252, pp. 851–857. Springer, Heidelberg (2006)
9.
Akama, S.: Discursive reasoning in a constructive setting. Int. J. Reasoning-Based Intell. Syst. 3, 88–93 (2011)CrossRef
10.
Akama, S., Abe, J.M.: Many-valued and annotated modal logics. In: Proceedings of the 28th International Symposium on Multiple-Valued Logic, pp. 114–119, Fukuoka (1998)
11.
Akama, S., Abe, J.M.: Natural deduction and general annotated logics. In: Proceedings of the 1st International Workshop on Labelled Deduction, Freiburg (1998)
12.
Akama, S., Abe, J.M.: Fuzzy annotated logics. In: Proceedings of IPMU’2000, pp. 504–508, Madrid, Spain (2000)
13.
Akama, S., Abe, J.M., Nakamatsu, K.: Constructive discursive logic with strong negation. Logique et Analyse 215, 395–408 (2011)MathSciNetMATH
14.
Anderson, A., Belnap, N.: Entailment: the logic of relevance and necessity I. Princeton University Press, Princeton (1976)
15.
Anderson, A., Belnap, N., Dunn, J.: Entailment: The Logic of Relevance and Necessity II. Princeton University Press, Princeton (1992)MATH
16.
Arruda, A.I.: A survey of paraconsistent logic. In: Mathematical Logic in Latin America. North-Holland, Amsterdam (1980)
17.
Belnap, N.D.: A useful four-valued logic. In: Dunn, J.M., Epstein, G. (eds.) Modern Uses of Multi-Valued Logic, pp. 8–37. Reidel, Dordrecht (1977)
18.
Belnap, N.D.: How a computer should think. In: Ryle, G. (ed.) Contemporary Aspects of Philosophy, pp. 30–55. Oriel Press (1977)
19.
Beziau, J.-Y., Carnielli, W., Gabbay, D. (eds.): Handbook of Paraconsistency. College Publication, London (2007)MATH
20.
21.
da Costa, N.C.A., Abe, J.M., Subrahmanian, V.S.: Remarks on annotated logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik 37, 561–570 (1991)MathSciNetCrossRefMATH
22.
23.
da Costa, N.C.A., Subrahmanian, VS.: Paraconsistent logic as a formalism for reasoning about inconsistent knowledge. Artif. Intell. Med. 1, 167–174 (1989)
24.
da Costa, N.C.A., Subrahmanian, V.S., Vago, C.: The paraconsistent logic PT. Zeitschrift für mathematische Logik und Grundlagen der Mathematik 37, 139–148 (1991)CrossRefMATH
25.
da Costa, N.C.A.: α-models and the system T and T*. Notre Dame J. Formal Logic, 14, 443–454 (1974)
26.
27.
da Costa, N.C.A., Dubikajtis, L.: On Jasśkowski’s discursive logic. In: Arruda, A.I., da Costa, N.C.A., Chuaqui, R. (eds.) Non-classical logics. Model Theory and Computability, pp. 37–56. North-Holland, Amsterdam (1977)
28.
da Costa, N.C.A., Doria, F.A.: On Jaśkowski’s discursive logics. Stud. Logica. 54, 33–60 (1995)CrossRefMATH
29.
da Costa, N.C.A., Henschen, L.J., Lu, J.J., Subrahmanian, V.S.: Automatic theorem proving in paraconsistent logics: foundations and implementation. In: Proceedings of the 10th international conference on automated deduction, pp. 72–86. Springer, Berlin (1990)
30.
Da Silva Filho, J.I.: Methodos de Aplicoes da Logica Paraconisitente Anotadade Anotacao com Dois Valores LPA2v com Construcao de Algoritmo e Implementacao de Circuitos Eletornicos (in Portugese), Ph.D. Thesis, University of São Paulo (1999)
31.
Da Silva Filho, J.I., Abe, J.M.: Emmy: a paraconsistent autonomous mobile robot. In: Abe, J.M., Da Silva Filho (eds.) Frontiers in artificial intelligence and its applications, pp. 53–61. IOS Press, Amsterdam (2001)
32.
Desiderato, J.M.G., De Oliveira, E.N.: Primeiro Prototipo do Dobo Móvel Autôno Emmy III (in Portuguese). University of São Paulo (2006)
33.
Dunn, J.M.: Relevance logic and entailment. In: Gabbay, D., Gunthner, F. (eds.) Handbook of Philosophical Logic, vol. III, pp. 117–224. Reidel, Dordrecht (1986)
34.
Elfes, A.: Using occupancy grids for mobile robot perception and navigation. Comput. Mag. 22, 46–57 (1989)CrossRef
35.
Fu, K.S.: Robotics: control, sensing, vision and intelligence. McGraw-Hill Book, New York (1987)
36.
Jaśkowski, S.: Propositional calculus for contradictory deductive systems (in Polish). Studia Societatis Scientiarun Torunesis, Sectio A 1, 55–77 (1948)
37.
Jaśkowski, S.: On the discursive conjunction in the propositional calculus for inconsistent deductive systems (in Polish). Studia Societatis Scientiarun Torunesis, Sectio A 8, 171–172 (1949)
38.
Kifer, M., Lozinskii, E.L.: RI: a logic for reasoning with inconsistency. In: Proceedings of LICS4, pp. 253–262 (1989)
39.
40.
Kifer, M., Subrahmanian, V.S.: On the expressive power of annotated logic programs. In: Proceedings of the 1989 North American Conference on Logic Programming, pp. 1069–1089 (1989)
41.
Kifer, M., Subrahmanian, V.S.: Theory of generalized annotated logic programming. J. Logic Programming 12, 335–367 (1992)MathSciNetCrossRef
42.
43.
Priest, G., Routley, R., Norman, J. (eds.): Paraconsistent logic: essays on the inconsistent. Philosopia Verlag, München (1989)MATH
44.
45.
Priest, G.: Paraconsistent logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn. pp. 287–393. Kluwer, Dordrecht (2002)
46.
Priest, G.: In Contradiction: A Study of the Transconsistent, 2nd edn. Oxford University Press, Oxford (2006)
47.
Routley, R., Plumwood, V., Meyer, R.K., Brady, R: Relevant Logics and Their Rivals, vol. 1. Ridgeview, Atascadero (1982)
48.
Subrahmanian, V.: On the semantics of quantitative logic programs. In: Proceedings of the 4th IEEE Symposium on Logic Programming, pp. 173–182 (1987)
49.
Torres, C.R., Reis, R.: The new hardware structure of the Emmy II robot. In: Abe, J.M. (ed.) Paraconsistent Intelligent-Based Systems. Springer, Heidelberg (2015)
Metadata
Title
Annotated Logics and Intelligent Control
Authors
Seiki Akama
Jair Minoro Abe
Kazumi Nakamatsu
Copyright Year
2016
Book
New Approaches in Intelligent Control

Print ISBN: 978-3-319-32166-0

Electronic ISBN: 978-3-319-32168-4

Copyright Year: 2016

DOI
https://doi.org/10.1007/978-3-319-32168-4_10

Premium Partner

    Image Credits