?卢卡西维茨

历史上,关于逻辑偶然的第一个公理化系统是卢卡西维茨(Lukasiewicz)所建立的三值逻辑系统。众所周知,二值的真值集合是(1,0),而这个集合的2次笛卡尔积造就了四个集合(1,1)、(1,0)、(0,1)、(0,0)。

?卢卡西维奇

正 一近年来波兰数理逻辑学者卢卡西维奇(Lukasiewicz)以及其他一些人在欧洲中古逻辑史方面整理出一些有趣的结果。他们发现六世纪时波底乌斯(Boethius)的逻辑著作中包 .

?卢卡谢维奇

卢卡谢维奇（Lukasiewicz）扩 展了PC+，增加了感知行动（但仍然没有考虑 观察噪声）和条件规划。有关理论成果已在机 器人足球中得到了实验研究。