To be autonomous, intelligent robots must learn the foundations of commonsense knowledge from their own sensorimotor experience in the world. We describe four recent research results that contribute to a theory of how a robot learning agent can bootstrap from the ‘blooming buzzing confusion’ of the pixel level to a higher level ontology including distinctive states, places, objects, and actions...

In this article, we describe the theoretical foundations of the Ω-arithmetization. This method provides a multi-scale discretization of a continuous function that is a solution of a differential equation. This discretization process is based on the Harthong-Reeb line HRω. The HarthongReeb line is a linear space that is both discrete and continuous. This strange line HRω stems from a nonstandard...

Intentional learning consists of the ability to learn how learn, develop critical self-awareness and exercise full accountability for learning. It is highly effective in producing learners a loosely structured environment line with today’s student-centric teaching-learning paradigm. equips students necessary skills actively participate in, self-direct, regulate their so they can fulfi...

We recall the kernel algebraic specification language ASL and outline its main features in the context of the state of research on algebraic specification at the time it was conceived in the early 1980s. We discuss the most significant new ideas in ASL and the influence they had on subsequent developments in the field and on our own work in particular.

Statistical inference is about using statistical data (x) to formulate an opinion about something that is defined well, but unknown (y). Testing a hypothesis H about y is one of the possibilities, the estimation or prediction of y is another one. We concentrate the attention on estimation or prediction in the sense that an opinion is required in the form of a probability distribution Q = Q(x) o...

An approach in achieving semantic interoperability among heterogeneous systems is to offer infrastructure to assist with linking and integration using a foundational ontology. Due to the creation of multiple foundational ontologies, this also means linking and integrating those ones. In order to achieve this, we have selected the widely used foundational ontologies DOLCE, BFO, and GFO, and thei...

The essay can be divided in two parts, each dedicated to each of the problems mentioned above. I begin by introducing inquisitive semantics, doing so by inserting it on what I dub ‘Weak Dynamic Approaches’ to meaning, focusing on what is specific on the inquisitive approach. The notions of informative and inquisitive content will be introduced, as the recursive definition of a proposition. I pr...

A healthy field combines two driving forces, extension of coverage and theoretical reflection – and modal logic is no exception. In this talk, we look at some broader theoretical issues raised by recent developments in dynamic logics of information flow, whose main technical feature is the modal study of definable model change. Our pilot system will be public announcement logic PAL, the base ca...

• Joshua Guttman in “Establishing and preserving protocol security goals” proposes a model-theoretic approach to the verification of security properties, where the models are executions, and the security goals are implications over the geometric fragment of predicate logic. This methodology also leads to a new reading of protocol refinement and transformation, and offers the possibility of reas...

This article discusses my work in the last few years on logical formalisms which have been shown to be useful to various aspects of Natural and Programming Languages and for foundational formalisms. In this period, I have been involved in two extensive programs: 1. The rst program concerns languages which exhibit various ways of combining expressiveness with logic. While I do not propose that a...