M.V.库丘加诺夫。 关系转换系统：规则和可实现性标准。 （俄语。英文摘要） Zbl 1401.03059号 维斯顿。乌德穆特。麻省理工大学。康普尤特。瑙基 25，第1期，117-125（2015）. 摘要：本文描述并研究了一种动作描述语言的基本结构和语义，该语言是为分析情境模型之间的关系转换（关系转换）而开发的。KSL（Knowledge Specification Language）与传统语言（STRIPS、ADL、PDDL等）的主要区别在于不仅利用了传统的（类STRIPS）规则，而且利用了它们的集合理论组合。这大大提高了语言的表达能力。关系转换的清晰一阶逻辑特征（无需使用情境演算的额外结构）使得可以制定和证明关系转换系统的可实现性（一致性）的自然标准，因此，描述并解决给定系统的逻辑矛盾。 引用于2文件 MSC公司： 03B70号 计算机科学中的逻辑 68T27型 人工智能中的逻辑 68立方英尺 知识表示 关键词：动作描述语言;条状物;ADL公司;情境演算 软件：PDDL公司 PDF格式BibTeX公司 XML格式引用 \文本｛M.V.Kuchuganov｝，维斯顿。乌德穆特。马特·梅赫大学。康普尤特。Nauki 25，No.1，117--125（2015；Zbl 1401.03059） 全文： DOI程序 跨国公司