blue_berry

joined 2 years ago
sorted by: new top controversial old
-4
The Inference Engine (GOFAIPunk, FirstOrderLogicPunk, OntologyPunk, SemanticWebPunk) (philpapers.org)
 

What if in 1989, Tim Berners Lee invented the semantic web instead of the world wide web?

Avada Kedavra – Humanity’s Last Prompt (First Order Logic H.P. Fanfiction) in c/sciencefiction@lemmy.world
[–] blue_berry@lemmy.world 1 points 3 weeks ago

Wizards are just having a special gene like in X-Men, muggles try to mimick "magic" by creating machines with which to alter reality.

Avada Kedavra – Humanity’s Last Prompt (First Order Logic H.P. Fanfiction) in c/sciencefiction@lemmy.world
[–] blue_berry@lemmy.world 0 points 1 month ago (2 children)

What's not science fiction about it?

-11
Avada Kedavra – Humanity’s Last Prompt (First Order Logic H.P. Fanfiction) (philpapers.org)
 

Prequel and Sequel to "Harry Potter and the Methods of Rationality", bridging first into a medieval setting in which the magic system works like incremental programming and then into the present day, in which it works like logical programming. Philosophically, the medieval setting is post-modernism and the present day is analytic philosophy, while HPATMOR is enlightenment rationalism. It's a bit like a digital Alice in wonderland.

11
ACE Logic Calculator - Full Workflow with neuro-symbolic CSV-Import-Mapping- and Query-Assistant (makertube.net)
14
ACE Logic Calculator - With Neuro-Symbolic Assistant (makertube.net)
20
ACE Logic Calculator - Demo (makertube.net)
6
ACE Logic Calculator - Demo (makertube.net)
Unified Fediverse App - a browser solution? in c/fediverse@lemmy.world
[–] blue_berry@lemmy.world 1 points 2 months ago

For me, social media clients already act as a kind of browser. Theoretically, if all sides on the web would be connected to ActivityPub, you could access the whole web over a social web client. There exist bridges to the semantic web and of course (regardless of whether this is positive or negative) you also have bots connecting the social web to AI.

5
From Pocket-Inferer to SemanticWebBrowser: Incremental development of a user-friendly, deterministic, language-interface-based, web-paradigm-agnostic, IDE-like, energy-efficient Web-Browser (philpapers.org)
 

Why do official clerks not have the equivalent of a calculator like engineers do but for inference? The fundamental idea of this paper is for ChatGPT-like apps to lose natural language for less energy consumption and more determinism in their answers based on controlled natural languages like ACE; and to capture this new paradigm in a new type of browser that has natural language as its primary interface, here called a semantic web-first browser. The idea is proposed in several design steps, beginning with a simple to use calculator-like program to do inference with natural language (pocket-inferer), for which, when a programmer-mode is turned on, transforms into an IDE-like ACE-editor. The idea is then further developed into a semantic web browser, which can also reference data and queries from the semantic web and later, it is philosphised how a web-paradigm agnostic SemanticWebBrowser could be realized.

This poses a fundamental anthesis to ChatGPT-like apps and LLM-centered visions for the WWW with the biggest merit being to tradeoff natural language for more precision and less energy-consumption through controlled natural language. The five main points this paper makes are:

    1. AI browsers with their high energy consumption are not suitable for daily usage (not in the near future, if ever).
    1. There has not yet been found a sufficient interface for the semantic web to be appealing to end-users and reach wider adoption
    1. Controlled natural language like ACE could serve well as a main interface for semantic data, because they manage to capture the potential of semantic web data better than any visualization ever could
    1. The best application for this approach would be a new kind of browser, which realizes “language as an interface” for the semantic web
    1. Derived from language as the main interface, the browser needs to center around the interaction with language and therefore look like a text editor or IDE.
    1. While showing the merits of the semantic web, the browser should also be “backwards compatible” with the traditional world wide web.

It is largely based on the following work: Kaarel Kaljurand. “Attempto Controlled English as a Semantic Web Language” (2007).

