Kapcsolat
Hogyan vásároljunk
Kézbesítés
Vásárlási tanácsadó
Superposition-based Decision Procedures for Minimal Models
Angol
212 b
Akár 30 napos visszaküldési lehetőség
A vásárlók ilyet vásároltak
/
Puha kötésű
27 592
Ft
/
Puha kötésű
11 247
Ft
/
Puha kötésű
3 571
Ft
/
Puha kötésű
9 669
Ft
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.
Információ a könyvről
Angol
Ajándékozza oda ezt a könyvet még ma
Nagyon egyszerű
1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címéreEzt is ajánljuk
/
Puha kötésű
12 797
Ft
/
Puha kötésű
5 051
Ft
/
Puha kötésű
15 679
Ft
/
Puha kötésű
8 179
Ft
/
Puha kötésű
7 383
Ft
Szia! Libroamiko vagyok, a könyvtanácsadód.
Miben segíthetek?