检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]暨南大学学报编辑部,广东广州510632 [2]西南大学逻辑与智能研究中心,重庆400715
出 处:《暨南学报(哲学社会科学版)》2010年第1期140-145,共6页Jinan Journal(Philosophy and Social Sciences)
基 金:国家社会科学基金项目<现代逻辑在人工智能中的应用研究>(批准号:04BZX046)
摘 要:随着计算机科学和人工智能领域研究的不断深入,经典逻辑理论得到了广泛应用和发展,逻辑研究的观念、对象和方法也发生了变革。逻辑的作用不再仅仅局限于有效推理,而是比较全面地研究主体思维活动中存在的程序、模式、方法和准则。本文以实践思维为元思维(逻辑),从方法论的角度分析现代逻辑发展的动因,探讨实践思维在具体学科发展中的重要指导作用。With the development of computer science and the deepening study within the field of Artificial Intelligence,Classical Logics Theory have widely been applied and developed,Logic idea on study,objects and methods have also had their transformation.The logical function no longer merely was confined to the effective inference,but has been applied to comprehensive discussion about the programs,patterns,methods and rules in agent's thinking activities.This paper takes the practical thought as meta-thought(logics),analyzes the motivations of the development of the modern logics from the views of methodology,along with exploring effects of the practical thought for development of concrete sciences.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.148