作者: A. A. Morozov , Yu . V. Obukhov
DOI:
关键词:
摘要: The problem of designing intelligent agents for information search and recognition on the Internet is considered. A new approach to object-oriented logic programming introduced. ensuring correct inference in conditions permanent modification content An unconventional technique formalization modifiable reasoning described. tools based this are