From 0f0f7c2fed57ded285307b48fdb39b892d4d2599 Mon Sep 17 00:00:00 2001 From: REllEK-IO Date: Tue, 17 Oct 2023 10:42:52 -0700 Subject: [PATCH 1/2] Refinement --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 54e16db..b89e3f8 100644 --- a/README.md +++ b/README.md @@ -33,7 +33,7 @@ As the ability to halt within an intelligent system is the demonstration of its ## How STRX Solves this Problem Further the Unified Turing also accomplishes what has been considered to be an impossible to solve problem of the original theoretical Turing Machine. The halting problem, this is accomplished via the finite state machine pattern in conjunction with the new ActionStrategy pattern. This new pattern is capable of representing any calculation, but must be designed with a conclusion. Thus the finite state machine of STRX can perform any calculation and halts upon their conclusion. Noting that here we are using logic to solve this and utilizing a set of specified requirements to have said solution. The primary requirement to satisfy the solution is that the main run time of a program, must be a recursive function. The ActionStrategy pattern in addition satisfies the next requirement, via being a specific set of instruction that concludes, but is capable of a branching behavior that affords for error correction. The specific interest in presenting this solution at this time is to demonstrate a method of safety as to disallow some run away effect from an Artificial Intelligence or Neural Network. -As this pattern of halting is designed to be an analog to the inner workings of some graph network that eventually has some output. This is noting that previous to 2023, one of the major problem behind LLMs is whether they would have an output due to some input. [Video Citation: QLoRA is all you need @sentdex via Youtube](https://youtube.com/clip/Ugkx47h3s4gtOSrKxF-CdqsnTrPTWwnwwha8?si=VLQJSBoZDw0dYsCF) That we may compare the runtime of an ActionStrategy to a Neural Network, would represent a series of weighted sums that fails to halt in aggregate and bears no output, or a repeating output. [LLM Infinite Loops & Failure Modes: The Current State of LLM Extraction @GDELT via Medium](https://blog.gdeltproject.org/llm-infinite-loops-failure-modes-the-current-state-of-llm-entity-extraction/) In addition this likewise demonstrates a method of proving safe functionality of any new Ai systems in their ability to halt. As if we task some Ai to create paperclips, how would we analyze their strategies to demonstrate that they would not paperclip the entire universe? That their strategies should be proven to be able to halt once some condition is met. +As this pattern of halting is designed to be an analog to the inner workings of some graph network that eventually has some output. This is noting that previous to 2023, one of the major problem behind LLMs is whether they would have an output due to some input. Or even as the result of fine tuning when a stop token wouldn't ordinarily be required within the data set. [Video Citation: QLoRA is all you need @sentdex via Youtube](https://youtube.com/clip/Ugkx47h3s4gtOSrKxF-CdqsnTrPTWwnwwha8?si=VLQJSBoZDw0dYsCF) That we may compare the runtime of an ActionStrategy to a Neural Network, would represent a series of weighted sums that fails to halt in aggregate and bears no output, or a repeating output. [LLM Infinite Loops & Failure Modes: The Current State of LLM Extraction @GDELT via Medium](https://blog.gdeltproject.org/llm-infinite-loops-failure-modes-the-current-state-of-llm-entity-extraction/) In addition this likewise demonstrates a method of proving safe functionality of any new Ai systems in their ability to halt. As if we task some Ai to create paperclips, how would we analyze their strategies to demonstrate that they would not paperclip the entire universe? That their strategies should be proven to be able to halt once some condition is met. Likewise the unfortunate truth of a Unified Turing Machine due to its recursive functionality. Is that it requires the ability to halt to function as a hard requirement. Otherwise the developer will run into unexpected behavior in their applications. This would be due to strategies and/or the supporting framework are halting incomplete and experiencing action overflow. As our general good enough computers and their branch prediction will generate ghost actions and other unexpected behaviors during this condition. Such as the thrashing the applications memory, and the inability to receive some output akin to a unresponsive Neural Network. So by strange effect the solution to solve the halting problem, was a method of programming that went beyond data entry of classic. Utilizing logic over mathematics to create the scope of this framework, to afford for the dynamic functionality of data transformation versus data entry. From b51b8acf700d4502166b0e48658b19f378eba6f5 Mon Sep 17 00:00:00 2001 From: REllEK-IO Date: Tue, 17 Oct 2023 10:49:58 -0700 Subject: [PATCH 2/2] Minimum viable product. --- ActionStrategy.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ActionStrategy.md b/ActionStrategy.md index 2ddc022..1fdbe2c 100644 --- a/ActionStrategy.md +++ b/ActionStrategy.md @@ -16,7 +16,7 @@ This demonstrates the need for an additional level of control to handle this hig This represents the intelligence of doing directly. Versus the classical attempt at hand written intelligence of expert based systems as the closest analog, are flat by comparison. That perform knowledge retrieval in conjunction with some conditional logic to attempt to simulate human reasoning. In contrast this system of doing is composable and able to unify concepts via the ActionStrategy pattern. As these concepts can utilize some quality that may be of Artificial Intelligence, human interaction, function call of some API, or even another axium. That represents the transparent how of that doing in order to transform data. Noting that explainability is a side effect of this verbose nature that is comparable to paragraphs. -Intelligence is a complex beast. And while there may be some additional helper functions or abstractions. This initial release is the bare bones system with no hand holding. As it is a genuine new form of programming and an entire field of study on its own. The ActionStrategy pattern merely relays to some pattern of dynamic decision making that a computer may perform without the probabilistic limitation of classical non-deterministic Turing Machines. And would be viewed as logically deterministic by categorization. +Intelligence is a complex beast. And while there may be some additional helper functions or abstractions. This release represents a minimum viable product. As it is a genuine new form of programming and an entire field of study on its own. The ActionStrategy pattern merely relays to some pattern of dynamic decision making that a computer may perform without the probabilistic limitation of classical non-deterministic Turing Machines. And would be viewed as "Logically Deterministic" by categorization. And enable to creation of "Autonomous Baseline Intelligence," which would function like clockwork with a defined conclusion. ## The Anatomy of an ActionNode ActionNode represents some node that is capable of being turned into some action when initialized by the ActionStrategy consumer funCtions. The reason why these functions are not part of the ActionStrategy itself. Is to allow for that off premise interaction. As we could write such as a program by way of a series of functions to be called on Some tree or graph. But these functions would have to be serialized. As we take advantage of the semaphore pattern throughout. In order to reduce the Total size of each message and time till their discovery of functionality at runtime.