A Logic Programming System Based on Cortege Algebra

B.A. KULIK

首页> 外文期刊>Journal of Computer and Systems Sciences International >A Logic Programming System Based on Cortege Algebra

【24h】

A Logic Programming System Based on Cortege Algebra

机译：基于Cortege代数的逻辑编程系统

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

The possibility of employing structures in cortege algebra in artificial intelligence systems is considered. Such structures make it possible to simplify deduction (reasoning) algorithms and to simplify the software for many propositional and predicate-calculus models.

机译：考虑了在人工智能系统的cortege代数中采用结构的可能性。这样的结构使得简化推论（推理）算法和简化用于许多命题和谓词演算模型的软件成为可能。

著录项

来源
《Journal of Computer and Systems Sciences International》 |1995年第2期|p.159-170|共12页
作者
B.A. KULIK;
展开▼
作者单位

Avrora Company, Saint Petersburg;

展开▼
收录信息美国《科学引文索引》(SCI);美国《工程索引》(EI);
原文格式 PDF
正文语种 eng
中图分类计算技术、计算机技术;
关键词
predicate calculus; cortege algebra; artificial intelligence; orthogonal transformation;

机译：谓词演算;皮质代数;人工智能;正交变换;

相似文献

外文文献
中文文献
专利

1. Logic-algebraic method based and constraints programming driven approach to AGVs scheduling [J] . Grzegorz Bocewicz, Irena Bach, Zbigniew A. Banaszak International journal of intelligent information and database systems . 2009,第1期

机译：基于逻辑代数方法和约束编程的AGV调度方法
2. Clausal Logic and Logic Programming in Algebraic Domains [J] . William C. Rounds, Guo-Qiang Zhang Information and computation . 2001,第2期

机译：代数域中的从句逻辑和逻辑编程
3. Differential-algebraic Dynamic Logic for Differential-algebraic Programs [J] . ANDRE PLATZER Journal of logic and computation . 2010,第1期

机译：微分代数程序的微分代数动态逻辑
4. A Logic Programming Language Based on Binding Algebras [C] . Makoto Hamana 4th International Symposium on Theoretical Aspects of Computer Software TACS 2001, 4th, Oct 29-31, 2001, Sendai, Japan . 2001

机译：基于绑定代数的逻辑编程语言
5. A system supporting both variant- and subsumption-based tabled evaluations of logic programs. [D] . Johnson, Ernest J. 2002

机译：一个同时支持基于变体和包含的逻辑程序表评估的系统。
6. Real-Time Algebraic Derivative Estimations Using a Novel Low-Cost Architecture Based on Reconfigurable Logic [O] . Rafael Morales, Fernando Rincón, Julio Dondo Gazzano, 2014

机译：基于可重构逻辑的新型低成本体系结构的实时代数导数估计
7. Note on the semantics of logic programming (Languages, Algebra and Computer Systems) [O] . 近藤通朗 1999

机译：注意逻辑编程的语义（语言，代数和计算机系统）
8. Algebraically Specified Programming Systems and Hoare's Logic [R] . Bergstra, J. A., Tucker, J. V. 1980

机译：代数规范编程系统和Hoare逻辑

A Logic Programming System Based on Cortege Algebra

摘要

著录项

相似文献

相关主题

期刊订阅