Zobrazeno 1 - 10
of 48
pro vyhledávání: '"Antić, Christian"'
Autor:
Antić, Christian
Abstraction is key to human and artificial intelligence as it allows one to see common structure in otherwise distinct objects or situations and as such it is a key element for generality in AI. Anti-unification (or generalization) is \textit{the} pa
Externí odkaz:
http://arxiv.org/abs/2407.15510
Autor:
Antić, Christian
The author has recently introduced an abstract algebraic framework of analogical proportions within the general setting of universal algebra. The purpose of this paper is to lift that framework from universal algebra to the strictly more expressive s
Externí odkaz:
http://arxiv.org/abs/2406.14402
Autor:
Antić, Christian
Neural-symbolic integration aims to combine the connectionist subsymbolic with the logical symbolic approach to artificial intelligence. In this paper, we first define the answer set semantics of (boolean) neural nets and then introduce from first pr
Externí odkaz:
http://arxiv.org/abs/2406.11888
Autor:
Antić, Christian
Analogical reasoning is the ability to detect parallels between two seemingly distant objects or situations, a fundamental human capacity used for example in commonsense reasoning, learning, and creativity which is believed by many researchers to be
Externí odkaz:
http://arxiv.org/abs/2405.13461
Autor:
Antić, Christian
The author has recently introduced abstract algebraic frameworks of analogical proportions and similarity within the general setting of universal algebra. The purpose of this paper is to build a bridge from similarity to analogical proportions by for
Externí odkaz:
http://arxiv.org/abs/2402.18360
Autor:
Antić, Christian
Analogical proportions are expressions of the form ``$a$ is to $b$ what $c$ is to $d$'' at the core of analogical reasoning which itself is at the core of human and artificial intelligence. The author has recently introduced {\em from first principle
Externí odkaz:
http://arxiv.org/abs/2305.05614
Autor:
Antić, Christian
This paper develops a {\em qualitative} and logic-based notion of similarity from the ground up using only elementary concepts of first-order logic centered around the fundamental model-theoretic notion of type.
Comment: arXiv admin note: substa
Comment: arXiv admin note: substa
Externí odkaz:
http://arxiv.org/abs/2305.00065
Autor:
Antić, Christian
The sequential composition of propositional logic programs has been recently introduced. This paper studies the sequential {\em decomposition} of programs by studying Green's relations $\mathcal{L,R,J}$ -- well-known in semigroup theory -- between pr
Externí odkaz:
http://arxiv.org/abs/2304.13522
Autor:
Antić, Christian
Detecting and exploiting similarities between seemingly distant objects is without doubt an important human ability. This paper develops \textit{from the ground up} an abstract algebraic and qualitative justification-based notion of similarity based
Externí odkaz:
http://arxiv.org/abs/2302.10096
Autor:
Antić, Christian
This research note provides algebraic characterizations of the least model, subsumption, and uniform equivalence of propositional Krom logic programs.
Externí odkaz:
http://arxiv.org/abs/2302.04664