Skip to main content
SpringerLink
Log in

Reasoning in Practical Situations

  • Conference paper
  • First Online:
Knowledge-Based Intelligent Information and Engineering Systems (KES 2004)

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

  • 1102 Accesses

Abstract

An automatic reasoning system usually consists of the following major components: (1) a formal language that represents knowledge, (2) a semantics that defines meaning and truth value in the language, (3) a set of inference rules that derives new knowledge from existing knowledge, (4) a memory that stores knowledge, and (5) a control mechanism that chooses premises and rules in each inference step. The first three components are usually referred to as a logic, or the logical part of the reasoning system, and the last two as an implementation of, or the control part of the system.

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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. Birnbaum, L.: Rigor mortis: a response to Nilsson’s Logic and artificial intelligence. Artificial Intelligence 47, 57–77 (1991)

    Article  MathSciNet  Google Scholar 

  2. Bocheński, I.: A History of Formal Logic. Chelsea Publishing Company, New York (1970) (Translated and edited by I. Thomas)

    MATH  Google Scholar 

  3. Dreyfus, H.: What Computers Still Can’t Do. MIT Press, Cambridge (1992)

    Google Scholar 

  4. Englebretsen, G.: Three Logicians, Van Gorcum, Assen, The Netherlands (1981)

    Google Scholar 

  5. Hempel, C.: A purely syntactical definition of confirmation. Journal of Symbolic Logic 8, 122–143 (1943)

    Article  MathSciNet  Google Scholar 

  6. McDermott, D.: A critique of pure reason. Computational Intelligence 3, 151–160 (1987)

    Article  Google Scholar 

  7. Michalski, R.: Inference theory of learning as a conceptual basis for multistrategy learning. Machine Learning 11, 111–151 (1993)

    MathSciNet  Google Scholar 

  8. Penrose, R.: Shadows of the Mind. Oxford University Press, Oxford (1994)

    Google Scholar 

  9. Reiter, R.: Nonmonotonic reasoning. Annual Review of Computer Science 2, 147–186 (1987)

    Article  MathSciNet  Google Scholar 

  10. Searle, J.: Minds, brains, and programs. The Behavioral and Brain Sciences 3, 417–424 (1980)

    Article  Google Scholar 

  11. Wang, P.: Non-Axiomatic Reasoning System: Exploring the Essence of Intelligence. PhD thesis, Indiana University (1995)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer and Information Sciences, Temple University, USA

    Pei Wang

Authors
  1. Pei Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. KES International, 2nd Floor, 145-157 St John Street, EC1V 4PY, London, United Kingdom

    Mircea Gh. Negoita

  2. Centre for SMART systems Engineering Research Centre, University of Brighton, BN2 4GJ, Moulsecoomb, Brighton, UK

    Robert J. Howlett

  3. School of Electrical and Information Engineering, Knowledge Based Intelligent Engineering Systems Centre, University of South Australia, Mawson Lakes, 5095, SA, Australia

    Lakhmi C. Jain

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wang, P. (2004). Reasoning in Practical Situations. In: Negoita, M.G., Howlett, R.J., Jain, L.C. (eds) Knowledge-Based Intelligent Information and Engineering Systems. KES 2004. Lecture Notes in Computer Science(), vol 3215. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30134-9_39

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-30134-9_39

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-30134-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation