Skip to main content
SpringerLink
Log in

Cognitive Reasoning Framework: Possibilities, Problems, Prospects

  • Conference paper
  • First Online:
Book cover Proceedings of the First International Scientific Conference “Intelligent Information Technologies for Industry” (IITI’16)

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 450))

  • 1014 Accesses

Abstract

The paper discusses a general scheme of constructing different systems of artificial intelligence and data mining. This scheme interprets various intelligent technologies as kinds of reasoning. All of these kinds of reasoning aim to cognition and formation of domain models. We assume that reasoning has a referential character, i.e. reasoning can use semantic arguments as well as syntactic rules of deduction. We use some non-classical logics to formalize cognitive reasoning.

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 169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.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

References

  1. Anshakov, O., Gergely, T.: Cognitive Reasonimg: A Formal Approach. Springer (2010)

    Google Scholar 

  2. Rosser, J.B., Turquette, A.R.: Many-valued logics. Br. J. Philos. Sci. 5(17), 80–83 (1954)

    Google Scholar 

  3. Anshakov, O.M., Finn, V.K., Skvortsov, D.P.: On axiomatization of many-valued logics associated with formalization of plausible reasonings. Stud. Logica. 48(4), 423–447 (1989)

    Article  MathSciNet  MATH  Google Scholar 

  4. Anshakov, O., Rychkov, S.: On finite-valued propositional logical calculi. Notre Dame J. Formal Logic 36(4), 606–629 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  5. Mill, J.S.: A System of Logic. University Press of the Pacific, Honolulu (2002)

    Google Scholar 

  6. Finn, V.K.: Plausible inferences and plausible reasoning.Itogi Nauki i Tekhniki. Ser. Teor. Veroyatn. Mat. Stat. Teor. Kibern. 28, 3–84 (1988). [English version in: Journal of Soviet Mathematics, 56:1 (1991), 2201–2248.]

    Google Scholar 

  7. Finn, V.K.: Timely notes about the JSM method for automatic hypothesis generation. Autom. Documentation Math. Linguist. 43, 5, 257–269 (2009)

    Google Scholar 

  8. Anshakov, O.M.: The JSM method: a set-theoretical explanation. Autom. Documentation Math. Linguist. 46(5), 202–220 (2012)

    Article  Google Scholar 

  9. Lyfenko, N.D.: An approach to text data categorization based on the ideas of J.S. Mill. Autom. Documentation Math. Linguist. 49(6), 202–212 (2015)

    Article  Google Scholar 

  10. Hajek, P., Havranek, T.: Mechanizing Hypothesis Formation. Springer (1978)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Russian State University for the Humanities, Moscow, Russia

    Oleg Anshakov

  2. Applied Logic Laboratory, Budapest, Hungary

    Tamás Gergely

Authors
  1. Oleg Anshakov
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Tamás Gergely
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Oleg Anshakov .

Editor information

Editors and Affiliations

  1. Sci N/w for Innova and Research Exc, Machine Intelligence Research Labs, Auburn, Washington, USA

    Ajith Abraham

  2. Rostov State Transport University, Rostov-on-Don, Russia

    Sergey Kovalev

  3. Bauman Moscow State Technical University, Moscow, Russia

    Valery Tarassov

  4. Institute of Mathematics, VŠB-Technical University of Ostrava, Ostrava, Czech Republic

    Václav Snášel

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this paper

Cite this paper

Anshakov, O., Gergely, T. (2016). Cognitive Reasoning Framework: Possibilities, Problems, Prospects. In: Abraham, A., Kovalev, S., Tarassov, V., Snášel, V. (eds) Proceedings of the First International Scientific Conference “Intelligent Information Technologies for Industry” (IITI’16). Advances in Intelligent Systems and Computing, vol 450. Springer, Cham. https://doi.org/10.1007/978-3-319-33609-1_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-33609-1_1

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-33608-4

  • Online ISBN: 978-3-319-33609-1

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation