基于一阶逻辑的推理与运算的合并系统

摘要：

@@ 1引言
一直以来,从逻辑系统到算术系统的转换都依赖于人工的描述,没有自动转换系统.例如,逻辑系统中已有以下信息:某班学生中选修数据结构课程的有50人,选修软件工程课程的有40人,两门课程都选修的有25人,求某课程的平均成绩.解决这样的问题,通常需要在逻辑程序设计语言系统中另外编写程序,执行后才能得到解答.

机标关键词：一阶逻辑、推理、与运算、逻辑系统、数据结构课程、逻辑程序设计、转换系统、语言系统、平均成绩、工程课程、编写程序、学生、信息、算术、软件、人工、描述

所属期刊栏目：29

分类号：TP3;TP1

在线出版日期：2005-04-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：92-95,105