Set Theory for Knowledge Representation

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

Set-Theoretical Languages for Reasoning in Knowledge Domains

Autor: Cristiano Longo

Jazyk:

Väzba: Brožovaná

Vydavateľ: LAP Lambert Academic Publishing

Dostupnosť: U vydavateľa na objednávku

Odosielame za 17-27 dní

48.52 €

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

Informácie o knihe

Autor

Cristiano Longo

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2012

Stránok

EAN

9783659248719

Enbook ID

06996728

Vydavateľ

LAP Lambert Academic Publishing

Hmotnosť

124

Rozmery

150 x 220 x 4

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Set Theory for Knowledge Representation

Set-Theoretical Languages for Reasoning in Knowledge Domains

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

British Navy

Reign of the Seven Spellblades, Vol. 2 (manga)

Southern Buds and Sons of War

The House On The Strand

The Comedown

New Bankruptcy, The

Road to Berlin

Autistic Transformations

Boom! Comics by Kenya: A What Happens Next Comic Book for Budding Illustrators and Story Tellers

Another Tale from the Eyes of the Rooster: Book Two

Ashes Upon The Snow

State in Eurasia

Dramatic Works of Wycherley, Congreve, Vanbrugh, and Farquhar, with biographical and critical notices by Leigh Hunt. A new edition.

Dictionary for Life

Organizational Culture in Software Industry

Governing under Stress

Practical Research and Evaluation

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Curves Scotland

Gool, gool, la porra quiere gol

Hasselblad Award 2016

Oltre il possibile. Un soldato, quattordici vette. La mia vita nella zona della morte

Marx global