意向系统的形式模型的要素

可在www.sciencedirect.com在线获取理论计算机科学电子笔记324（2016）51-66www.elsevier.com/locate/entcs意向系统的形式模型的要素AntooCalcio CarlosdaRochaCosta1，2ProgramadeP'os-GraduapuricpuricaoemInform'aticanaEducapuricpuricao-PGIEUniversidade Federal do Rio Grande do Sul -UFRGS巴西阿雷格里港ProgramadeP'os-GraduapuzzoemComputapuzzo-PPGCompFederal doRio Grande -FURG天气-格兰德河，巴西摘要本文介绍了为意向系统定义一个正式的、面向计算的模型所需的基本概念。首先，本文简要回顾了意向性的中心概念，以使作品语境化。其次，对意向行为的主要类型进行了刻画，定义了意向过程和意向系统的概念，并给出了意向系统形式模型的基础。 接下来，在一个简短的案例研究中，提出并讨论了一个样本静态意向系统的形式化模型。接下来，指出了实现意向系统的全边缘形式模型所缺乏的特征。最后，讨论了本文所介绍的意向系统的形式模型与形式语言常用的语义模型之间的关系。保留字：现象学，意向性，意向过程，意向系统，形式语义学。1引言现象学[10]是哲学的一个领域，研究经验的结构和构成经验的意识行为，无论是否意识行为的特征是它的意向性，也就是说，它对一个对象的指向性。因此，意识行为是意向行为。意向行为的时间序列构成了所谓的意向过程。我们称任何执行意向过程的系统为意向系统。在本文中，我们介绍了一个面向计算的意向系统的正式模型的元素，这意味着它被认为具有其计算能力，1CNPq为这项工作提供了部分财政支助2电子邮件：ac.rocha. gmail.comhttp://dx.doi.org/10.1016/j.entcs.2016.09.0061571-0661/© 2016作者。出版社：Elsevier B.V.这是一篇基于CC BY-NC-ND许可证的开放获取文章（http://creativecommons.org/licenses/by-nc-nd/4.0/）。52A.C. da Rocha Costa/Electronic Notes in Theoretical Computer Science 324（2016）51×××Fig. 1. 胡塞尔广场在多智能体系统中，通过智能体技术实现智能体[11]。我们的工作基于埃德蒙·胡塞尔本文的结构如下。在第二节中，我们回顾了意向行为和意向过程的概念，这是本书的主要背景概念。节中3.引入了意向系统的形式化概念，在此基础上实现了意向过程的形式化建模。第4节介绍了一个简单的案例研究，提供了一个具体的例子，说明这里提出的想法的适用性。第五部分是结论部分，主要讨论了相关的研究工作和一些一般性的问题。2意向行为与意向过程2.1胡塞尔我们在形式上、面向计算的术语中解释胡塞尔对意向行为的分析[ 6 ]的方式它们是3：- 对象：世界上意向行为可能指向的事物和事实的集合;正式表示为Objs。- 访问动作：通过它可以访问对象的有效动作4，因为这样的动作发生在实现意图行为的意图系统中;正式表示为AActs。- Noeses：进入行动的概念化本质的集合，因为每一个这样的本质（noesis）都被现象学地把握5;形式上用Noes表示。- Noemata：对象和事实的概念化本质的集合，因为每一个这样的本质（noema）都是现象学地把握的;形式上用Nmts表示。故意行为的各种构成要素之间的关系是：[3]请注意，胡塞尔方如何通过它的主观客观性和本质的本体论范畴化，包含了主观客观性区分的认识论意义和本体论意义之间的区分，塞尔在例如，[9]的文件。4计算意义上的“有效”，即，仅赋予有限的特征，将其适用性限制在可以在有限时间内访问的对象（部分）（5）把握对象和心理活动的现象学方法是观察性的，其目的在于：对它所研究的意识现象的明显方面的描述[6]。A.C. da Rocha Costa/Electronic Notes in Theoretical Computer Science 324（2016）5153• 功能关系：· A：AActs→Objs是访问函数;· S：Noes→Nmts是感测函数;使得：· 如果A（a）=o，我们说访问动作a在执行时可以访问对象o· 如果S（ns）=nm，我们说noemanm是noesisns的意义。• 关系：· PNoes×AActs为性能关系;· FNmts×Objs是实现关系;· INoes×Objs是意向关系;· C Nmts × AActs是相容性关系;使得：· 如果a∈P[ns]，我们说访问动作a在执行时执行noesisns;· 如果o∈F[nm]，我们说对象o充满了noemanm;· 如果o∈I[ns]，我们说客体o是观念ns所意指的;· 如果a∈C[nm]，我们说作用a与noemanm相容。如果一个意向性系统所实施的行为是意向性的，那么它的结构就符合胡塞尔方的结构。也就是说，我们初步定义了6：定义2.1意向行为是形式（ns，aact，nt，obj）∈Noes×AActs×Nmts×Objs所有可能的意向行为的宇宙被表示为IActs。2.2意向过程通过一个（一般）过程，我们理解任何时间索引序列的行动集我们说一个过程是有意的，如果在每个时刻，在这个过程中发生的至少一个动作，在那个时刻，是一个有意的行为。如果一个意向性过程的所有行动集合都只由意向性行为构成，那么这个意向性过程就被称为纯粹的为了简单起见，我们在这里考虑仅由具有一个单一行为的非空集合构成的意向过程，该行为恰好是意向的，即IActs的一个元素。并且，我们将时间离散化并线性排序，表示为T = 0，1，2，.。.在这种情况下，我们可以用简化的方式定义：定义2.2意向过程是任何时间索引序列ip：T→1.故意行为。在时间t发生的故意行为的集合由ipt表示，对于t = 0，1，2，.. . ，我们可以写ip= nip0，ip1，ip2，.。. - 是的 每个ipt被称为ip的一步。 我们用IProc表示所有可能的意向过程的宇宙。[6]故意行为的概念在第二节中作了进一步的解释2.3.54A.C. da Rocha Costa/Electronic Notes in Theoretical Computer Science 324（2016）51∈图二、胡塞尔关于意向行为的意向语义和意向语义的三角形2.3意向行为我们通过两种语义功能的组合来确定意向行为的形式语义，意向语义功能和非意向语义功能：定义2.3意向行为的意向语义函数是任何函数ISem：IActs→Noes×Nmts×Nmts（Objs），使得如果对任何ia∈IActs，有ISem（ia）=（ns，nm，O），则它成立：• nm= S（ns），即，nm是ns的意义;• O= F（nm），即，O是填充nm的对象的集合;• O= I（ns），即，O是ns所期望的对象的集合;和I = F<$ S，所以图中右上三角形1通勤。定义2.4意向行为的语义函数是任何函数ASem：IActs→Noes×Nos（AActs）×Nos（Objs），使得如果对任何ia∈IActs，有ASem（ia）=（ns，A，O），则它成立：• A= P（ns），即，A是可以执行ns的动作的集合;• O= A（A），即，O是由A的动作访问的对象的集合;• O= I（ns），即，O是ns所期望的对象的集合;和I = AP，所以图中左下三角1通勤。有意行为的两种语义功能如图2所示，胡塞尔三角形我们定义了意向功能和语义功能之间的相容性概念：定义2.5给定一个意向语义函数ISem：IActs→Noes×Nmts×N（Objs）和一个语义函数ASem：IActs→Noes×当且仅当对于任意意向行为iaIActs，当ISem（ia）=（ns，n m ，O）且ASem（ia）=（ns×，A，O）时，有：ns=ns×且A=C（n m）.我们定义的两个核心概念如下。第一，胡塞兰广场的基础良好的概念：A.C. da Rocha Costa/Electronic Notes in Theoretical Computer Science 324（2016）5155−→1R−→∪定 义 2.6 一 个 形 式 上 确 定 的 胡 塞 尔 方 只 有 当 它 的 意 向 语 义 函 数 ISem ：IActs→Noes×Nmts× （ Objs ） 和 它 的 意 向 语 义 函 数 ASem ： IActs→Noes×（AActs）×（Objs）相互兼容时才是有根据的第二，相对于一对意向和语义功能，意向行为的概念是有明确定义的：定义2.7给定语义函数ISem：IActs→Noes×Nmts×当IActs→Noes×IActs× IActs×IActs时，我们说一个意向行为ia=（ns，aact，nm，obj）∈IActs相对于ISem和ASem是有充分定义的，当且仅当当，每当ISem（ia）=（ns，nm，O）和ASem（ia）=（ns，A，O）时，aact∈A和obj∈O成立。在下文中，我们将自己限制在有充分根据的胡塞尔方的有充分定义的故意行为上。3意向系统与意向过程的时间演化我们现在定义意向系统及其时间演化：定义3.1意向系统是一个结构IS=（ip，ISR，ASR），其中7：• ip：T→IAct是IS执行的有意过程;• ISR∈C（ISR）是一组意向语义规则，定义了系统的意向语义功能• ASR∈S（ASR）是一组语义规则，定义了系统的语义功能由意向过程决定的意向系统的时间演化由下式给出：定义3.2给定意向系统IS=（ip，ISR，ASR），由ip决定的IS的时间演化是意向转移的序列：其中，对于任意时间t：IC0R0ic1−→ic...• 流ict= ipt。ICt+1=（nst，act t，nmt，ot）。ict+1被称为意向系统IS在时间t的意向构形;• 对于每个配置转换ictRti ct+1，Rt恰好是应用于配置ic t的配置转换（取自ISRASR）。ISR是所有可能的意向语义规则的集合，ASR是所有可能的意向语义规则的集合。256A.C. da Rocha Costa/Electronic Notes in Theoretical Computer Science 324（2016）51↓在下文中，我们将意向性反应过程限定为仅包括两种类型的意向性行为：• 反应性有意行为，能够构思在环境中实现的输入行为，作为形式为↓（nm）的noeses，它在有意系统的当前配置中用noemanm代替当前noema，无论它是• 反应性有意行为，能够将在环境中实现的输入行为构思为形式为nmnm×的数量，其中在该有意系统的配置中用noemanm×代替当前noemanm，其中nm×p可能是nm的函数。我们在图3中以Plotkin [8]介绍的自然演绎风格正式呈现了我们正在考虑的样本意向系统的意向和动作语义规则。为了考虑反应性意向系统的输入和输出行为，我们在图3的规则中扩展了构形的结构，分别使用输入和输出过程inp=inp0，inp1，. . ⟩andout =输出0，输出1，... . 因此：ict=（inpt，[nst，actt，nmt，ot]，outt）。图4示出了在给定的反应性故意系统的时间演变中反应性故意行为的排序的一般方面（其中输入动作强制执行规则ASRinp1的应用）。请注意，序列是如何在反应循环中组织时间演化的。关于图3中的语义规则，我们注意以下几点：• 只有规则ASRinp1和ASRinp1可以开始一个循环;循环以形式（inp，[，]，out）的配置开始;• 意向语义规则考虑了相容性条件;• 符号“”表示未定义的元素;• I. inp×表示inp具有下一个输入i和在p×中的连续性;表示out×是在输出o之前产生的输出序列;• PI表示输入操作和由此产生的思维• 规则ASRinp2只能通过中断正在进行的反应来发生• 在ASR out规则中，配置（inp，inp，inp，inp，inp，inp，inp，inp，out。aact（obj））标记对感知的反应的成功完成，aact的输出由aact（obj）指示。• t+ 3是在不中断在时间t开始的反应循环的情况下可以实现新的输入动作的最早时间。关于第一点，请注意，只有在输入操作可以执行，并且当前配置允许实现输出操作的情况下，才可能出现不确定性。并且，仅在输入操作的实现（通过规则ASRinp1或ASRinp2）和输出操作的实现（通过规则ASRout）之间。对于其余的，由给定的过渡规则产生的时间演变是确定性的。A.C. da Rocha Costa/Electronic Notes in Theoretical Computer Science 324（2016）5157动作语义规则：PI[i]=↓（nm）（一）inp，[ns，aact，nm，obj]，out）→（inp，[↓（nm），λ]，out）PI[i]=（nm）↓（nm′）ASR输入1ASR输入2（一）inp，[↓（nm），aact，nm，obj]，out）→（inp，[↓（nm′），aact，nm，obj]，out）（inp，[ns，aact，nm，obj]，out）→（inp，[ns，aact，nm，obj]，out）。（o）语义规则：aact∈P[↓（nm）]aact∈C[nm]obj∈F[nm]obj∈ I[↓（nm）]（inp，[↓（nm），aact，nm，obj]，out）→（inp，[↓（nm），aact，nm，obj]，out）ASR输出ISR↓（nm）图3.第三章。意向性过程的样本形式语义的意向性和非意向性语义规则图四、一个反应性的意向周期的时间演变所产生的规则图。3 .第三章。58A.C. da Rocha Costa/Electronic Notes in Theoretical Computer Science 324（2016）514案例研究：一个构造性意向系统及其形式化模型4.1判断与持续性意向过程我们把一个判断（或constative intentional act8）看作是一个意向行为，它的noema是一个命题，我们把一个命题看作是一个观念，即一个述谓对于一个给定类型的。一个（纯）陈述性意向过程是一个意向过程，它的意向行为都是陈述性的，也就是说，都是判断。如果一个持续的意向过程除了意向行为之外还包含其他类型的行为，那么这个意向过程就是不纯的一个述谓对一个对象为真，这就构成了所谓的事实。因此，我们可以说，一个构成性的意向行为的观念，即一个命题，当它被充实时，它就被一个事实所充实在严格意义上，一个事实满足一个命题，当且仅当（i）该事实是由一个对一个对象为真的述谓构成的，（ii）该对象和述谓是由判断9所指定的。在更一般的意义上，人们承认事实只能部分地填充命题（就像任何对象的情况一样，关于诺耶玛）。一个事实对一个命题的满足是部分的，如果（i）或者这个宾语（或者这个述谓，或者两者）仅仅部分地满足了这个命题所指定的类型的条件，和/或（ii）这个述谓对于这个宾语仅仅以部分的方式为真4.2案例研究的非正式介绍让图5示出了这种情况：• ag是代理人;• LOR是学习对象的存储库;• pct是知觉操作，ag通过pct进入LOR;• id是概念化的操作，ag通过它为LOR中的对象构造胡塞尔方格;• 形式为（ns，aact，nm，obj）的元组构成了HusserlianSquare，LOR中对象的每次检查都有一个HusserlianSquare。让[8]很明显，我们从奥斯汀那里得到了“constative”这个词9.我们在这里没有确定何时可以说一个预言是真的，一个对象，当一个人可以说，一个对象（或一个谓词）完全满足的条件是一个给定的类型. 见第节中的讨论5、关于后一点。A.C. da Rocha Costa/Electronic Notes in Theoretical Computer Science 324（2016）5159图五、案例研究：代理ag检查学习对象存储库LOR。要求：（i）学习对象的最小数量，（ii）特定学习对象的存在，以及（iii）特定学习对象的最大版本数量我们用yrq表示ag从ag×接收的请求序列，用d表示yrpag给agx的回复，每次它收到一个请求。我们取rq为rq = rq 0，rq 1，.. . 其中每个请求rqt是以下类型之一• check（num-los≥n）：检查LOR中是否存在至少n个学习对象;• check（exists（lo））：检查学习对象lo是否在LOR中;• check（num-vers（lo）≤n））：检查学习对象的版本数是否L0小于或等于N。其中rp对应地为rp = rp0，rp1，... 其中每个回复rpt是值True或False之一。4.3持续性意向行为表1显示了一个可能的意向语义功能的constative inten- tional行为的代理ag。请注意，为了空间的缘故，我们没有指出完整的对象，constative意向性行为（它是事实，因为这种行为的noemata是命题），而只是noemata所指的事物（或事物然而，请注意，这些东西并不是存在于LOR中的东西，而是感知操作能够处理给ag的东西，ag能够构思。这些被感知的东西并不一定完全和忠实地与上帝的真实存在相一致。这另一方面，请注意，在这个案例研究中，我们假设每一个（被感知的）对象都完全充满了它各自的诺耶玛。最后，请注意，由于来自ag×的请求应该是相互独立的，因此每个新的请求到达都会导致创建一个新的noema[10]正如胡塞尔反复强调的那样[6]。60A.C. da Rocha Costa/Electronic Notes in Theoretical Computer Science 324（2016）51类型的构成要件法诺耶思Noema事情check（ num-los≥n）↓（num-los（p-LOR））≥n）num-los（ p-LOR）≥np-LORcheck（ exists（ lo））↓（存在（p-lo， p-LOR）存在（p-lo， p-LOR）（p-lo， p-LOR））check（ num-vers（lo）≤n）↓（num-vers（p-lo， p-LOR）≤n）num-vers（ p-lo， p-LOR）≤n（p-lo， p-LOR）表1ag的定态意向行为的意向语义功能。Constative Act诺耶思访问动作事情check（ num-los≥n）↓（num-los（p-LOR））≥n）m-number-los（p-LOR））;return eval（m >= n）p-LORcheck（ exists（ lo））↓（存在（p-lo， p-LOR）return eval（p-LOR中的p-lo）（p-lo， p-LOR））check（ num-vers（ lo）≤n）↓（num-vers（p-lo）≤n）m-num<-vers（p-lo，p-LOR）;return eval（m = n）（p-lo， p-LOR）表2行为人的构成性故意行为的语义功能。在由AG执行的有意过程中。所以↓（nm）型。4.4持续性故意行为给定ag的constative意向行为的任何意向语义函数isem，可以测试这些行为的任何建议的意向语义函数asem与isem的兼容性。表2给出了一个与表1中给出的意向语义函数相容的ag的常量意向行为的语义函数。在本案例研究中，有一个自然的概念，这两个语义功能之间的兼容性。由于我们是用算法术语来表达constative意向行为的访问动作，并且假定constative意向行为的noemata是命题，相容性的自然概念就是简单地将noemata作为算法的正确性条件，表示访问操作。例如，关于常量的意向性动作检验（num-los≥n），我们只需证明正确性条件的真实性上一篇：True{m-number-los（p-LOR））;return eval（m >=n）}post：num-los（p-LOR）≥n如果算法终止，则立即确定。4.5恒定意向过程的时间演化如前所述，发送到检查代理ag的请求应该彼此独立。因此，在意向性的请求过程中，每一意向性行为的观念都具有↓（nm）的形式A.C. da Rocha Costa/Electronic Notes in Theoretical Computer Science 324（2016）5161在这样的条件下，意向过程的时间演变简单地由图4所示的步骤序列的时间连续组成，因为没有意向行为建立在前一个行为的基础上。由于rq中的所有请求都具有↓nm的形式，因此适用于有意过程的唯一规则是规则ASRinp1、ASRout和ISR↓（nm）（见图10）。3）。因此，如果：rq= check（num-los ≥ 0），check（exists（lo1）），check（num-vers（lo1）≤ 10），. . ⟩是请求序列的开始，学习对象存储库ag认为，p-LOR，使得：• p-LOR中存在学习对象;• 学习对象p-lo1存在于p-LOR中;• 在p-LOR中存在多于10个版本的学习对象p-lo1;在给定的意向性系统中，由ag执行的意向性过程的时间演化具有如图1所示的初始部分6，其中11：• ε表示空序列;• 在每一步中，我们省略了输入序列的继续部分以及输出序列的开始部分（由标记• 初始配置是完全不确定的，除了输入序列;• 注释插入大括号内。5讨论、相关工作和结论5.1胡塞尔语义学及其替代我们在这里提出，建立在上述论述的基础上，采用一种有目的的方法来建模计算系统的一个优点，特别是如果按照胡塞尔要看到这一点，我们可以直接将这里介绍的视角所处理的语义问题的范围与形式语言系统中采用的通常语义视角所处理的语义问题的范围进行比较（对于逻辑语言系统，参见例如[2]，以及计算语言系统，参见例如[3]）。[3]）。图8，我们展示了胡塞尔语义观、逻辑观（包含了计算语言的大部分语义）和逻辑主义观点之间关于语义范围的后一种观点是胡塞尔观点最常见的替代对照图1，我们可以看到逻辑语义学抑制了主观性从语言，而抽象主义语义学抑制主观性和Eideticity。图11与图11所示的过程周期的一般时间结构相比较四、62A.C. da Rocha Costa/Electronic Notes in Theoretical Computer Science 324（2016）51↓↓ ≥≥≤出来≤⊥ ⊥ ⊥ ⊥≤↓ ⊥ ⊥ ⊥↓↓≤出来≤⊥ ⊥ ⊥ ⊥↓ ≤ ⊥ ⊥ ⊥↓↓ ≤≥出来{初始配置：}（check（num-los≥0）. check（exists（l o1））. check（num-vers（l o1）≤10）。你好，[，]，ASR输入1−→{ideate next input}（check（exist s（l o1））. check（num-vers（l o1）≤10）。你好，[↓（num-los（p-LOR））≥0），]，ISR（nm）−→ {确定行动性和意向性}（check（exist s（l o1））. check（num-vers（101）10）. 你好，[（num-los（p-LOR）） 0），m<-number-los（p-LOR））; ，num-los（p-LOR）0，p-LOR]，return eval（m>= 0）ε）ASR−→{完成访问操作}（check（exist s（l o1））. check（num-vers（101）10）. 你好，[、、，]，正确）ASR输入1−→{ideate next input}（check（num-vers（lo1）10）. 你好，[（exists（p-lo，p-LOR），、，]，正确）ISR（nm）−→ {确定行动性和意向性}（check（num-vers（lo1）10）. 你好，[（exists（p-lo，p-LOR），return eval（p-lo inLOR），exists（p-lo，p-LOR），（p-lo，p-LOR））]，True）ASR−→{完成访问操作}（check（num-vers（lo1）10）. 你好，[、、，]，真的正确）ASR输入1−→{ideate next input}（，[（num-vers（p-lo） 10），、，]，正确）ISR（nm）−→ {确定行动性和意向性}（，[（num-vers（p-lo）10），m-num-vers（p-lo，LOR），，，num-vers（p-lo，p-LOR）10;（p-lo，p-LOR））]，return eval（m>= n）正确）ASR−→{完成访问操作}（，[，]，真的真的（假）{这是进程初始部分结束时的配置}图第六章施动者意向过程的时间演化的初始部分。ε）ε）A.C. da Rocha Costa/Electronic Notes in Theoretical Computer Science 324（2016）5163图第七章语言在胡塞尔广场上的地位见图8。 语义学的替代观点。与胡塞尔语义学相比，逻辑语义学尽管缩小了语义范围，但它仍然考虑了属于语言的本质要素，正如人们可以从内涵和外延方面对逻辑表达式的经典理解中看到的那样。同样的情况也可以在内涵语义学的工作中看到，处理内涵和扩展（参见，例如[7]）。另一方面，经验主义语义学试图将语言严格限制在它与对象的唯一关系中，这是胡塞尔强烈批评的一种选择。胡塞尔语义学视角的价值，对于那些旨在以意向系统的形式模型来解释语言的著作来说，现在应该是清楚的了：语言的本质语义学和本体语义学方面，以及它们的客观和主观方面，都得到了适当的空间，如图10所示第七章5.2现象学方法与意向性行动者如图第一，胡塞尔的现象学视角考察了意向性的四个基本方面，即本质的和本体的，以及主观的和客观的。因此，通过采用胡塞尔的观点，不仅可以发展出一种完整的方法来研究意向系统及其语言的语义学，而且还可以发展出一种完整的方法来研究具体实现这些意向系统的主体特别是，主观性在胡塞尔的视角中被考虑在内，这一事实为这些行动者的个体性64A.C. da Rocha Costa/Electronic Notes in Theoretical Computer Science 324（2016）51图第九章计算的和原始的胡塞尔意向性观点。5.3现象学还原与现象学扩展最后，在此应作一个更一般性的考虑。这里介绍的胡塞尔意向性视角的面向计算的方法与胡塞尔最初的意向性视角之间存在对比这在图中很容易看出。第九章整个区别在于性能、实现和访问的关系的方向：在计算方法中是P、F和A，而在原始方法中是P-1、F-1和A-1这是因为，在最初的胡塞尔方法中，本体层次被视为给定的，而现象学的任务是实现与该本体层次相对应的本质层次。 为了实现这一成就，胡塞尔详细阐述了他著名的现象学还原操作，即在给定心理通达的行动和对象的情况下，返回它们各自的noeses和noemata。另一方面，在这里提出的计算方法中，目标是相反的方向。我们从本质层面出发，寻找一个能够充分实现它的本体层面，这样所需要的操作不是现象学还原的操作，而是胡塞尔只是简略地提到过的现象学展开的逆操作。事实上，由于我们的问题是选择特定的访问动作和对象来实现本质层面，我们这里需要的操作，我们在论文中形式化的，是现象学扩展的基于选择的特殊化，我们称之为现象学实现的操作。因此，在计算方法中，确定本体结构与本质结构的适当性的关键问题是确定它们之间的相容性C，这不能从P和S中推导出来（见图2中计算方中的那些函数）9）。而胡塞尔则没有明确地关注取用行动，取用行动通常是从施动者指向意向对象。相反，他所关心的只是相反方向的操作，即直觉，而知觉是原型。而且，胡塞尔似乎假定，在直观的基础上，通过观念化获得的本质要素（noeses，noemata），通过建构总是正确的。当然，他似乎从来没有关心过适当性问题，例如，与A.C. da Rocha Costa/Electronic Notes in Theoretical Computer Science 324（2016）5165相容性关系C。然而，鉴于胡塞尔的目的是在概念层面（本质），从一个独特的问题（本体），一个适格问题必须出现。由于他的表现和实现函数是在相反的方向上取的（图9中的P-1和F-1），充分性的关键问题并不出现在相容性关系C的确定中，而是出现在意向性关系的确定中。因为，在他所建立的形式背景中，I = F−1 S不能演绎地建立，也不能“通过构造”得到事实上，胡塞尔9）：原始胡塞尔问题：在理论上理解了noeses如何与noemata（通过箭头S）、客体及其直观（通过它们之间的进入箭头 A-1给出）相关联的情况下，找到noesis（直观的观念化和相应的P-1，以及noemata（直观客体的观念化）和相应的F-1，使得三角形 S = F-1<$ I互换。另一方面，在计算方法中，一个意念的意向性是由它的意念的意义和实现功能平凡地暗示的：一个人立即具有I = FS。这里介绍的计算建模的一般问题是另一个问题，即：计算胡塞尔问题：给定一个noesis、一个noemata以及对它们如何联系的理论理解（通过箭头S），找到访问动作、访问对象和箭头A，使得三角形I = F <$S和P = S<$C都可交换。方法上的分歧的根本原因可以清楚地说明，因此：• 胡塞尔• 我们的目标是利用胡塞尔的成果为计算机科学和计算技术做出贡献，其主要对象是人工制品，这些人工制品用塞尔的术语[ 9 ]来说，现象学还原指的是意向性的心灵-世界方向，而现象学扩展则指的是意向性的世界-心灵方向，我们在这里主要关注的是5.4领域理论的作用我们还没有对一个充满诺耶玛的对象的概念进行处理。考虑到本文中引入的形式化的类型论性质，将noemata视为对象的理想规范似乎是很自然的，并且根据部分近似或66A.C. da Rocha Costa/Electronic Notes in Theoretical Computer Science 324（2016）51完成的对象向其充分的边缘形式，因为他们的noemata。这种部分对象和整体对象之间的近似或完备关系在Domain Theory[4]中得到了广泛的研究。因此，我们可以假定，在这个理论的基础上，可以尝试一种很有希望的方法，来对客体和意念之间的关系进行形式化的类似地，noeses和access actions之间的近似关系也许也可以用域理论来正式解释确认作者感谢最终版本的匿名审稿人仔细阅读了论文，并提出了有用的建议。引用[1] Austin，J.L.，[2] 恩德顿，H.，“Introduction to Mathematical Logic,” Hartcourt, San Diego,[3] Fern 'andez，M.，“Programming Languages and O perational Seman n tics：A Concise O v erview”，Springer，2014年。[4] Gierz，G.，K. H. Hofmann，K. Keimel，J. D.劳森，M。Mislove和D. S. Scott，[5] 胡塞尔，E.，[6] 胡塞尔，E.，“Ideas I - Ideas for a Pure Phenomenology and Phenomenlogical Philosophy,” Hackett,Indianapolis,[7] 蒙塔古河《形式哲学：理查德·蒙塔古论文集》，耶鲁大学出版社，1974年。[8] Plotkin，G.，A structural approach to operational semantics，Technical report，University ofAarhus（1981）.[9] Searle，J.R.，[10] 史密斯，D. W.，Phenomenology，Stanford Encyclopedia of Philosophy（2013），Acess'a velem：http：plato.stanford.edu/e ntries/phenomenology/.[11] Wooldridge，M.，“Introduction to Multiagent Systems，”Wiley，London，2011，（2nd. ed.）。