Recent searches

No recent searches

Search options

Only available when logged in.
sigmoid.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
A social space for people researching, working with, or just interested in AI!

Administered by:

Server stats:

594
active users

sigmoid.social: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.4.2

#knowledgerepresentation

0 posts0 participants0 posts today
screwlisp

#leonardoCalculus #programming #knowledgeRepresentation #KR #formal #ontology #article

Leonardo Calculus Knowledge Representation: Defining sensors sense and sense2 lispdef helper action entities

screwlisp.small-web.org/lispga

Introduces and demos lispdef entities which in the upper ontology are entities containing lisp forms which can/do provide its concrete programming implementation.

Tying these together is obviously great, none of this "just an ontology" and "just not an ontology" stuff.

screwlisp.small-web.orgLeonardo Calculus Knowledge Representation: Defining sensors sense and sense2 lispdef helper action entities
screwlisp

#programming #formal #ontology #lisp #Sandewall #knowledgeRepresentation #article #leonardoCalculus

Leonardo Calculus Knowledge Representation: Fleshing out organism’s attributes

Adding attributes to the organism type (plant, insect and bird are all subsumed-by organism). I also add a coelacanth of type organism to a world entityfile. In my view, quite a good and informational/instructional article if I do say so. What do you think?

screwlisp.small-web.org/lispga

screwlisp.small-web.orgLeonardo Calculus Knowledge Representation: Fleshing out organism’s attributes
isws

In his keynote, Enrico Motta from the Knowledge Media Institute at Open University, UK is presenting on Using AI to capture the representation of political discourse in news.

#isws2025#semanticweb#AI
screwlisp

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

sharpsign

my kitten is alive (ask the cat - Heinlein)

screwlisp.small-web.org/lispga

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/?

screwlisp.small-web.org(lisp)Games As Knowledge - plant-insect-bird post-mortem
screwlisp

#programming #rough #lispgamejam #knowledgeRepresentation #submission my kitten seems not to be out to play today, but codeberg renders markdown anyway
codeberg.org/tfw/screwlisps-ki

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 codeberg.org/tfw/pawn-75 (nee Sandewall).

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

screwlisp

#programming #knowledgeRepresentation #engineering #gamedev #lispgamejam #lisp screwlisp.small-web.org/progra
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?

Larry Swanson

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.

knowledgegraphinsights.com/cha

*
Denny Vrandečić

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

eventbrite.co.uk/e/knowledge-i

EventbriteKnowledge in the Age of AIJoin us for our upcoming Informatics departmental seminar with Dr Denny Vrandečić.
Harald Klinke

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.
aiucd2025.dlls.univr.it/en-gb/
#AIUCD2025 #DigitalHumanities #Inclusivity #AI #KnowledgeRepresentation #CulturalHeritage

AIUCD2025AIUCD2025 | Call for Papers
Harald Sack

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.
gallica.bnf.fr/ark:/12148/bpt6

@enorouzi @sourisnumerique @fizise

Harald Sack

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. plato.stanford.edu/entries/ari

@sourisnumerique @enorouzi @fizise

Harald Sack

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

lecture slides: docs.google.com/presentation/d

@fizise @sourisnumerique @shufan @enorouzi

TrendingLive feeds
About