Skip to main content
SpringerLink
Log in

Logics for inheritance theory

  • Applications
  • Conference paper
  • First Online:
Non-Monotonic Reasoning (NMR 1988)

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

Included in the following conference series:

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. N. Belnap. “A useful four-valued logic.” In J. Dunn and G. Epstein (eds.), Modern uses of multiple-valued logic, D. Reidel, 1977, pp. 8–37.

    Google Scholar 

  2. J. Delgrande, “An approach to default reasoning based on a first-order conditional logic: revised report.” Artificial Intelligence, vol. 36 (1988), pp. 63–90.

    Google Scholar 

  3. J. Doyle. Some theories of Reasoned Assumptions. Department of Computer Science, Carnegie Mellon University, 1983. Technical Report No. CMU-CS-83-125.

    Google Scholar 

  4. D. Etherington and R. Reiter, “On inheritance hierarchies with exceptions.” In Proceedings of AAAI-83, Morgan Kaufmann (1983), pp. 104–108.

    Google Scholar 

  5. D. Etherington, “Formalizing nonmonotonic reasoning systems.” Artificial Intelligence, vol. 31 (1987), pp. 41–85.

    Google Scholar 

  6. D. Etherington, Reasoning with Incomplete Information. Morgan Kaufmann (1988), viii+240 pp.

    Google Scholar 

  7. H. Geffner and J. Pearl, “A framework for reasoning with defaults.” Technical Report R-94-III, Computer Science Department, University of California at Los Angeles (1988), 17 pp.

    Google Scholar 

  8. M. Gelfond and H. Przymusinska, “Inheritance hierarchies and autoepistemic logic.” Forthcoming Technical Report, Computer Science Department, University of Texas at El Paso.

    Google Scholar 

  9. B. Haugh, “Tractable theories of multiple defeasible inheritance in ordinary nonmonotonic logics.” In Proceedings of AAAI-88, Morgan Kaufmann (1988), pp. 421–426.

    Google Scholar 

  10. J. Horty, R. Thomason, and D. Touretzky, “A skeptical theory of inheritance in nonmonotonic semantic nets.” Department of Computer Science, Carnegie Mellon University, 1987. Technical Report No. CMU-CS-87-175. Forthcoming in Artificial Intelligence.

    Google Scholar 

  11. J. Horty, R. Thomason, and D. Touretzky, “A skeptical theory of inheritance in nonmonotonic semantic nets.” In AAAI-87 (Proceedings of the Sixth National Conference on Artificial Intelligence). Volume 2, Morgan Kaufmann, Los Altos, 1987, pp. 358–363.

    Google Scholar 

  12. J. Horty, “Nonmonotonic inheritance and nonmonotonic logic.” Forthcoming Technical Report, Computer Science Department, Carnegie Mellon University.

    Google Scholar 

  13. J. Horty, “Credible extensions of defeasible theories.” Forthcoming Technical Report, Computer Science Department, Carnegie Mellon University.

    Google Scholar 

  14. K. Konologe, “Hierarchic autoepistemic theories for nonmonotonic reasoning.” In Proceedings of AAAI-88, Morgan Kaufmann (1988), pp. 439–443.

    Google Scholar 

  15. V. Lifschitz, “Some results on circumscription.” Proceedings of the non-monotonic reasoning workshop, New Paltz, NY. AAAI (1984), pp. 151–164.

    Google Scholar 

  16. V. Lifshitz, “Circumscriptive theories: a logic-based framework for knowledge representation.” Journal of Philosophical Logic, vol. 17 (1989), forthcoming.

    Google Scholar 

  17. R. Loui, “Defeat among arguments: a system of defeasible inference.” Computational Intelligence, vol. 3 (1987), pp. 100–106.

    Google Scholar 

  18. P. Morris, “The anomalous extension problem in default reasoning.” Artificial Intelligence, vol. 35 (1988), pp. 383–399.

    Google Scholar 

  19. D. Poole, “On the comparison of theories: preferring the most specific explanation.” In Proceedings of IJCAI-85, Morgan Kaufmann (1985), pp. 144–147.

    Google Scholar 

  20. R. Thomason, J. Horty, and D. Touretzky, “A calculus for inheritance in monotonic semantic nets.” Department of Computer Science, Carnegie Mellon University, 1986. Technical Report No. CMU-CS-86-138.

    Google Scholar 

  21. R. Thomason, J. Horty, and D. Touretzky, “A calculus for inheritance in monotonic semantic nets.” In Z. Ras and M. Zemankova (eds.), Methodologies for intelligent Systems (Proceedings of the Second International Symposium on Methodologies for Intelligent Systems), North-Holland, Amsterdam, 1987, pp. 280–287.

    Google Scholar 

  22. R. Thomason and J. Aronis, “Hybridizing nonmonotonic inheritance with theorem proving.” Forthcoming.

    Google Scholar 

  23. D. Touretzky, Implicit ordering of defaults in inheritance systems. In Proceedings of AAAI-84, Morgan Kaufmann (1984), pp. 322–325.

    Google Scholar 

  24. D. Touretzky, The mathematics of inheritance systems. Morgan Kaufmann, Los Altos, CA, 1986.

    Google Scholar 

  25. D. Touretzky, J. Horty, and R. Thomason, “A clash of intuitions: the current state of non-monotonic multiple inheritance systems.” In Proceedings of IJCAI-87, Morgan Kaufmann, Los Altos, 1987, pp. 476–482.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Intelligent Systems Program, University of Pittsburgh, 15260, Pittsburgh, PA, USA

    Richmond H. Thomason

  2. Computer Science Department, Carnegie Mellon University, 15213, Pittsburgh, PA, USA

    John F. Horty

Authors
  1. Richmond H. Thomason
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. John F. Horty
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

M. Reinfrank J. de Kleer M. L. Ginsberg E. Sandewall

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Thomason, R.H., Horty, J.F. (1988). Logics for inheritance theory. In: Reinfrank, M., de Kleer, J., Ginsberg, M.L., Sandewall, E. (eds) Non-Monotonic Reasoning. NMR 1988. Lecture Notes in Computer Science, vol 346. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-50701-9_30

Download citation

  • DOI: https://doi.org/10.1007/3-540-50701-9_30

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-50701-7

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation