Superposition-based Decision Procedures for Minimal Models

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

Autor: Matthias Horbach

Limbă:

Legare: Carte broșată

Editura: Sudwestdeutscher Verlag Fur Hochschulschriften AG

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

430.96 lei

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

Informații despre carte

Autor

Matthias Horbach

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2011

Pagini

216

EAN

9783838128023

ISBN

3838128028

Enbook ID

06962255

Editura

Sudwestdeutscher Verlag Fur Hochschulschriften AG

Greutate

322

Dimensiuni

152 x 229 x 12

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Superposition-based Decision Procedures for Minimal Models

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și