Lmst

#programming #knowledgeRepresentation #lisp #gamedev #devlog #retrospective

sharpsign

my kitten is alive (ask the cat - Heinlein)

https://screwlisp.small-web.org/lispgames/games-as-knowledge/

this one has the least gremlins. Since my game was an hour of a dandelion-random-walk-through-a-field the retrospective is also literally the code I evaluated. I'm going to continue /here/ with a sort of separate retrospective retrospective retrospective.

What I /exposed/ in my agent relevant to the game experience were:
1/?

#programming #rough #lispgamejam #knowledgeRepresentation #submission my kitten seems not to be out to play today, but codeberg renders markdown anyway
https://codeberg.org/tfw/screwlisps-kitten/src/branch/main/lispgames/last-five-hours-lispgame.page.md

Basically instead of spending a week on lispgamejam I spend two hours (starting two hours ago) resulting in this document, which is mostly things I learned personally about using my https://codeberg.org/tfw/pawn-75 (nee Sandewall).

ascii daises growing in a random walk! But in a very knowledge-y way.

ses.052) do-render

""*"*
*****
**""*
*""""
*""""

ses.053) |

#programming #knowledgeRepresentation #engineering #gamedev #lispgamejam #lisp https://screwlisp.small-web.org/programming/intro-software-individuals-knowledgebases/
in which I introduce creating knowledgebases in my #softwareIndividuals in a brief and heartwarming way. I put a new value in the entity inside the knowledgebase defining the knowledgebase to add a dependency to another knowledgebase. #intro #demo

Birds were removed from plants+insects+birds for time budget reasons.

@shizamura how far afield is my useage from what you do srsly?

Truncated rendered markdown of

Telling active-simulations-kb that it mustload (i.e. depends on) simulation-base-kb
loadk active-simulations-kb
setk active-simulations-kb
put active-simulations-kb mustload {simulation-base-kb}
writefil active-simulations-kb
loadk active-simulations-kb
And we can see in the other half of our screen:

ses.013) loadk active-simulations-kb
Load-ef: active-simulations-kb at ../../../demus/Active-simulations/active-simulations-kb.leo
Load-ef: simulation-base-kb at ../../../demus/Simulation-base/simulation-base-kb.leo

ses.014)
so we added the knowledge that active-simulations-kb first mustload the simulation-base-kb when it is loadked.

What the persisted knowledge looks like

Interview postponed / let's just talk about #types and #typing today's show on @dougmerritt and @vnikolov 's suggestion below.

(I'll speak a little bit to #Sandewall 's #SoftwareIndividuals #knowledgerepresentation

If anyone knows anything about #typetheory, that would be great.

https://anggtwu.net/math-b.html
https://www.hanselman.com/blog/stringly-typed-vs-strongly-typed
https://blogs.perl.org/users/ovid/2010/08/what-to-know-before-debating-type-systems.html
type links welcome

and #lisp

@shizamura possibly you can explain types of OWL to us instead of sleeping?

Since the #semanticWeb was introduced almost 25 years ago, many have dismissed it as a failure.

Charles Ivie shows that the #RDF standard and the #knowledgeRepresentation technology built on it have actually been quite successful.

More than half of the world's web pages now share semantic annotations, and the widespread adoption of knowledge graphs in enterprises and media companies is only growing as #enterpriseAI architectures mature.

https://knowledgegraphinsights.com/charles-ivie/

⁨#til⁩ an overlooked ⁨#zettlelkasten⁩ educator.
⁨https://youtu.be/gQqrIxdDWWk⁩
She clearly has years of experience ⁨#teaching⁩ and is the most concrete and methodical of the content creators on ⁨#knowledgerepresentation⁩

Reposting for folks in #HomeSchooling , #specialneeds and #adhd followers.

#emacs #lisp #programming #technology #blog https://screw-lisp.statichost.eu/emacs/swankful-software-individuals.html #softwareIndividuals #knowledgerepresentation

Teaching my Screwlispbot softwareindividual how to l̶o̶v̶e use emacs via #commonlisp slime swank.
https://screw-lisp.statichost.eu/

Quite a lot of commentary on using-emacs-at-all.

Comments, thoughts, criticisms, website advice sought.

Emacs snipped in a low contrast lightfield theme, literally this repl history:

writeloc-file-leos: ../../../demus/Emacs/cl/emacs-kb.leos
writeloc-file-leo: ../../../demus/Emacs/swank.leo
swank

ses.033) loadk swank
Load-ef: swank at ../../../demus/Emacs/swank.leo

