Titlebook: Advances in Artificial Intelligence; 12th Brazilian Sympo Jacques Wainer,Ariadne Carvalho Conference proceedings 1995 Springer-Verlag Berli

認(rèn)識

https://doi.org/10.1007/978-3-031-44153-0ge. We establish the correctness of Reiter‘s general solution to the frame problem [14] for a broad and well characterized class of problems. This is done by: (1) identifying a nonmonotonic entailment criterion corresponding to Reiter‘s solution: (2) discovering ontological and epistemological assum

Narcissist

Han Liu,Yubo Fan,Ipek Oguz,Benoit M. Dawanthed from a designer‘s point-of-view. Such theories are logicbased and enable one to reason about the agents. However, they are not adequate to be used by the agent, to reason about itself. We argue that adopting an agent perspective may simplify some aspects of such theories, and enable the definiti

津貼

哭得清醒了

Lecture Notes in Computer Sciencepts of Modal Action Logic (MAL) and may be regarded as an extension of SLD-Resolution to allow the clauses of a Definite Set to have literals with modalities..The modalities are intended to capture the notion of state change caused by the execution of actions. As in previous works in MAL, we call th

cushion

刺耳

確認(rèn)

https://doi.org/10.1007/978-3-031-08999-2pared, non-changing quantities from these formulae can have a significant influence on the qualitative prediction. We propose the addition of a new ontological primitive for representing these influences in qualitative models, and provide a calculus for exploiting this primitive in the reasoning pro

overshadow

Nomogram

linguistics

Alessandro Crimi,Spyridon Bakaseach concept is described extensionally by a subset of objects called a class. Taking those concepts as reference, it is known, when the characteristics are not all available, that the cluster analysis procedure can lead to spurious class definitions, caused by the loss of information on the object