..:: BİLGİ VADİSİ ::.. BİLGİ VADİSİ RSS   TWİTTER   BİLGİ VADİSİ FORUM FACE GRUBU  

Anasayfa Kimler Çevrimiçi Bugünkü Mesajlar Forumları Okundu Kabul Et
Geri git   ..:: BİLGİ VADİSİ ::.. > BİLGİSAYAR & İNTERNET BÖLÜMÜ > BİLGİSAYAR GENEL EĞİTİM BÖLÜMÜ
Google

BİLGİSAYAR GENEL EĞİTİM BÖLÜMÜ Bilgisayar hakkında merak ettiğiniz her şeyi ve püf noktaları burada bulabilirsiniz

   

 
Konu Bilgileri
Konu Başlığı
Verifiable Autonomous Systems
Konudaki Cevap Sayısı
0
Şuan Bu Konuyu Görüntüleyenler
 
Görüntülenme Sayısı
6

Yeni Konu aç Cevapla
 
Seçenekler Stil
Eski 21.06.23, 21:45   #1
jockers
 
jockers - ait Kullanıcı Resmi (Avatar)
Kullanıcı Bilgileri
 
Üye Numarası: 17635
Üyelik tarihi: 23.04.2018
Mesajlar: 12.651
Konular: 12651
Rep Bilgisi
Rep Gücü : 19
Rep Puanı : 10
Rep Seviyesi : jockers is on a distinguished road
Aktivite
Level: 70 [♥ Bé-Yêu ♥♥ Bé-Yêu ♥♥ Bé-Yêu ♥♥ Bé-Yêu ♥♥ Bé-Yêu ♥]
Paylaşım: 862 / 1725
Güç: 4217 / 32955
Tecrübe: 2%

İletişim
Standart Verifiable Autonomous Systems




pdf | 8.2 MB | English | Isbn:‎ B0BZJ9DLMW | Author: Louise A. Dennis | Year: 2023


Description:

Alıntı:
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 toolkit Gwendolen, written in Java.



Verifiable Autonomous Systems. Using Rational Agents.rar
Kod:
https://rapidgator.net/file/3fd053f53a71b6d5f8f5c61b1252e48c/Verifiable.Autonomous.Systems..Using.Rational.Agents.rar
Fikper_IMAGE
Verifiable Autonomous Systems. Using Rational Agents.rar
Kod:
https://fikper.com/piPvBwpRW0/Verifiable.Autonomous.Systems..Using.Rational.Agents.rar.html

Verifiable Autonomous Systems. Using Rational Agents.rar
Kod:
https://ddownload.com/6ge7djslm0nn/Verifiable.Autonomous.Systems..Using.Rational.Agents.rar
ww.uydulife.tv
jockers isimli Üye şimdilik offline konumundadır   Alıntı ile Cevapla
Yeni Konu aç Cevapla

Bookmarks


Konuyu Toplam 1 Üye okuyor. (0 Kayıtlı üye ve 1 Misafir)
 

Yetkileriniz
Yeni Mesaj yazma yetkiniz Aktif değil dir.
Mesajlara Cevap verme yetkiniz aktif değil dir.
Eklenti ekleme yetkiniz Aktif değil dir.
Kendi Mesajınızı değiştirme yetkiniz Aktif değildir dir.

BB code is Açık
Smileler Açık
[IMG] Kodları Açık
HTML-KodlarıKapalı

Gitmek istediğiniz klasörü seçiniz


Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2024, vBulletin Solutions, Inc.
Dizayn ve Kurulum : Makinist
Forum SEO by Zoints

E-Marine Education | Vbulletin | Tosfed |
www.bilgivadisi.biz   www.bilgivadisi.biz