ses.034) put inserto type lispdef
put: inserto type lispdef

ses.035) addmember (get swank contents) inserto

ses.036) writefil swank
writeloc-file-leo: ../../../demus/Emacs/swank.leo

ses.037) loadfil swank
Load-ef: swank at ../../../demus/Emacs/swank.leo
swank

ses.038) inserto *scratch* "foo bar baz"

What does it mean "to know" something? Have you ever thought about it? We tried to make our students think about it in this week's first #ise2025 lecture.

#kit200 #lecture #knowledge #philosophy #knowledgerepresentation #understanding #semweb #knowledgegraph #nlp @fiz_karlsruhe @fizise @enorouzi @sourisnumerique

The image features a digital representation of a human face composed of yellow and orange alphanumeric characters, set against a dark background. The face is centrally positioned, with the eyes closed, and the text "What is Knowledge?" prominently displayed at the top in large, bold, yellow font. Below the face, three statements are presented in white text: "I know that climate change is man made," "I believe that climate change is man made," and "It is true that climate change is man made." The background is filled with vertical streams of yellow alphanumeric characters, resembling a digital rain effect, which adds a technological and data-driven atmosphere to the image. The overall color scheme is dark with contrasting yellow and white text, emphasizing the central theme of knowledge and its relationship to climate change.

Provided by @altbot, generated privately and locally using Ovis2-8B

#knowledgeRepresentation #programming #agents #software Braidenburg's Vehicles #lispygopherclimate

https://communitymedia.video/videos/watch/88909de0-642c-4ad5-a01e-7a52a1965cbc

Typedb polymorfic db for ontology and ai agent memory .

https://makertube.net/w/tevoemSfPuSiidbnDdcyBJ

I am honored to present at King's College. If you have questions, ideas or suggestions about the topic of Knowledge in the Age of AI, feel free to leave them here! I'll take a look as I refine the talk. I would be very happy to see you in London, if you're around, or for you to enjoy the stream or recording.

#wikipedia #wikidata #ai #knowledge #knowledgerepresentation

https://www.eventbrite.co.uk/e/knowledge-in-the-age-of-ai-tickets-1232817453189

Call for Papers: AIUCD 2025 - Diversity, Equity, and Inclusion in Digital Humanities
Conference: June 11-13, 2025
Location: Verona & Online

Exploring inclusiveness in Digital Humanities with tracks on AI, archives, computational methods, knowledge representation, and digital heritage.
Submit abstracts by January 26, 2025.
https://aiucd2025.dlls.univr.it/en-gb/call-for-papers/
#AIUCD2025 #DigitalHumanities #Inclusivity #AI #KnowledgeRepresentation #CulturalHeritage

The Semantic Web: Past, Present, and Future - interesting and comprehensive new article by @ansgarscherp @katjahose, Gerd Groener, Petr Škoda and Maria-Esther Vidal in TGDK, vol 2-1
https://drops.dagstuhl.de/storage/08tgdk/tgdk-vol002/tgdk-vol002-issue001/TGDK.2.1.3/TGDK.2.1.3.pdf

#openaccess #diamondopenaccess #semanticweb #knowledgegraphs #ontologies #ai #knowledgerepresentation @tgdkjournal

Figure 2 Representation of the components of the so-called “Semantic Web Layer Cake”. W3C language
standards are shown in dark gray. Current developments are shown in light gray.

Join us at the ACDH-CH-Lecture 11.1 with Torsten Schrade: "Federate all the things! Knowledge Representation and Semantic Retrieval in Distributed Research Data Infrastructures" on 14 January 2025 at @univienna!

More info and registration: https://www.oeaw.ac.at/acdh/newsevents/event-series/acdh-ch-lecture-111

#KnowledgeTransfer #KnowledgeRepresentation #DataInfrastructures

