Stability-based Term Evaluation Method in First-order Logic
To address the complex term structure and difficult extraction of grammatical and semantic features in first-order logic,this paper analyzes the constraints and measurement rules of Herbrand semantic features of a term in text replacement.On this basis,the paper gives a definition of the stability o...
-д хадгалсан:
| Үндсэн зохиолч: | |
|---|---|
| Формат: | Artigo |
| Хэл сонгох: | Inglês |
| Хэвлэсэн: |
Editorial Office of Computer Engineering
2019-11-01
|
| Цуврал: | Jisuanji gongcheng |
| Нөхцлүүд: | |
| Онлайн хандалт: | https://www.ecice06.com/fileup/1000-3428/PDF/20191129.pdf |
| Шошгууд: |
Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!
|