2
Combining "Neural | Symbolic" and "Attempto Controlled English" to achieve human readable and editable neuro-symbolic AI systems (makertube.net)
 

cross-posted from: https://lemmy.world/post/34532775

This idea combines a neuro-symbolic AI system (take a LLM and use it to generate logical code; then make inferences from it, see Neural | Symbolic Type) with Attempto Controlled English, which is a controlled natural language that looks like English but is formally defined and as powerful as first order logic.

The main benefit is that the result of the transformation from document/natural language to the logical language would be readable by not IT experts, as well as editable. They could check the result, add their own rules and facts, as well as queries.

I created a small prototype to show in which direction it would be going (heavily work in progress though). What do you think of this? Would love to here your opinions :)

2
Combining "Neural | Symbolic" and "Attempto Controlled English" to achieve human readable and editable neuro-symbolic AI systems (makertube.net)
 

This idea combines a neuro-symbolic AI system (take a LLM and use it to generate logical code; then make inferences from it, see Neural | Symbolic Type) with Attempto Controlled English, which is a controlled natural language that looks like English but is formally defined and as powerful as first order logic.

The main benefit is that the result of the transformation from document/natural language to the logical language would be readable by not IT experts, as well as editable. They could check the result, add their own rules and facts, as well as queries.

I created a small prototype to show in which direction it would be going (heavily work in progress though). What do you think of this? Would love to here your opinions :)

SemanticWebBrowser - A browser for the semantic web with a controlled natural language as the primary interface in c/technology@lemmy.world
[–] blue_berry@lemmy.world 1 points 2 months ago* (last edited 2 months ago) (1 children)

i’m no longer sure if you’re envisioning a web browser or a website builder. your terminology is all over the place.

I's blurring the line in-between. It's trying to set the interaction with the web on a lower level that is closer to the data. It's like you are live-coding the website you want to use for a specific use-case. But then just call the high-level API-endpoints right away. Basically making the dev-tools and the dev-console of browsers the main way to interact with the web (which assumes a web that is build in a similar fashion).

and no, the semantic web is in no way an an open, global codebase. it’s just a way of structuring html. i know berners-lee wanted the web to be more like what you are describing but the web we have today is not that. you’d need a new protocol.

Yeah, that's true :(

SemanticWebBrowser - A browser for the semantic web with a controlled natural language as the primary interface in c/technology@lemmy.world
[–] blue_berry@lemmy.world 2 points 2 months ago* (last edited 2 months ago) (3 children)

I don't know. Basically, if you already know what you want, maybe you only want to type down a couple of statements (maybe even from a template or a tutorial that you found online), modify some stuff and then hit enter. And maybe this modifying of language could be the "browsing" part of the browser.

If you look at it like this it would also be immediate and precise. You would only need to add very good code completion tools, e.g. when you click on a noun, you see all the attributes it has in your ontology. Much like in a IDE. There you also "browse" the space of all potential programs with the interface of language with code completion for keywords and defined concepts, which act like links in traditional browsers.

In contrast, the semantic web is like a open, global code base, where everybody can contribute to. And traditional browser could not successfully implement a language interface because the code base had no defined semantic, this would be possible for the semantic web. And using LLMs, it could be propagated into other web paradigms.

SemanticWebBrowser - A browser for the semantic web with a controlled natural language as the primary interface in c/technology@lemmy.world
[–] blue_berry@lemmy.world 3 points 2 months ago* (last edited 2 months ago) (5 children)

there are already text-based browsers like qutebrowser

hypercard

Awesome! Thanks for the references, didn't know there were already some applications in this direction

8
SemanticWebBrowser - A browser for the semantic web with a controlled natural language as the primary interface (github.com)
 

cross-posted from: https://lemmy.world/post/34416839

The fundamental idea of this paper is for ChatGPT-like apps to lose natural language for less energy consumption and more determinism in their answers based on controlled natural languages like ACE; for the user to be able to modify this trade-off-ratio at will based on LLMs (which is not possible when starting from a ChatGPT-like app); and to capture this new paradigm in a new type of browser that has natural language as its primary interface, here called a semantic web-first browser.

