已知初始问题的描述，通过一系列变换把此问题最终变为一个子问题集合；这些子问题的解可以直接得到，从而解决了初始问题。这是知识表示法叫（）

A、状态空间法

B、问题归约法

C、谓词逻辑法

D、语义网络法

月球主人公司是甲国人汤姆在甲国注册的公司，专门从事出售月球土地的生意。该公司把月球分为若干部分供购买者选购，并称通过与该公司订立“月球契约”，买方就拥有了其购买的月球特定部分的所有权。对此，根据外层空间法的有关规则，下列判断哪一项是正确的?（）

• A、该类契约规定的所有权，必须得到甲国国家的特别批准方能在国际法上成立

• B、该类契约可以构成甲国国家对月球相关部分主张主权的证据

• C、即使该类契约受甲国国内法的保护，该所有权在国际法上也不能成立

• D、该类契约必须在联合国外空委员会登记，以确立购买者在国际法上的所有权

目前确立外层空间法的最重要的公约是（）。

• A、营救协定

• B、赔偿责任公约

• C、东京协定

• D、外层空间条约

美国历史上关于空间权问题的第一部成文法是（)。
A．《俄克拉荷马州空间法》
B．《关于铁道上空空间让与与租赁的法律》
C．《阿拉斯加州空间法》
D．《关于公路上空间运输的法律》

随着国际一系列新兴法律部门的崛起,()的客体也在不断扩展。

A.国际海洋领土法

B.国际航空法

C.国际法

D.国际空间法