Over 10 mio. titler Fri fragt ved køb over 499,- Hurtig levering Forlænget returret til 31/01/25

Intensional First-Order Logic

  • Format
  • Bog, hardback
  • Engelsk
  • 542 sider

Beskrivelse

This book introduces the properties of conservative extensions of First Order Logic (FOL) to new Intensional First Order Logic (IFOL). This extension allows for intensional semantics to be used for concepts, thus affording new and more intelligent IT systems. Insofar as it is conservative, it preserves software applications and constitutes a fundamental advance relative to the current RDB databases, Big Data with NewSQL, Constraint databases, P2P systems and Semantic Web applications. Moreover, the many-valued version of IFOL can support the AI applications based on many-valued logics.

Læs hele beskrivelsen
Detaljer
  • SprogEngelsk
  • Sidetal542
  • Udgivelsesdato16-09-2022
  • ISBN139783110994940
  • Forlag de Gruyter, Walter, GmbH
  • FormatHardback
  • Udgave1
Størrelse og vægt
  • Vægt1199 g
  • Dybde3,9 cm
  • coffee cup img
    10 cm
    book img
    17,5 cm
    24,6 cm

    Findes i disse kategorier...

    Machine Name: SAXO080