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...
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Artigo |
| Lingua: | Inglês |
| Pubblicazione: |
Editorial Office of Computer Engineering
2019-11-01
|
| Serie: | Jisuanji gongcheng |
| Soggetti: | |
| Accesso online: | https://www.ecice06.com/fileup/1000-3428/PDF/20191129.pdf |
| Tags: |
Nessun Tag, puoi essere il primo ad aggiungerne!!
|