5
SemanticWebBrowser - A browser for the semantic web with a controlled natural language as the primary interface (github.com)
 

The fundamental idea of this paper is for ChatGPT-like apps to lose natural language for less energy consumption and more determinism in their answers based on controlled natural languages like ACE; for the user to be able to modify this trade-off-ratio at will based on LLMs (which is not possible when starting from a ChatGPT-like app); and to capture this new paradigm in a new type of browser that has natural language as its primary interface, here called a semantic web-first browser.

18
Piefed Patreon (limit to 4.5€ per month) (lemmy.world)
 

Hi, I think Piefed is a really cool app. Would it be possible to introduce more membership options to your patreon page? Currently it's maximum of 4.50€. Lemmy and Mastodon have a wider range of amount of money you can give to the project.

Fediverse Report – #125 - Mastodon 4.4, on the UK's Online Safety Act and more in c/fediverse@lemmy.world
[–] blue_berry@lemmy.world 1 points 3 months ago* (last edited 3 months ago)

Would be cool to have a link on the original blog. I totally missed that the whole thing moved. But great project in general.

Mitigating the "7 Deadly Fediverse UX Sins" in c/fediverse@lemmy.world
[–] blue_berry@lemmy.world 2 points 4 months ago* (last edited 4 months ago)

I think it can very well be applied to the Threadiverse.

  • Sin #1: The First-Move Problem - Doesn't really applies for the Threadiverse, because the instances (at least for me) do feel genuinely different, with a different culture, etc., which is one of the most exciting things for me here
  • Sin #2: Navigation Inconsistency - Basically the same here.
  • Sin #3: Remote Interaction Hell - Also the same here, right?
  • Sin #4: Private Mentions Aren't Really DM's - Same here, right?
  • Sin #5: The Phantom Social Graph - There definitely are synchronization issues on Lemmy, too (see the australian instance, which, I think has a latency of a week of so per post :D). Otherwise because the Threadiverse is still rather small, it seems to work mostly fine.
  • Sin #6: The Discovery Problem - Much better on Lemmy. The algorithms are both transparent and make the threadiverse feel alive even though it has much less user.
  • Sin #7: Basically doesn't apply here, because you don't follow users, but can be applied for communities. And multiple of the same communities on different instances are a big problem of the Threadiverse. Also abandoned communities. PyFed solves this with topics and Lemmy also has an upcoming feature for this in v1.0 I think.

I think the most pressing issue is sin#7 if applied to communities.

In an abstract sense, I see the Threadiverse as inversion of Mastodon: instead of posting messages to a personal account, which tags may be interesting to you to discover other similar content, in the Threadiverse, users post to hashtags and who posted them is only secondary important to you, but may be used to discover more content by the same account.

Is it feasible and scalable to combine self-replicating automata (after von Neumann) with federated learning and the social web? in c/technology@lemmy.world
[–] blue_berry@lemmy.world 2 points 5 months ago

Cool. Well, the feedback until now was rather lukewarm. But that's fine, I'm now going more in a P2P-direction. It would be cool to have a way for everybody to participate in the training of big AI models in case HuggingFace enshittifies

Is it feasible and scalable to combine self-replicating automata (after von Neumann) with federated learning and the social web? in c/technology@lemmy.world
[–] blue_berry@lemmy.world 2 points 5 months ago

Yeah thats a good point. Also given that nodes could be fairly far apart from one another, this could become a serious problem.

Is it feasible and scalable to combine self-replicating automata (after von Neumann) with federated learning and the social web? in c/technology@lemmy.world
[–] blue_berry@lemmy.world 0 points 5 months ago

Currently the nodes only recommend music (and are not really good at it tbh). But theoretically, it could be all kinds of machine learning problems (then again, there is the issue with scaling and quality of the training results).

Is it feasible and scalable to combine self-replicating automata (after von Neumann) with federated learning and the social web? in c/technology@lemmy.world
view more: next ›