Resource Conscious Quantification and Ontologies with Degrees of Significance

TamPub

Kuvailutiedot

dc.contributor.author Kuusisto, Antti -
dc.date.accessioned 2012-06-17T20:09:15Z
dc.date.available 2012-06-17 17:10:31 -
dc.date.available 2012-06-17T20:09:15Z
dc.date.issued 2010 -
dc.identifier.isbn 978-951-44-8230-4 -
dc.identifier.uri http://tampub.uta.fi/handle/10024/65546
dc.description.abstract 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. -
dc.format.extent 16 -
dc.language.iso en -
dc.publisher Tampereen yliopisto -
dc.title Resource Conscious Quantification and Ontologies with Degrees of Significance -
dc.type fi=Erillisteos | en=Monograph| -
dc.identifier.urn urn:isbn:978-951-44-8230-4 -
dc.type.version fi=Kustantajan versio | en=Publisher's version| -
dc.subject.okm fi=Matematiikka | en=Mathematics| -
dc.oldstats 317 -

Viite kuuluu kokoelmiin:

Kuvailutiedot