Manipulating conflicts and uncertainties in robotics

Journal of Multiple-Valued Logic and Soft Computing

Volumn 9, Issue 2, 2003, Pages 147-169

  Abe, Jair Minoro ^a   Da Silva Filho, João Inácio ^b  

^a UNIVERSITY OF SÃO PAULO   (Brazil)

^b PAULISTA UNIVERSITY   (Brazil)

Author keywords

Many valued logics; Paraconsistency and robotics; Paraconsistent logics

Indexed keywords

ALGORITHMS; COMPUTER SOFTWARE; DIGITAL CIRCUITS; FUZZY SETS; LOGIC CIRCUITS; LOGIC PROGRAMMING; MANY VALUED LOGICS; MOBILE ROBOTS;

PARACONSISTENCY; PARACONSISTENT ANNOTATED LOGICS;

ROBOTICS;

EID: 1842482898     PISSN: 15423980     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (23)

1. Subrahmanian, V.S. (1987). On the Semantícs of Quantítatíve Logíc Programs, Proc. 4th IEEE Symposium on Logic Programming, Computer Society Press, Washington D.C., 173-182.
2. Blair, H. A. & V. S. Subrahmanian. (1987). Paraconsistent Logic Programming, Proc. 7th Conference on Foundations of Software Technology and Theoretical Computer Science, Lecture Notes in Computer Science, vol. 287, 340-360, Springer-Verlag.
3. Da Costa, N.C.A., J.M. Abe & V.S. Subrahmanian. (1991). Remarks on Annotated Logic, Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik, 37, 561-570.
4. Abe, J.M. (1992). "Fundamentos da Lógica Anotada" (Foundations of Annotated Logics). in Portuguese, Ph.D. Thesis, University of São Paulo, São Paulo.
5. Abe, J.M., Some Aspects of Paraconsistent Systems and Applications, Logique et Analyse, 157, (1997), 83-96.
6. Kifer, M. & E. Lozinskii. (1989) RI: A Logic for Reasoning with Inconsistency, LICS-89.
7. Kifer, M. & T. Krishnaprasad. (1989). An Evidence Based for a Theory of Inheritance, Proc. 11th International Joint Conf. on Artificial Intelligence, 1093-1098, Morgan-Kaufmann.
8. Kifer, M. and J. Wu. (1989). A Logic for Object Oriented Logic Programming, Proc. 8th ACM Symp. on Principles of Database Systems, 379-393.
9. Ávila, B.C., J.M. Abe & J.P.A. Prado. (1997). ParaLog-e: A Paraconsistent Evidential Logic Programming Language, XVII International Conference of the Chilean Computer Science Society, IEEE Computer Society Press, pp 2-8, Valparaíso, Chile.
10. Abe, J.M., B.C. Ávila & K. Nakamatsu. (1999). Paraconsistent Annotated Logic Programming - Paralog, International Journal of Computing Anticipatory Systems, 6, 51-65.
11. Prado, J.P.A., Uma Arquitetura em IA Baseada em Lógica Paraconsistente, Ph.D. Thesis, in Portuguese, University of São Paulo, Brazil, 1996.
12. Da Silva Fihlo, J.I., Implementação de Circuitos Lógicos Fundamentados em Uma Classe de Lógicas Paraconsistentes Anotada, in Portuguese, Master Thesis, University of São Paulo, São Paulo, 1997.
13. Abe, J.M. & J.I. Da Silva Filho. (1998). Inconsistency and Electronic Circuits, Proceedings of The International ICSC Symposium on Engineering of Intelligent Systems (EIS'98), Volume 3, Artificial Intelligence, Editor: E. Alpaydin, ICSC Academic Press International Computer Science Conventions Canada/Switzerland, ISBN 3-906454-12-6, 191-197.
14. Da Silva Filho, J.I. & J.M. Abe. (1999). Para-Fuzzy Logic Controller - Part II: A Hybrid Logical Controller Indicated for Treatment of Fuzziness and Inconsistencies, Proceedings of the International ICSC Congress on Computational Intelligence Methods and Applications - CIMA'99, Rochester Institute of Technology, RIT, Rochester, N.Y., USA, ISBN 3-906454-18-5, Editors: H. Bothe, E. Oja, E. Massad & C. Haefke, ICSC Academic Press, International Computer Science Conventions, Canada/Switzerland, 106-112.
15. Rosser, J.B. & A. Turquette. (1952). Many-Valued Logics, North Holland Publishing Company, (Second Edition, Greenwood).
16. Nakamatsu, K., J.M. Abe & A. Suzuki. (2000). Annotated Semantics for Defeasible Deontic Reasoning, Rough Sets and Current Trends in Computing, The Second International Conference on Rough Sets and Current Trends in Computing - RSCTC'2000, Banff, Canada, Lecture Notes in Artificial Intelligence series, LNAI 2005, Springer-Verlag, 470-478.
17. Akama, S. & J.M. Abe. (2000). Fuzzy annotated logics, Proc. of 8th International Conference on Information Processing and Management of Uncertainty in Knowledge Based Systems, IPMU'2000, Organized by: Universidad Politécnica de Madrid (Spain), July 3-7, 2000, Madri, Espanha, Vol. 1, 504-508.
18. Abe, J.M. (2001). Annotated logics Qτ and model theory, in Logic, Artificial Intelligence, and Robotics, Proc. 2nd Congress of Logic Applied to Technology - LAPTEC'2001, Eds. J.M. Abe & J.I. Da Silva Filho, Frontiers in Artificial Intelligence and Its Applications, IOS Press, Amsterdam, Ohmsha, Tokyo, 71, 1-12.
19. Dempster, A.P. (1968). Generalization of Bayesian inference, Journal of the Royal Statistical Society, Séries B-30, 205-247.
20. Duda, R.O., P.E. Hart, K. Konolid, & R. Reboh. (1979). A computer-based Consultant for Mineral Exploration, TR, SRI International.
21. Da Silva Filho, J.I. & J.M. Abe. (2001). Paraconsistent electronic circuits, International Journal of Computing Anticipatory Systems, 9, 337-345.
22. Da Silva Filho, J.I. & J.M. Abe. (2001). Paraconsistent analyser module, International Journal of Computing Anticipatory Systems, 9, 346-352.
23. Da Silva Filho, J.I. & J.M. Abe. (2001). Para-Control: An Analyser Circuit Based On Algorithm For Treatment of Inconsistencies, Proc. of the World Multiconference on Systemics, Cybernetics and Informatics, ISAS, SCI 2001, Vol. XVI, Cybernetics and Informatics: Concepts and Applications (Part I), 199-203, Orlando, Florida, USA.