@techreport{HuberKlimczak, author = {Huber, Markus and Klimczak, Peter}, title = {Nix g'sagt is' g'lobt g'nua : Kybernetisches Lehren und Lernen mit Petri-Netzen}, doi = {10.13140/RG.2.2.12056.83209}, pages = {54}, abstract = {In diesem Text wird das in „Maschinensemiotik" [12] vorgestellte Verfahren zur Verkn{\"u}pfung von {\"A}ußerungen mit deren Bedeutung weiterentwickelt und in Form von Algebraischen Petri-Netzen [20] modelliert. Gleichzeitig wird der Formalismus der Petri-Netze nebenbei eingef{\"u}hrt, wobei die Vorstellung nicht auf formale Vollst{\"a}ndigkeit abzielt, sondern nur das f{\"u}r die Anwendung n{\"o}tige Wissen Erw{\"a}hnung findet. Die Modellierung umfasst dabei sowohl die Systemkomponente, die Verkn{\"u}pfungen zwischen sprachlichen {\"A}ußerungen und Handlungen herstellt - das Lernermodell -, als auch die Komponente, die sprachliche {\"A}ußerungen t{\"a}tigt, bis die gew{\"u}nschte Verkn{\"u}pfung hergestellt wurde - das Lehrermodell samt Lernzielkontrolle. Die Umsetzung des Modells per Software [19] erlaubt die weitere Diskussion anhand einer Simulation mit einigen Testdaten. Eine ausf{\"u}hrliche mathematische Analyse zeigt beweisbare Eigenschaften des Modells auf. Knappe Vergleiche mit der kybernetischen Didaktik nach von Cube [26] sowie der Suggestop{\"a}die Lozanovs [16] ordnen das Modell dar{\"u}ber hinaus noch in einen p{\"a}dagogischen Kontext ein.}, language = {de} } @misc{RoemerbeimGrabenHuberLiebletal., author = {R{\"o}mer, Ronald and beim Graben, Peter and Huber-Liebl, Markus and Wolff, Matthias}, title = {Unifying Physical Interaction, Linguistic Communication, and Language Acquisition of Cognitive Agents by Minimalist Grammars}, series = {Frontiers in Computer Science}, journal = {Frontiers in Computer Science}, number = {4}, issn = {2624-9898}, doi = {10.3389/fcomp.2022.733596}, pages = {21}, abstract = {Cognitive agents that act independently and solve problems in their environment on behalf of a user are referred to as autonomous. In order to increase the degree of autonomy, advanced cognitive architectures also contain higher-level psychological modules with which needs and motives of the agent are also taken into account and with which the behavior of the agent can be controlled. Regardless of the level of autonomy, successful behavior is based on interacting with the environment and being able to communicate with other agents or users. The agent can use these skills to learn a truthful knowledge model of the environment and thus predict the consequences of its own actions. For this purpose, the symbolic information received during the interaction and communication must be converted into representational data structures so that they can be stored in the knowledge model, processed logically and retrieved from there. Here, we firstly outline a grammar-based transformation mechanism that unifies the description of physical interaction and linguistic communication and on which the language acquisition is based. Specifically, we use minimalist grammar (MG) for this aim, which is a recent computational implementation of generative linguistics. In order to develop proper cognitive information and communication technologies, we are using utterance meaning transducers (UMT) that are based on semantic parsers and a mental lexicon, comprising syntactic and semantic features of the language under consideration. This lexicon must be acquired by a cognitive agent during interaction with its users. To this aim we outline a reinforcement learning algorithm for the acquisition of syntax and semantics of English utterances. English declarative sentences are presented to the agent by a teacher in form of utterance meaning pairs (UMP) where the meanings are encoded as formulas of predicate logic. Since MG codifies universal linguistic competence through inference rules, thereby separating innate linguistic knowledge from the contingently acquired lexicon, our approach unifies generative grammar and reinforcement learning, hence potentially resolving the still pending Chomsky-Skinner controversy. btuktuminglear, btuktsptech, btuktcogsys}, language = {en} } @misc{MeyerBorislavovEckertetal., author = {Meyer, Werner and Borislavov, Borislav and Eckert, Friedrich and Richter, Christian and R{\"o}mer, Ronald and Beim Graben, Peter and Huber, Markus and Wolff, Matthias}, title = {Formalisierung und Implementierung einer adaptiven kognitiven Architektur unter Verwendung von Strukturdiagrammen}, series = {Elektronische Sprachsignalverarbeitung 2021 : Tagungsband der 32. Konferenz Berlin, 3.-5. M{\"a}rz 2021}, journal = {Elektronische Sprachsignalverarbeitung 2021 : Tagungsband der 32. Konferenz Berlin, 3.-5. M{\"a}rz 2021}, editor = {Hillmann, Stefan and Weiss, Benjamin and Michael, Thilo and M{\"o}ller, Sebastian}, publisher = {TUDpress}, address = {Dresden}, isbn = {978-3-959082-27-3}, issn = {0940-6832}, pages = {67 -- 76}, abstract = {Das Fachgebiet der Kognitiven Technischen Systeme zeichnet sich durch einen hohen Grad an Interdisziplinarit{\"a}t (z. B. Kenntnisse auf den Gebieten Biologie, Psychologie, Informatik und den Ingenieurwissenschaften) aus. Nach wie vor besteht Bedarf an einer methodischen Darstellung des Fachgebietes, bei der die theoretische Durchdringung von Zusammenh{\"a}ngen zwischen den verschiedenen Wissensgebieten zus{\"a}tzlich durch Anschaulichkeit unterst{\"u}tzt wird. Die vorliegende Arbeit stellt einen Fortschrittsbericht zur Realisierung eines Forschungs- und Experimentiersystems dar, mit dem wir dieses Anliegen unterst{\"u}tzen und {\"u}ber das wir erstmals konzeptionell in [1] berichtet haben. In diesem Beitrag folgen wir einem integrativen Ansatz zur Entwicklung einer kognitiven Architektur, mit der unter Verwendung repr{\"a}sentationaler Datenstrukturen adaptives Verhalten auf verschiedenen Zeitskalen sowie zwei wichtige Verhaltensprogramme f{\"u}r das Probleml{\"o}sen (Objektfindung, Exploration) auf der gemeinsamen Grundlage von Markov-Entscheidungsprozessen umgesetzt werden. Mit einem Kurzbericht zum Entwicklungsstand der physikalischen Experimentierumgebung und einer Zusammenfassung der bislang erreichten Ergebnisse beschließen wir den diesj{\"a}hrigen Beitrag.}, language = {de} } @misc{BeimGrabenHuberMeyeretal., author = {Beim Graben, Peter and Huber, Markus and Meyer, Werner and R{\"o}mer, Ronald and Wolff, Matthias}, title = {Vector Symbolic Architectures for Context-Free Grammars}, series = {Cognitive Computation}, volume = {14}, journal = {Cognitive Computation}, number = {2}, issn = {1866-9964}, doi = {10.1007/s12559-021-09974-y}, pages = {733 -- 748}, abstract = {Vector symbolic architectures (VSA) are a viable approach for the hyperdimensional representation of symbolic data, such as documents, syntactic structures, or semantic frames. We present a rigorous mathematical framework for the representation of phrase structure trees and parse trees of context-free grammars (CFG) in Fock space, i.e. infinite-dimensional Hilbert space as being used in quantum field theory. We define a novel normal form for CFG by means of term algebras. Using a recently developed software toolbox, called FockBox, we construct Fock space representations for the trees built up by a CFG left-corner (LC) parser. We prove a universal representation theorem for CFG term algebras in Fock space and illustrate our findings through a low-dimensional principal component projection of the LC parser state. Our approach could leverage the development of VSA for explainable artificial intelligence (XAI) by means of hyperdimensional deep neural computation.}, language = {en} } @misc{HuberLieblRoemerWirschingetal., author = {Huber-Liebl, Markus and R{\"o}mer, Ronald and Wirsching, G{\"u}nther and Schmitt, Ingo and beim Graben, Peter and Wolff, Matthias}, title = {Quantum-inspired Cognitive Agents}, series = {Frontiers in Applied Mathematics and Statistics}, journal = {Frontiers in Applied Mathematics and Statistics}, number = {8}, issn = {2297-4687}, doi = {10.3389/fams.2022.909873}, pages = {1 -- 31}, abstract = {The concept of intelligent agents is—roughly speaking—based on an architecture and a set of behavioral programs that primarily serve to solve problems autonomously. Increasing the degree of autonomy and improving cognitive performance, which can be assessed using cognitive and behavioral tests, are two important research trends. The degree of autonomy can be increased using higher-level psychological modules with which needs and motives are taken into account. In our approach we integrate these modules in architecture for an embodied, enactive multi-agent system, such that distributed problem solutions can be achieved. Furthermore, after uncovering some weaknesses in the cognitive performance of traditionally designed agents, we focus on two major aspects. On the one hand, the knowledge processing of cognitive agents is based on logical formalisms, which have deficiencies in the representation and processing of incomplete or uncertain knowledge. On the other hand, in order to fully understand the performance of cognitive agents, explanations at the symbolic and subsymbolic levels are required. Both aspects can be addressed by quantum-inspired cognitive agents. To investigate this approach, we consider two tasks in the sphere of Shannon's famous mouse-maze problem: namely classifying target objects and ontology inference. First, the classification of an unknown target object in the mouse-maze, such as cheese, water, and bacon, is based on sensory data that measure characteristics such as odor, color, shape, or nature. For an intelligent agent, we need a classifier with good prediction accuracy and explanatory power on a symbolic level. Boolean logic classifiers do work on a symbolic level but are not adequate for dealing with continuous data. Therefore, we demonstrate and evaluate a quantum-logic-inspired classifier in comparison to Boolean-logic-based classifiers. Second, ontology inference is iteratively achieved by a quantum-inspired agent through maze exploration. This requires the agent to be able to manipulate its own state by performing actions and by collecting sensory data during perception. We suggest an algebraic approach where both kinds of behaviors are uniquely described by quantum operators. The agent's state space is then iteratively constructed by carrying out unitary action operators, while Hermitian perception operators act as observables on quantum eigenstates. As a result, an ontology emerges as the simultaneous solution of the respective eigenvalue equations. Tags: btuktqiai; btuktcogsys; btukttheseus; btuktqtheseus}, language = {en} } @misc{BeimGrabenHuberLieblKlimczaketal., author = {Beim Graben, Peter and Huber-Liebl, Markus and Klimczak, Peter and Wirsching, G{\"u}nther}, title = {Machine Semiotics}, series = {arXiv}, journal = {arXiv}, pages = {1 -- 48}, abstract = {Recognizing a basic difference between the semiotics of humans and machines presents a possibility to overcome the shortcomings of current speech assistive devices. For the machine, the meaning of a (human) utterance is defined by its own scope of actions. Machines, thus, do not need to understand the conventional meaning of an utterance. Rather, they draw conversational implicatures in the sense of (neo-)Gricean pragmatics. For speech assistive devices, the learning of machine-specific meanings of human utterances, i.e. the fossilization of conversational implicatures into conventionalized ones by trial and error through lexicalization appears to be sufficient. Using the quite trivial example of a cognitive heating | device, we show that — based on dynamic semantics — this process can be formalized as the reinforcement learning of utterance-meaning pairs (UMP).}, language = {en} } @misc{RoemerbeimGrabenHuberLiebletal., author = {R{\"o}mer, Ronald and beim Graben, Peter and Huber-Liebl, Markus and Wolff, Matthias}, title = {(Pre-)linguistic Problem Solving based on Dynamic Semantics}, series = {14th IEEE International Conference on Cognitive Infocommunications - CogInfoCom 2023, September 22-23, Budapest, Hungary}, journal = {14th IEEE International Conference on Cognitive Infocommunications - CogInfoCom 2023, September 22-23, Budapest, Hungary}, isbn = {979-8-3503-2565-2}, issn = {2473-5671}, doi = {10.1109/CogInfoCom59411.2023.10397487}, pages = {147 -- 152}, language = {en} } @misc{MaierKuhnBeisegeletal., author = {Maier, Isidor Konrad and Kuhn, Johannes and Beisegel, Jesse and Huber-Liebl, Markus and Wolff, Matthias}, title = {Minimalist Grammar: Construction without Overgeneration}, series = {arXiv}, journal = {arXiv}, doi = {10.48550/arXiv.2311.01820}, pages = {51}, abstract = {In this paper we give instructions on how to write a minimalist grammar (MG). In order to present the instructions as an algorithm, we use a variant of context free grammars (CFG) as an input format. We can exclude overgeneration, if the CFG has no recursion, i.e. no non-terminal can (indirectly) derive to a right-hand side containing itself. The constructed MGs utilize licensors/-ees as a special way of exception handling. A CFG format for a derivation A_eats_B↦∗peter_eats_apples, where A and B generate noun phrases, normally leads to overgeneration, e.\,g., i_eats_apples. In order to avoid overgeneration, a CFG would need many non-terminal symbols and rules, that mainly produce the same word, just to handle exceptions. In our MGs however, we can summarize CFG rules that produce the same word in one item and handle exceptions by a proper distribution of licensees/-ors. The difficulty with this technique is that in most generations the majority of licensees/-ors is not needed, but still has to be triggered somehow. We solve this problem with ϵ-items called \emph{adapters}.}, language = {en} } @misc{HuberLieblWirsching, author = {Huber-Liebl, Markus and Wirsching, G{\"u}nther}, title = {Ein quantenlogisch motivierter Ansatz zur Verarbeitung von {\"A}ußerungs-Bedeutungspaaren}, series = {Elektronische Sprachsignalverarbeitung, Tagungsband der 35. Konferenz, 06.-08.03.2024, Regensburg}, journal = {Elektronische Sprachsignalverarbeitung, Tagungsband der 35. Konferenz, 06.-08.03.2024, Regensburg}, publisher = {TUDpress}, address = {Dresden}, isbn = {978-3-95908-325-6}, issn = {0940-6832}, pages = {94 -- 101}, abstract = {Wir repr{\"a}sentieren eine Bedeutung als Liste von Mustersignalen, und unser Ziel ist es, ein weiteres ankommendes Signal damit zu vergleichen. Die Quantenlogik motiviert die Verwendung von Orthogonalprojektoren, um die gesuchte {\"A}hnlichkeit als Projektionswahrscheinlichkeit darzustellen. Die Ergebnisse des quantenlogischen Verfahrens h{\"a}ngen davon ab, in welcher Weise die Signale vorverarbeitet werden. In diesem Aufsatz untersuchen und diskutieren wir vier verschiedene M{\"o}glichkeiten der Vorverarbeitung.}, language = {de} } @misc{HuberLieblRosenowRoemeretal., author = {Huber-Liebl, Markus and Rosenow, Tillmann and R{\"o}mer, Ronald and Wirsching, G{\"u}nther and Wolff, Matthias}, title = {It all starts with a little difference : tensors as data and code.}, series = {Elektronische Sprachsignalverarbeitung 2025 : Tagungsband der 36. Konferenz Halle/Saale, 5.-7. M{\"a}rz 2025}, journal = {Elektronische Sprachsignalverarbeitung 2025 : Tagungsband der 36. Konferenz Halle/Saale, 5.-7. M{\"a}rz 2025}, editor = {Grawunder, Sven}, publisher = {TUDpress}, address = {Dresden}, isbn = {978-3-95908-803-9}, issn = {0940-6832}, pages = {170 -- 179}, abstract = {We further promote the idea of quantum inspiration and propose to equip cognitive systems not only with tensors for data representation but also for operation representation. We argue that these are two sides of the same coin. For experimental symbolic algorithms we introduce a suitable testbed and give its proper specification. We formalize our method of behavioural control with tensor algebra and discuss its implementation for our physical testbed realization.}, language = {en} } @inproceedings{TschoepeDuckhornHuberetal., author = {Tsch{\"o}pe, Constanze and Duckhorn, Frank and Huber, Markus and Meyer, Werner and Wolff, Matthias}, title = {A Cognitive User Interface for a Multi-Modal Human-Machine Interaction}, series = {Speech and computer : 20th International Conference, SPECOM 2018, Leipzig, Germany, September 18-22, 2018, proceedings}, booktitle = {Speech and computer : 20th International Conference, SPECOM 2018, Leipzig, Germany, September 18-22, 2018, proceedings}, editor = {Karpov, Alexey and Jokisch, Oliver and Potapova, Rodmonga}, publisher = {Springer International Publishing}, address = {Cham}, isbn = {978-3-319-99578-6}, doi = {10.1007/978-3-319-99579-3}, pages = {707 -- 717}, language = {en} } @misc{DuckhornHuberMeyeretal., author = {Duckhorn, Frank and Huber, Markus and Meyer, Werner and Jokisch, Oliver and Tsch{\"o}pe, Constanze and Wolff, Matthias}, title = {Towards an Autarkic Embedded Cognitive User Interface}, series = {Proceedings Interspeech 2017, 20-24 August 2017, Stockholm}, journal = {Proceedings Interspeech 2017, 20-24 August 2017, Stockholm}, editor = {Lacerda, Francisco}, publisher = {ISCA}, doi = {10.21437/Interspeech.2017}, pages = {3435 -- 3436}, abstract = {ucuikt2015}, language = {en} } @misc{RoemerHuberLieblWolff, author = {R{\"o}mer, Ronald and Huber-Liebl, Markus and Wolff, Matthias}, title = {Quantum-inspired representation and querying of semiotic object properties by cognitive agents}, series = {2025 IEEE 16th International Conference on Cognitive Infocommunications (CogInfoCom)}, journal = {2025 IEEE 16th International Conference on Cognitive Infocommunications (CogInfoCom)}, publisher = {IEEE}, address = {Piscataway, NJ}, isbn = {979-8-3503-5691-5}, doi = {10.1109/CogInfoCom66819.2025.11200567}, pages = {000129 -- 000134}, abstract = {Advanced intelligence often relies on the ability to build and use models. They allow the representation of knowledge, enable predictions, and serve to plan goal-directed actions. However, the successfull use of models requires a certain level of competence in interacting with models. This competence can be acquired by exploiting the separation of the cognitive agent from the objects represented in the model; because it allows the differentiation of individual semiotic levels. This includes the separation of self-sufficient and non self-sufficient object attributes. Non self-sufficient attributes that the agent assigned to potential target objects during the exploration phase form the starting point for the information requirement regarding the self-sufficient attributes of these objects. These attributes are required for target selection and the subsequent alignment of the model-based planning. This process is characterized by a series of queries to the environment model and thus shows a certain similarity to information retrieval (IR). Therefore, in this work we particularly investigate quantum-inspired IR-methods for representation and querying. We demonstrate that they are suitable for modelling cognitive effort and behavior, as they represent a realistic and universally applicable descriptive tool.}, language = {en} } @misc{HuberLieblRosenowRoemeretal., author = {Huber-Liebl, Markus and Rosenow, Tillmann and R{\"o}mer, Ronald and Wirsching, G{\"u}nther and Wolff, Matthias}, title = {Knowledge representation and querying with tensors for a class of practical test problems}, series = {Refereed Paper Proceedings - KM Conference 2025 - Siena, Italy}, journal = {Refereed Paper Proceedings - KM Conference 2025 - Siena, Italy}, publisher = {International Institute for Applied Knowledge Management}, pages = {111 -- 123}, abstract = {We further promote the idea of quantum inspiration and propose to equip cognitive systems not only with tensors for data representation but also for operation representation and querying. We discuss ideas from information retrieval and translate them into our method of behavioral control. We formalize the method with tensor algebra and discuss its extensions to learning. At the example of the problem of 𝑁-dimensional aiming, we visualize the transfer of our stated theoretical foundation to a class of practical test problems.}, language = {en} }