Superposition-based Decision Procedures for Minimal Models

Name: Superposition-based Decision Procedures for Minimal Models
Brand: Sudwestdeutscher Verlag Fur Hochschulschriften AG
SKU: 9783838128023
Price: 1768 CZK
Availability: InStock

Autor: Matthias Horbach

Jazyk:

Vazba: Brožovaná

Vydavatel: Sudwestdeutscher Verlag Fur Hochschulschriften AG

Dostupnost: Skladem u dodavatele

Odesíláme za 5-8 dnů

1 768 Kč

Superposition is an established decision procedure for various first-order logic theories represente...

Informace o knize

Autor

Matthias Horbach

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2011

Stránek

216

EAN

9783838128023

ISBN

3838128028

Enbook ID

06962255

Vydavatel

Sudwestdeutscher Verlag Fur Hochschulschriften AG

Hmotnost

322

Rozměry

152 x 229 x 12

Kompletní popis

Superposition is an established decision procedure for various first-order logic theories represented by clause sets. A satisfiable theory, saturated by superposition, implicitly defines a minimal Herbrand model. This raises the question in how far superposition can be employed for reasoning about such models. This is indeed often possible when existential properties are considered. However, proving universal properties directly leads to the introduction of Skolem functions and a modification of the minimal model's term-generated domain, changing the examined problem. The author Matthias Horbach describes the first superposition calculus that can explicitly represent existentially quantified variables and that in consequence can compute with respect to a given fixed domain. It does not eliminate existential variables by Skolemization but handles them using additional constraints with which each clause is annotated. The calculus is sound and refutationally complete in the limit for a fixed domain semantics. For special classes of theories, it is even complete for proving properties of the minimal model. It thus gives rise to various decision procedures for minimal model validity.

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Superposition-based Decision Procedures for Minimal Models

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také