形式化研究相关硕士博士期刊学术论文 - 搜论网

形式化研究相关论文

论西方可废止性道义逻辑的形式化研究及其存在的问题

道义逻辑和非单调逻辑是在不同的学科内根据不同的原因产生和发展的,分属两种不同的逻辑.但受人工智能理论的启发,西方研究人工智......

期刊

废止道义逻辑非单调推理人工智能理论形式化研究非单调逻辑逻辑系统逻辑学家理论框架学科内专家语义学者内关悖论

意义的形式化研究

...

期刊

语义学述谓结构自然语言意义谓词蒙太格逻辑式形式语言句子形式化研究

看过本文同时还关注