下载此文档

Cellular Automata Generalized to an Inferential System：元胞自动机广义推理系统.ppt

文档分类：研究报告 | 页数：约65页举报非法文档有奖

1/65

下载提示

1.该资料是网友上传的，本站提供全文预览，预览什么样，下载就什么样。
2.下载该文档所得收入归上传者、原创者。
3.下载的文档，不会出现我们的网址水印。

同意并开始全文预览

(约 1-6 秒)

1/65 下载此文档

文档列表 文档介绍

该【Cellular Automata Generalized to an Inferential System：元胞自动机广义推理系统】是由【核辐射】上传分享，文档一共【65】页，该文档可以免费在线阅读，需要了解更多关于【Cellular Automata Generalized to an Inferential System：元胞自动机广义推理系统】的内容，可以使用淘豆网的站内搜索功能，选择自己适合的文档，以下文字是截取该文章内的部分文字，如需要获得完整电子版，请下载此文档到您的设备，方便您编辑和打印。CellularAutomataGeneralizedtoanInferentialSystem:元胞自动机广义推理系统
WhyStartwithBooleanAlgebra?
ThefollowingfewslidesonBooleanAlgebraaresolelytosetthestageforanalogousoperationswithclassicallogicfunctions(andcellularautomata).
SomeBasicBooleanQuestions
HowareBooleanfunctionsdefined?
HowaresyntacticallycorrectBooleanformulasproduced?
WhatisagoodcanonicalexpressionforBooleanfunctions?
WhyIsItHelpful?
Usefulforbothlogicfunctionsandcellularautomata
AxiomsofBooleanAlgebrausedinBayes’sTheorem
CanonicalexpressionssubstitutedforcomplicatedlogicandCArules
FormalRules,BooleanAlgebra,andProbabilityTheory
Perfectchoicefordiscussingformalmanipulationrulesofprobabilitytheorywheretheactualnumericalassignmentsarenottheissue.
BooleanAlgebraonafinitecarriersetisa“closed”system,thatis,,neithernumbersnorarithmeticoperationsarerequiredtofindthatanswer.
BooleanAlgebra
Thecarrierset
Binaryoperators
SpecialElements
Functiondefinition:Amappingfromthesetoforderedpairsofthecarriertoanelementinthecarrierset.
Characterizedbythequintuple
BooleanAlgebra
Anexampleofacarriersetwithfourelements
All16orderedpairsfromthecarrierset
AmappingfromanelementofBxBintoanelementofB
ExampleofBooleanFunction
FunctionTable
BooleanFormula
Substitutespecificarguments
Boole’sExpansionTheorem
(DNF).
DisjunctiveNormalForm
Forexample,hereistheexpansionofanyBooleanfunctionf(x,y)withn=2arguments.
Thesearecalledthediscriminants.

Cellular Automata Generalized to an Inferential System：元胞自动机广义推理系统来自淘豆网www.taodocs.com转载请标明出处.