Hyppää sisältöön
    • Suomeksi
    • In English
Trepo
  • Suomeksi
  • In English
  • Kirjaudu
Näytä viite 
  •   Etusivu
  • Trepo
  • Erillisteokset ja sarjajulkaisut
  • Näytä viite
  •   Etusivu
  • Trepo
  • Erillisteokset ja sarjajulkaisut
  • Näytä viite
JavaScript is disabled for your browser. Some features of this site may not work without it.

Resource Conscious Quantification and Ontologies with Degrees of Significance

Kuusisto, Antti (2010)

 
Avaa tiedosto
resource_conscious_quantification_2010.pdf (284.2Kt)
Lataukset: 



Kuusisto, Antti
Tampereen yliopisto
2010

This publication is copyrighted. You may download, display and print it for Your own personal use. Commercial use is prohibited.
Näytä kaikki kuvailutiedot
Julkaisun pysyvä osoite on
https://urn.fi/urn:isbn:978-951-44-8230-4
Tiivistelmä
We discuss formal ontologies where objects can be ranked according to the modes of existence they are associated with. Mathematical objects, for instance, may be ranked according to how admissible they are; it is natural to consider the positive integers more admissible than the very large cardinals, for example. We also give a resource conscious interpretation of the existential quantifier and investigate systems with formal ontologies in the resulting resource conscious setting. In this setting an existentially quantified formula is true if we have enough resources to construct a witness for the quantified variable. The nature of the required resources can be interpreted in various ways, depending on the system studied.
Kokoelmat
  • Erillisteokset ja sarjajulkaisut [1208]
Kalevantie 5
PL 617
33014 Tampereen yliopisto
oa[@]tuni.fi | Tietosuoja | Saavutettavuusseloste
 

 

Selaa kokoelmaa

TekijätNimekkeetTiedekunta (2019 -)Tiedekunta (- 2018)Tutkinto-ohjelmat ja opintosuunnatAvainsanatJulkaisuajatKokoelmat

Omat tiedot

Kirjaudu sisäänRekisteröidy
Kalevantie 5
PL 617
33014 Tampereen yliopisto
oa[@]tuni.fi | Tietosuoja | Saavutettavuusseloste