The objective of the project is to design of Artificial Intelligence Operating System, which, when loaded in the memory of computer, will provide the advantages for specific AI-applications, i.e., the "criteria" is "a measure of the efficiency" of AI-applications, for example, autonomous ...
In Proc. IEEE International Conference on Computer Vision 618–626 (IEEE, 2017). Ross, A. S. & Doshi-Velez, F. Improving the adversarial robustness and interpretability of deep neural networks by regularizing their input gradients. In Thirty-second AAAI Conference on Artificial Intelligence Vol. ...
Kang (Eds), AI 2006, Lecture Notes in Artificial Intelligence, Vol. 4304, pp.1074-1078.J.Y. Liang, Y.H. Qian, Axiomatic approach of knowledge granulation in information system, in: A. Sattar, B.H. Kang (Eds.), Lecture Notes in Computer Science, Springer, Berlin, 2006, pp. 1074-...
Reasoning about agent preferences on a set of alternatives, and the aggregation of such preferences into some social ranking is a fundamental issue in reas... A Altman,M Tennenholtz - 《Journal of Artificial Intelligence Research》 被引量: 97发表: 2005年 Algorithmic versus axiomatic definitions of...
To describe knowledge in Prolog, programmers have to represent it only by terms, which might not only impose complicated programming on them, but also resu... Y Shigeta,K Akama,E Miyamoto - 《Journal of the Japanese Society for Artificial Intelligence》 被引量: 0发表: 1995年 Notes on Set ...
On a specialization of processing of axioms in proof procedures for axiomatic theories with equality. While searching (from the bottom to the top) for sequenzenproof in calculi without structural rules one has, to introduce subformulas of axioms (thistrick allows to avoid explicit introduction of ...
, Ecological rationality: Intelligence in the world (pp. 216–240). New York: Oxford University Press. Google Scholar Cooper, G. F. (1990). The computational complexity of probabilistic inference using Bayesian belief networks. Artificial Intelligence, 42, 393–405. Article Google Scholar Czer...
Computer Science - Artificial IntelligenceIn this paper we analyze two recent axiomatic approaches proposed by Dubois et al and by Giang and Shenoy to qualitative decision making where uncertainty is described by possibility theory. Both axiomtizations are inspired by von Neumann and Morgenstern's ...
The system is based on Non-Axiomatic Logic, a formalism in the domain of artificial general intelligence designed for realizations of systems with insufficient resources and knowledge. Proposed architecture is based on layered and distributed structure of the backend knowledge base. The design of the ...
Research on Artificial General Intelligence has re-gained attention since the 2000s with a range of feedback from other disciplines, such as neurology, cognitive science, linguistics, psychology, philosophy, and such. NARS, a non-axiomatic reasoning system, is a general-purpose intelligent system ...