Skip to main content
SpringerLink
Log in

Methodical Construction of Symbolic Diagrams

  • Conference paper
Advances in Artificial Intelligence - SBIA 2008 (SBIA 2008)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 5249))

Included in the following conference series:

  • 1193 Accesses

Abstract

We introduce a stepwise approach for computing symbolic diagrams. Such logical diagrams display formulas and connections between them and they are useful tools for visualizing connections between formulas as well as for reasoning about them. This incremental approach is modular: it starts from small diagrams and expands them. We explain the method and justify it. We also comment on the application of these ideas and illustrate them with some examples.

Research partly sponsored by CNPq (Brazilian National Research Council) and FAPERJ (Rio de Janeiro State Research Foundation).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Areces, C., Nivelle, H., de Rijke, M.: Resolution in Modal, Description and Hybrid Logic. J. Logic and Computation 11(5), 717–736 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  2. Baader, F., Calvanese, D., McGuiness, D.L., Nardi, D., Pattel-Schneider, P.F.: The Description Logic Handbook: Theory, Implementations, Applications. Cambridge Univ. Press, Cambridge (2003)

    Google Scholar 

  3. Benevides, M.R.F., Delgado, C.A.D., de Freitas, R.P., Veloso, P.A.S., Veloso, S.R.M.: On Modalities for Vague Notions. In: Bazzan, A.L.C., Labidi, S. (eds.) SBIA 2004. LNCS (LNAI), vol. 3171, pp. 1–10. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  4. Béziau, J.-Y.: From Consequence Operator to Universal Logic: a Survey of General Abstract Logic. In: Béziau, J.-Y. (ed.) Logica Universalis, vol. 1, pp. 3–17 (2005)

    Google Scholar 

  5. Burris, S., Sankappanavar, G.: A Course in Universal Algebra. Springer, New York (1980)

    MATH  Google Scholar 

  6. Chellas, B.: Modal Logic: an Introduction. Cambridge Univ. Press, Cambridge (1980)

    Book  MATH  Google Scholar 

  7. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (1995)

    MATH  Google Scholar 

  8. Kozen, D., Tuiryn, J.: Logics of Programs. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, vol. B, pp. 789–840. Elsevier, Amsterdam (1980)

    Google Scholar 

  9. Meyer, J.J.C., van der Hoek, W.: Epistemic Logic for Computer Science and Artificial Intelligence. Cambridge Univ. Press, Cambridge (1995)

    Book  MATH  Google Scholar 

  10. Moore, R.C.: Logic and Representation. Cambridge Univ. Press, Cambridge (1995)

    MATH  Google Scholar 

  11. Moretti, A.: Geometry for Modalities? Yes: through n-opposition Theory. In: Béziau, J.-Y., Costa-Leite, A., Facchini, A. (eds.) Aspects of Universal Logic, pp. 102–145. Univ. Neuchâtel, Neuchâtel (2004)

    Google Scholar 

  12. van Dalen, D.: Logic and Structure, 4th edn. Springer, Berlin (2004)

    Book  MATH  Google Scholar 

  13. Pequeno, T.H.C., Veloso, P.A.S.: Do not Write more Axioms than you Have to. In: Proc. Int. Computing Symp., Taipei, pp. 487–498 (1978)

    Google Scholar 

  14. Rounds, W.C.: Feature Logics. In: van Benthem, J., ter Meulen, A. (eds.) Handbook of Logic and Language. Elsevier, Amsterdam (1997)

    Google Scholar 

  15. Veloso, P.A.S., Carnielli, W.A.: Logics for Qualitative Reasoning. In: Gabbay, D., Rahman, S., Symons, J., van Bendegem, J.P. (eds.) Logic, Epistemology and the Unity of Science, pp. 487–526. Kluwer, Dordretch (2004)

    Chapter  Google Scholar 

  16. Veloso, S.R.M., Veloso, P.A.S.: On Special Functions and Theorem Proving in Logics for Generally. In: Bittencourt, G., Ramalho, G.L. (eds.) SBIA 2002. LNCS (LNAI), vol. 2507, pp. 1–10. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  17. Veloso, P.A.S., Veloso, S.R.M.: On Modulated Logics for Generally: Some Metamathematical Issues. In: Béziau, J.-Y., Costa-Leite, A., Facchini, A. (eds.) Aspects of Universal Logic, pp. 146–168. Univ. Neuchâtel, Neuchâtel (2004)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Progr. Engenharia de Sistemas e Computação, COPPE, Universidade Federal do Rio de Janeiro, Caixa Postal 68511, 21945-970, Rio de Janeiro, RJ, Brasil

    Paulo A. S. Veloso

  2. Depto. Engenharia de Sistemas e Computação, Fac. Eng., Universidade Estadual do Rio de Janeiro, Rio de Janeiro, RJ, Brasil

    Sheila R. M. Veloso

Authors
  1. Paulo A. S. Veloso
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Sheila R. M. Veloso
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Systems Engineering and Computer Science - COPPE, Federal University of Rio de Janeiro (UFRJ), Brazil

    Gerson Zaverucha

  2. Department of Automation and Systems, Federal University of Santa Catarina, CEP 88.040-900, Brazil

    Augusto Loureiro da Costa

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Veloso, P.A.S., Veloso, S.R.M. (2008). Methodical Construction of Symbolic Diagrams. In: Zaverucha, G., da Costa, A.L. (eds) Advances in Artificial Intelligence - SBIA 2008. SBIA 2008. Lecture Notes in Computer Science(), vol 5249. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-88190-2_24

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-88190-2_24

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-88189-6

  • Online ISBN: 978-3-540-88190-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation