命题公式主析范式的自动生成系统  

The Main Paradigm of the Propositional Formula Automatic Generation System

作　　者：张娟[1] 

机构地区：[1]西安工业大学,西安710032

出　　处：《价值工程》2013年第30期171-172,共2页Value Engineering

摘　　要：目前人工智能的发展已经非常迅速,而且会越来越普及到我们的生活中。人工智能的发展离不开数理逻辑,命题逻辑是数理逻辑中重要部分,本文介绍了命题公式主析取范式及主合取范式的自动生成系统的开发、设计与实现过程。Nowadays the development of artificial intelligence has been very rapid, and is becoming increasingly popular in our life. The development of artificial intelligence can not be separated without mathematical logic. Propositional logic is a significant part of mathematical logical. This paper describes the design and implementation process of the propositional formulas, disjunctive paradigm and conjunctive paradigm of automatic generation of system development.

关 键 词：命题公式 主析取范式 主合取范式 自动生成 

分 类 号：G250.76[文化科学—图书馆学]