AI tools and programmers struggle with complexity given by the programming ecosystem itself. Kubrick is a declarative language designed to reduce accidental complexity through logic programming, functional paradigms, and relation algebra. Lower the friction, and generators work better. Make easy things easily while keeping expressiveness intact.
How programming systems can adapt to evolving user and AI needs? Drawing parallels with architecture, I enphasize the importance of flexibility, open authorship, and user empowerment, and discusses challenges faced by both humans and AI in program synthesis
Computer programming is a specialized activity that requires long training and experience to match productivity, precision and integration. It hasn't been a secret for AI practitioners to ultimately create software tools that can facilitate the role of programmers. The branch of AI dedicated to automatically generate programs from examples or some sort of specification is called program synthesis.…
Computational argumentation uses strict and defeasible rules to model the logical structure of arguments and evaluate their validity by considering facts, counterarguments, and preferences. Let's figure it out...
Short dissertation on how supply chain management might benefit from the adoption of a cognitive system, how the architecture might be modeled and the main challenges on pursuing the projects
Course: Foundations of Artificial Intelligence III This course spares topics that can be listed in 3 main groups. Propositional logic (PL), first order logic (FOL), reasoning and satisfiability. The literature mentioned in this course refers to Chapters 7,8 and 9 of AIMA book. The example applications used in the course, is (among many other) the wumpus world (inspired by the one in the AIMA book)…
Attention and perception are two fundamental elements for enabling cognitive processes that allow us to be functioning in the environment where we are striving to survive. Likewise any different aspect of functionalities in complex systems, single traits should not seen solely on their own but in conjunction of all other ones that contribute to compounded behaviors. Attention and perception do not…
Conceptual spaces share similarity with neural embeddings because they are both differentiable and convex. At the same time, concepts incorporate symbolism with their multi-facets domains. They naturally enable semantic algebra and computational problem solving.