Visual hierarchy (Cartography 🗺️)

Visual hierarchy, according to Gestalt psychology, is a pattern in the visual field wherein some elements tend to "stand out," or attract attention, more strongly than other elements, suggesting a hierarchy of importance. While it may occur naturally in any visual field, the term is most commonly used in design, where elements are intentionally...

https://en.wikipedia.org/wiki/Visual_hierarchy

#VisualHierarchy #PageLayout #Cartography #KnowledgeRepresentation

A special occasion in our @fizise research seminar today: Sebastian Rudolph from TU Dresden was presenting on How to Agree to Disagree - Managing Ontological Perspectives using Standpoint Logic

paper: https://arxiv.org/abs/2206.06793

#semanticweb #logics #knowledgerepresentation #academiclife @fiz_karlsruhe @sourisnumerique @enorouzi @sashabruns @tabea @GenAsefa @MahsaVafaie @shufan @heikef

FIZ ISE research group with our guest Sebastian Rudolph from TU Dresden.

How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic
by Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass

The importance of taking individual, potentially conflicting perspectives into account when dealing with knowledge has been widely recognised. Many existing ontology management approaches fully merge knowledge perspectives, which may require weakening in order to maintain consistency; others represent the distinct views in an entirely detached way.
As an alternative, we propose Standpoint Logic, a simple, yet versatile multi-modal logic "add-on" for existing KR languages intended for the integrated representation of domain knowledge relative to diverse, possibly conflicting standpoints, which can be hierarchically organised, combined and put in relation to each other.

Interesting approach to lower the burden of using foundational ontologies:
J. P. A. Almeida, G. Guizzardi, T. P. Sales, R. A. Falbo, "gUFO: A Lightweight Implementation of the Unified Foundational Ontology (UFO)", 2019
https://nemo-ufes.github.io/gufo/
GitHub: https://github.com/nemo-ufes/gufo

#ontologies #bfo #ufo #semanticweb #knowledgerepresentation

Class hierarchy diagram of the gUFO ontology

In 1879, Gottlob Frege introduced Begriffsschrift, a formal system with symbols and rules, allowing for precise manipulation of logical statements. This paved the way for modern symbolic logic and symbolic reasoning.

G. Frege. Begriffsschrift: eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle an der Saale: Verlag von Louis Nebert, 1879.
https://gallica.bnf.fr/ark:/12148/bpt6k65658c

#HostoryOfAI #ISE2024 #lecture #logics #knowledgerepresentation @enorouzi @sourisnumerique @fizise #AIart

Slide from the Information Service Engineering 2024 lecture, Basic Machine Learning 01, A Very Brief History of AI, Symbolic Knowledge Representation,
In 1879, Gottlob Frege introduced Begriffsschrift, a formal system with symbols and rules, allowing for precise manipulation of logical statements. This paved the way for modern symbolic logic and symbolic reasoning.

The slide also shows an example of the Begriffsschrift notation and a black & white Midjourney rendering of Gottlob Frege

Knowledge Representation and Symbolic Reasoning as another AI discipline are much older than machine learning. Already in the 4th century BCE greek philosopher Aristotle suggested ten universal categories under which to place every object of human apprehension.

Studtmann, P.. Aristotle's Categories. In Zalta, E.N. (ed.). Stanford Encyclopedia of Philosophy. https://plato.stanford.edu/entries/aristotle-categories/

#HistoryOfAI #AI #ISE2024 #knowledgerepresentation #symbolicAI #philosophy @sourisnumerique @enorouzi @fizise

Again trying to bring a classic #scifi author's work closer to the attention of my students ;-)
In the last #ise2024 lecture modelled the class 'Foundation Trilogy Book' via OWL nominals (i.e. closed classes, defined by class extension).

lecture slides: https://docs.google.com/presentation/d/1nHzeXLjEzhZOgIxxQiT-8vWop5EXrIIKjOnv94Zv4x8/edit?usp=drive_link

@fizise @sourisnumerique @shufan @enorouzi #knowledgegraphs #ontologies #knowledgerepresentation #kr #semanticweb #owl #lecture

#KnowledgeRepresentation

Client Info