Frame Problem: Fundamentals and Applications

· Artificial Intelligence 第 57 本图书 · One Billion Knowledgeable · AI 讲述者:Mason(来自 Google)
有声读物
4 小时 32 分钟
完整版
符合条件
AI 讲述
评分和评价未经验证  了解详情
想要试听 27 分钟吗?随时畅听,离线也能听。 
添加

关于此有声读物

What Is Frame Problem


The term "frame problem" refers to an issue that arises when utilizing first-order logic (FOL) to convey facts about a robot's situation in the environment. This problem has ramifications for both artificial intelligence and cognitive science. In conventional FOL, representing the state of a robot requires the use of a large number of axioms, many of which merely entail that items in the surrounding environment do not change in an arbitrary manner. For instance, Hayes outlines a "block world" that has laws for how blocks can be stacked on top of one another. In order to draw conclusions about the surrounding world using a FOL system, extra axioms are needed. The frame problem is the challenge of locating sufficient collections of axioms in order to provide a workable description of the environment in which a robot operates.


How You Will Benefit


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


Chapter 1: Frame problem


Chapter 2: First-order logic


Chapter 3: Propositional calculus


Chapter 4: Intuitionistic logic


Chapter 5: Sequent calculus


Chapter 6: Situation calculus


Chapter 7: Answer set programming


Chapter 8: Circumscription (logic)


Chapter 9: Yale shooting problem


Chapter 10: Fluent (artificial intelligence)


(II) Answering the public top questions about frame problem.


(III) Real world examples for the usage of frame problem in many fields.


(IV) 17 appendices to explain, briefly, 266 emerging technologies in each industry to have 360-degree full understanding of frame problem' 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 frame problem.

作者简介

Fouad Sabry is the former Regional Head of Business Development for Applications at HP. Fouad has received his B.Sc. of Computer Systems and Automatic Control in 1996, dual master’s degrees from University of Melbourne (UoM) in Australia, Master of Business Administration (MBA) in 2008, and Master of Management in Information Technology (MMIT) in 2010. Fouad has more than 30 years of experience in Information Technology and Telecommunications fields, working in local, regional, and international companies, such as Vodafone and IBM. Fouad joined HP in 2013 and helped develop the business in tens of markets. Currently, Fouad is an entrepreneur, author, futurist, and founder of One Billion Knowledge (1BK) Initiative.

为此有声读物评分

欢迎向我们提供反馈意见。

聆听信息

智能手机和平板电脑
只要安装 AndroidiPad/iPhone 版的 Google Play 图书应用,不仅应用内容会自动与您的账号同步,还能让您随时随地在线或离线阅览图书。
笔记本电脑和台式机
您可以使用计算机上的网络浏览器阅读在 Google Play 购买的图书。

继续浏览系列丛书

Fouad Sabry的更多图书

类似的有声读物