Verifiable Autonomous Systems Av Louise A. (University Of Manchester) Dennis, Michael (University Of Manchester) Fisher

Verifiable Autonomous Systems Av Louise A. (University Of Manchester) Dennis, Michael (University Of Manchester) Fisher

How can we provide guarantees of behaviours for autonomous systems such as driverless cars? This tutorial text, for professionals, researchers and graduate students, explains how autonomous systems, from intelligent robots to driverless cars, can be programmed in ways that make them amenable to formal verification. The author......
fra 899,-
Tilgjengelig i 1 butikker
Frakt og levering
Beskrivelse
How can we provide guarantees of behaviours for autonomous systems such as driverless cars? This tutorial text, for professionals, researchers and graduate students, explains how autonomous systems, from intelligent robots to driverless cars, can be programmed in ways that make them amenable to formal verification. The authors review specific definitions, applications and the unique future potential of autonomous systems, along with their impact on safer decisions and ethical behaviour. Topics discussed include the use of rational cognitive agent programming from the Beliefs-Desires-Intentions paradigm to control autonomous systems and the role model-checking in verifying the properties of this decision-making component. Several case studies concerning both the verification of autonomous systems and extensions to the framework beyond the model-checking of agent decision-makers are included, along with complete tutorials for the use of the freely-available verifiable cognitive agent too

Produktinformasjon

Utforsk Verifiable Autonomous Systems

Er du nysgjerrig på hvordan autonome systemer, fra intelligente roboter til førerløse biler, kan programmeres for å garantere trygge og etiske handlinger? Verifiable Autonomous Systems Av Louise A. (University Of Manchester) Dennis, Michael (University Of Manchester) Fisher er din nøkkel til å forstå dette komplekse feltet!

En komplett guide for fagfolk og studenter

Dette tutorialmaterialet er skreddersydd for fagfolk, forskere og masterstudenter, og gir deg innsikt i hvordan vi kan implementere formell verifikasjon av autonome systemer. Ved å dykke ned i emner som:

  • Definisjoner og anvendelser av autonome systemer
  • Rasjonell kognitiv agentprogrammering basert på Beliefs-Desires-Intentions-paradigmet
  • Bruken av modellkontroll for å verifisere beslutningstaking

Praktiske eksempler og case-studier

Boken inneholder flere case-studier som utforsker verifikasjon av autonome systemer, samt utvidelser til rammen av modellkontroll. Leserne vil også finne:

  • Komplette opplæringer for bruk av gratis tilgjengelige verifiserbare kognitive agentverktøy
  • Diskusjoner om etiske dilemmaer relatert til autonome beslutningstakere

En framtid med trygge autonome systemer

Med Verifiable Autonomous Systems kan du være med på å forme fremtidens teknologi. Det handler ikke bare om hastighet; det handler om å ta riktige valg og sørge for at førerløse biler og intelligente roboter fungerer på en trygg, etisk og pålitelig måte. Er du klar til å ta steget inn i fremtiden?

Spesifikasjon

Produkt
ProduktnavnVerifiable Autonomous Systems av Louise A. (University of Manchester) Dennis, Michael (University of Manchester) Fisher
MerkeOther Brand

Pris og prishistorikk

Akkurat nå er 899,- den billigste prisen for Verifiable Autonomous Systems Av Louise A. (University Of Manchester) Dennis, Michael (University Of Manchester) Fisher blant 1 butikker hos Prisradar. Sjekk også vår topp 5-rangering av beste teknikk, ingeniør og primær for å være sikker på at du gjør det beste kjøpet.

Prisutvikling:
Stabil
Laveste pris:
899,-
Gjennomsnittspris:
899,-
Høyeste pris:
899,-
Beste tilbudet:
norli.no
Tilgjengelig