E. Burattini, M. D. Gregorio, Antonio de Francesco
{"title":"非单调语言:用于单调和非单调逻辑推理的神经符号语言","authors":"E. Burattini, M. D. Gregorio, Antonio de Francesco","doi":"10.1109/SBRN.2002.1181487","DOIUrl":null,"url":null,"abstract":"The complete definition of a Neuro-Symbolic Language (NSL), partially introduced by Burattini et al. (2000), for monotonic and non-monotonic logical inference by means of artificial neural networks (ANNs) is presented. Both the language and its compiler have been designed and implemented. It has been shown that the ANN model here adopted (neural forward chaining) is a massively parallel abstract interpreter of definite logic programs; moreover, inhibition is used to implement a neural form of logical negation. Previous compilers for translating the neural representation of a given problem into a VHDL software, which in turn can set electronic device like FPGA, has been modified to fit the new and more complete features of the language.","PeriodicalId":157186,"journal":{"name":"VII Brazilian Symposium on Neural Networks, 2002. SBRN 2002. Proceedings.","volume":"79 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2002-11-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"NSL: a neuro-symbolic language for monotonic and non-monotonic logical inferences\",\"authors\":\"E. Burattini, M. D. Gregorio, Antonio de Francesco\",\"doi\":\"10.1109/SBRN.2002.1181487\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The complete definition of a Neuro-Symbolic Language (NSL), partially introduced by Burattini et al. (2000), for monotonic and non-monotonic logical inference by means of artificial neural networks (ANNs) is presented. Both the language and its compiler have been designed and implemented. It has been shown that the ANN model here adopted (neural forward chaining) is a massively parallel abstract interpreter of definite logic programs; moreover, inhibition is used to implement a neural form of logical negation. Previous compilers for translating the neural representation of a given problem into a VHDL software, which in turn can set electronic device like FPGA, has been modified to fit the new and more complete features of the language.\",\"PeriodicalId\":157186,\"journal\":{\"name\":\"VII Brazilian Symposium on Neural Networks, 2002. SBRN 2002. Proceedings.\",\"volume\":\"79 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2002-11-11\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"VII Brazilian Symposium on Neural Networks, 2002. SBRN 2002. Proceedings.\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SBRN.2002.1181487\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"VII Brazilian Symposium on Neural Networks, 2002. SBRN 2002. Proceedings.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SBRN.2002.1181487","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
NSL: a neuro-symbolic language for monotonic and non-monotonic logical inferences
The complete definition of a Neuro-Symbolic Language (NSL), partially introduced by Burattini et al. (2000), for monotonic and non-monotonic logical inference by means of artificial neural networks (ANNs) is presented. Both the language and its compiler have been designed and implemented. It has been shown that the ANN model here adopted (neural forward chaining) is a massively parallel abstract interpreter of definite logic programs; moreover, inhibition is used to implement a neural form of logical negation. Previous compilers for translating the neural representation of a given problem into a VHDL software, which in turn can set electronic device like FPGA, has been modified to fit the new and more complete features of the language.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
