The Reach of Abduction: Insight and Trial (A Practical Logic of Cognitive Systems, vol. 2)

The Reach of Abduction: Insight and Trial (A Practical Logic of Cognitive Systems, vol. 2)
复制标题

绑架的范围:洞察与审判(认知系统的实用逻辑,第 2 卷)

DOI:
--
复制
发表时间:
2005
期刊:
影响因子:
--
通讯作者:
J. Woods
J. Woods
中科院分区:
--
文献类型:
--
作者:
D. Gabbay;J. Woods

文献摘要

被引文献

相似文献

《认知系统的实践逻辑》一书是一本非常有说服力的书。这本书的目的是为了让读者了解自己的知识,并使读者对自己的知识产生兴趣。如果你有一个很好的选择,你就可以得到一个很好的结果。Bildumaren izenburuak dioen moduan,Logika egin nahi dute egileek,sistema kognitiboen Logika Praktikoa。Dov M.在实践中,逻辑是一个非常重要的概念,而逻辑的人工智能是一个非常重要的概念。系统的知识产权是由知识产权代理人,知识产权是由知识产权代理人提供的,而知识产权是由知识产权代理人提供的。实践的逻辑被认为是一个更大的问题。我们的孩子们都很聪明,聪明。我是自由女神。在1990年的时候,人们就开始使用标签演绎系统(LDS,Labelled Deductive System),这是最好的方法。
Liburu hau A Practical Logic of Cognitive Systems liburu-bildumaren bigarren alea da. Liburu-bilduma honen lehen alea erreleban tzia nozioari eskaini zioten egileek, eta hirugarrenean falaziak azter tzeko asmoa dute. Bigarren lan hau abdukzioaren azterketa sakon bat izateaz gain, logika abduktibo baten aurkezpena ere bada. Bildumaren izenburuak dioen moduan, Logika egin nahi dute egileek, sistema kognitiboen Logika Praktikoa. Aspalditik dabil Dov M. Gabbay Logika eta praktikotasuna uztartu nahian, bereziki Logikak Adimen Artifizialeko agentearen nozioan eta definizioan duen lekua defendatu zuenetik. Sistema kognitibo bat agente kognitibo batek, baliabide kognitiboek eta denbora errealean gauzatutako xede kognitiboek osatutako hirukotea da. Horrelako sistema bat logika praktiko bat da sistema kognitiboaren agentea agente praktiko bat denean. Logika Praktikoari buruz duten ikuspegia bigarren kapituluan aurkezten dute. Hasierako atala noski sarrera bat da, laburra, eta liburu-bildumaren eta abdukzioari buruzko azterketaren garran tziaz dihardu. Bi zatitan banatuko da ondoren liburua. Ondorengo zazpi kapituluak abdukzioaren eredu kon tzeptualen azterketara zuzenduko dira, azkenik eta lau ataletan, eredu formalak aurkezten dira, Gabbayk eta beste ba tzuek 1990eko hamarkadan garatutako Labeldun Dedukzio Sistema (LDS, Labelled Deductive System) oinarri tzat hartuaz.