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...
Gorde:
| Egile nagusia: | |
|---|---|
| Formatua: | Artigo |
| Hizkuntza: | Inglês |
| Argitaratua: |
Editorial Office of Computer Engineering
2019-11-01
|
| Saila: | Jisuanji gongcheng |
| Gaiak: | |
| Sarrera elektronikoa: | https://www.ecice06.com/fileup/1000-3428/PDF/20191129.pdf |
| Etiketak: |
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
|