10660artificial intelligencePT0000-00-00 00:00:00BT8474mathematical logicPTRT9535intelligencePTRT10661bionicsPT