Assertion Level Proof Planlægning med kompilerede strategier
- ophavsmand: Dietrich, Dr. Dominik
- Verfügbarkeit: Auf Lager
- EAN: 9783863760199
€39,90
Denne bog præsenterer nye teknikker, der tillader automatisk verifikation og generering af abstrakte beviser i menneskelig stil. Kernen i denne tilgang bygger en effektiv calculus, der virker direkte ved at anvende definitioner, sætninger og aksiomer, som reducerer størrelsen af det underliggende bevisobjekt med en faktor på 10. Kalkylen er udvidet...
Denne bog præsenterer nye teknikker, der tillader automatisk verifikation og generering af abstrakte beviser i menneskelig stil. Kernen i denne tilgang bygger en effektiv calculus, der virker direkte ved at anvende definitioner, sætninger og aksiomer, som reducerer størrelsen af det underliggende bevisobjekt med en faktor på 10. Kalkylen er udvidet med det dybe inferensparadigme, som tillader anvendelsen af slutningsregler i vilkårlig dybde inde i logiske udtryk og giver nye beviser, der er eksponentielt kortere og ikke tilgængelige i sekventielregningen uden cut. Derudover udvikles et strategisprog for abstrakte underspecificerede deklarative bevismønstre. Tilsammen udgør de komplementære metoder en ramme til at automatisere deklarative beviser. Fordelene ved teknikkerne er illustreret ved praktiske anvendelser.
Detaljer
- Titel: Assertion Level Proof Planning med kompilerede strategier
- Forfatter: Dr. Dominik Dietrich
- Udgave: 1. udgave
- Universitet: Saarlands Universitet
- Udgivet: 1. udgave 08/10/2012
- Afdeling: elektroteknik og informationsteknologi
- Produkttype: Bog (hardcover)
- Produkttype: Afhandling
- Sprog: Engelsk
- Indbinding: Softcover (paperback)
- Mål: 21,0 x 14,8 cm (DIN A5)
- Størrelse: XX / 341 sider
- Tilstand: Ny (krympeindpakket i folie)
- Nøgleord: påstandsniveau, baglæns anvendelse, CORE, deklarativt bevis, deklarativ taktik, deduktionsmodul, dyb anvendelse, dyb inferens, inferensparadigme, niveaubevis, bevisplanlægning, bevisforfining, bevisscripts, bevisstrategier, bevisteori, tautologier
Forfatter
Dominik Dietrich blev født i 1980 i Saarbrücken, Tyskland. Han studerede datalogi og matematik ved Saarlands Universitet i Saarbrücken, hvor han fik sin Ph.D i 2011 under vejledning af Jörg Siekmann. Hans forskning fokuserer på automatiseret ræsonnement, formelle metoder og semantisk baseret data- og processtyring. Dominik arbejder i øjeblikket som forsker i Cyber Physical Systems-afdelingen i det tyske forskningscenter for kunstig intelligens (DFKI) i Bremen.
Downloads
DRM: Digitalt vandmærke
Denne e-bog indeholder et digitalt vandmærke og er derfor personliggjort til dig. Hvis e-bogen videregives til tredjeparter på misbrug, er det muligt at spore den tilbage til kilden.
Filformat: PDF (Portable Document Format)
Med et fast sidelayout er PDF'en særdeles velegnet til fagbøger med spalter, tabeller og figurer. En PDF kan vises på næsten alle enheder, men er kun egnet i begrænset omfang til små skærme (smartphone, e-reader).
Systemkrav:
PC/Mac: Du kan læse denne e-bog med en pc eller Mac. Du skal bruge en PDF-fremviser - fx Adobe Reader.
e-læser: Denne e-bog kan læses med (næsten) alle e-bogslæsere. Den er dog ikke kompatibel med Amazon Kindle.
Smartphone/tablet: Uanset om det er Apple eller Android, kan du læse denne e-bog. Du skal bruge en PDF-fremviser - fx Adobe Reader.
Køb af e-bøger fra udlandet
Af skatteretlige årsager kan vi sælge e-bøger kun inden for Tyskland og Schweiz. Vi kan desværre ikke opfylde e-bogsordrer fra andre lande.