Set Theory for Knowledge Representation

Name: Set Theory for Knowledge Representation
Brand: LAP Lambert Academic Publishing
SKU: 9783659248719
Price: 17405 HUF
Availability: InStock

Set-Theoretical Languages for Reasoning in Knowledge Domains

Szerző: Cristiano Longo

Nyelv:

Kötés: Puha kötésű

Kiadó: LAP Lambert Academic Publishing

Elérhetőség: Kiadói készleten rendelésre

Küldés 17-27 napon belül

17 405 Ft

The decision problem in set theory has been intensively investigated in the last decades, and decisi...

Információk a könyvről

Szerző

Cristiano Longo

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2012

oldal

EAN

9783659248719

Enbook ID

06996728

Kiadó

LAP Lambert Academic Publishing

Súly

124

Méretek

150 x 220 x 4

Teljes leírás

The decision problem in set theory has been intensively investigated in the last decades, and decision procedures or proofs of undecidability have been provided for several quantified and unquantified fragments of set theory. In this book we study the decision problem for three novel quantified fragments of set theory, which allow the explicit manipulation of ordered pairs. We present a decision procedure for each language of this family, and prove that all of these procedures are optimal (in the sense that they run in nondeterministic polynomial-time) when restricted to formulae with quantifier nesting bounded by a constant. The expressive power of languages of this family is then measured in terms of set-theoretical constructs they allow to express. In addition, these languages can be profitably employed in knowledge representation, since they allow to express a large amount description logic constructs.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Set Theory for Knowledge Representation

Set-Theoretical Languages for Reasoning in Knowledge Domains

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták