期刊名称:Brain. Broad Research in Artificial Intelligence and Neuroscience
印刷版ISSN:2067-3957
出版年度:2014
卷号:5
期号:1-4
页码:34-45
语种:English
出版社:EduSoft publishing
摘要:Logic is a set of well-formed formulae, along with an inference relation. But the Classical Logic is bivalent; for this reason, very limited to solve problems with uncertainty on the data. It is well-known that Artificial Intelligence requires Logic. Because its Classical version shows too many insufficiencies, it is very necessary to introduce more sophisticated tools, as may be Non- Classical Logics; amongst them, Fuzzy Logic, Modal Logic, Non-Monotonic Logic, Para-consistent Logic, and so on. All them in the same line: against the dogmatism and the dualistic vision of the world: absolutely true vs. absolutely false, black vs. white, good or bad by nature, Yes vs. No, 0 vs. 1, Full vs. Empty, etc. We attempt to analyze here some of these very interesting Classical and modern Non-Classical Logics.
关键词:Mathematics;Classical or Formal Logic;Non-Classical Logics;Artificial Intelligence.