Structural Theorems for Varieties of Bands

1990 ◽  
pp. 211-223
Author(s):  
Libor Polák
Keyword(s):  
Structural Theorems

Structural theorems for multiplicative systems of functions

1985 ◽  
Vol 46 (1-2) ◽  
pp. 111-127
Author(s):  
J. Jakubowski
Keyword(s):  
Multiplicative Systems ◽  
Structural Theorems

scholarly journals Intelligence via ultrafilters: structural properties of some intelligence comparators of deterministic Legg-Hutter agents

2019 ◽  
Vol 10 (1) ◽  
pp. 24-45
Author(s):  
Samuel Allen Alexander
Keyword(s):  
Structural Properties ◽  
Intelligent Agents ◽  
Intelligent Agent ◽  
Related Question ◽  
Practical Intelligence ◽  
Guiding Principle ◽  
Intelligence Measures ◽  
Open Question ◽  
Structural Theorems

Abstract Legg and Hutter, as well as subsequent authors, considered intelligent agents through the lens of interaction with reward-giving environments, attempting to assign numeric intelligence measures to such agents, with the guiding principle that a more intelligent agent should gain higher rewards from environments in some aggregate sense. In this paper, we consider a related question: rather than measure numeric intelligence of one Legg-Hutter agent, how can we compare the relative intelligence of two Legg-Hutter agents? We propose an elegant answer based on the following insight: we can view Legg-Hutter agents as candidates in an election, whose voters are environments, letting each environment vote (via its rewards) which agent (if either) is more intelligent. This leads to an abstract family of comparators simple enough that we can prove some structural theorems about them. It is an open question whether these structural theorems apply to more practical intelligence measures.

scholarly journals Structural theorems for quasiasymptotics of ultradistributions

2019 ◽  
Vol 114 (1-2) ◽  
pp. 1-18 ◽  
Author(s):  
Lenny Neyt ◽  
Jasson Vindas
Keyword(s):  
Structural Theorems

scholarly journals Tense operators on frameable equality algebras

2021 ◽  
Author(s):  
Shokoofeh Ghorbani
Keyword(s):  
Representation Theory ◽  
Deductive Systems ◽  
Tense Operators ◽  
Algebraic Properties ◽  
Structural Theorems

Abstract Abstract: In this paper, we introduce the frameable equality algebras and use the concept of tense operators on them to define tense equality algebras. We investigate some algebraic properties of tense equality algebras and prove the representation theory for strict strong tense equality algebras. Then we introduce the notions of (prime) tense deductive systems and tense congruences and obtain some structural theorems.

Sign in / Sign up

Export Citation Format

Share Document