Cryptic 发表于 2025-4-1 01:58:52

http://reply.papertrans.cn/17/1624/162333/162333_61.png

储备 发表于 2025-4-1 06:51:33

https://doi.org/10.1007/978-3-662-65558-0cting inputs into knowledge bases, via restricting their consequences. The main idea is to update the database with as many consistent consequences of the inputs as possible, in the case that the inputs themselves are not allowed to be kept in it. And in the case that a revision applies, the idea is

脾气暴躁的人 发表于 2025-4-1 10:41:58

Species Extinction and BiodiversityKnowledge Based Systems..Let . be a set of propositions, . a proposition, and let us denote their images, in a certain isomorphism, by . and . respectively. It can be established whether or not . follows from . (. ⊢ .) by checking the equality of ideals .·γ}>=<1> in the polynomial model (. is a new

灿烂 发表于 2025-4-1 16:31:57

https://doi.org/10.1007/978-3-662-65558-0ill in form of few examples. In the domain of robotics this paradigm offers the potential to reduce the complexity of robot task programming and to make programming more ”natural”. In case of programming an assembly task PbD allows with the help of a video or a laser camera and a data glove the auto
页: 1 2 3 4 5 6 [7]
查看完整版本: Titlebook: Artificial Intelligence and Symbolic Mathematical Computation; International Confer Jacques Calmet,John A. Campbell,Jochen Pfalzgraf Confer