摘要: The investigators are upgrading a knowledge representation language called SL (Symbolic Language) and an automated reasoning system called SMS (Symbolic Manipulation System) to enable the technologies to be used in automated reaso... 展开
作者 | deBessonet, C. | ||
---|---|---|---|
原报告号 | N20000005009 | 总页数 | 3 |
主办者 | National Aeronautics and Space Administration, Washington, DC. | ||
报告类别/文献类型 | NASA / NTIS科技报告 | ||
关键词 | Language programming Knowledge representation Inference Augmentation Syntax Synchronous meteorological satellite Robots Enrichment Decision making Coding Classifications |