Event Calculus: Fundamentals and Applications

· Artificial Intelligence 第 69 冊 · One Billion Knowledgeable
電子書
171
符合資格
評分和評論未經驗證  瞭解詳情

關於本電子書

What Is Event Calculus

Robert Kowalski and Marek Sergot were the ones who initially developed the event calculus in 1986. It is a logical language for representing events and their effects as well as for thinking about those events and their effects. Murray Shanahan and Rob Miller were the ones responsible for its expansion in the 1990s. The event calculus describes the impacts of actions on fluents in a manner that is comparable to that of other languages for thinking about change. On the other hand, events are not always internal to the system. One is able to express the value of fluents at certain specified time points, as well as the events that take place at those time points, as well as the effects of those events, using the event calculus.


How You Will Benefit


(I) Insights, and validations about the following topics:


Chapter 1: Event calculus


Chapter 2: First-order logic


Chapter 3: Frame problem


Chapter 4: Natural deduction


Chapter 5: Open formula


Chapter 6: Method of analytic tableaux


Chapter 7: Situation calculus


Chapter 8: Fluent (artificial intelligence)


Chapter 9: Atomic formula


Chapter 10: Yale shooting problem


(II) Answering the public top questions about event calculus.


(III) Real world examples for the usage of event calculus in many fields.


(IV) 17 appendices to explain, briefly, 266 emerging technologies in each industry to have 360-degree full understanding of event calculus' technologies.


Who This Book Is For


Professionals, undergraduate and graduate students, enthusiasts, hobbyists, and those who want to go beyond basic knowledge or information for any kind of event calculus.

為這本電子書評分

歡迎提供意見。

閱讀資訊

智慧型手機與平板電腦
只要安裝 Google Play 圖書應用程式 Android 版iPad/iPhone 版,不僅應用程式內容會自動與你的帳戶保持同步,還能讓你隨時隨地上網或離線閱讀。
筆記型電腦和電腦
你可以使用電腦的網路瀏覽器聆聽你在 Google Play 購買的有聲書。
電子書閱讀器與其他裝置
如要在 Kobo 電子閱讀器這類電子書裝置上閱覽書籍,必須將檔案下載並傳輸到該裝置上。請按照說明中心的詳細操作說明,將檔案傳輸到支援的電子閱讀器上。