This paper provides a formal analysis on the solutions of the frame problem by using dynamic logic. We encode Pednault’s syntax-based solution, Baker’s state-minimization policy, and Gelfond & Lifchitz’s Action Language A in the propositional dynamic logic (PDL). The formal relationships among these solutions are given. The results of the paper show that dynamic logic, as one of the formalisms ...

Now we begin to dig into the nitty-gritty of our subject matter. Before discussing querying and analysis of complex, heterogeneous spatiotemporal and contextual knowledge, we must discuss representation of temporal knowledge (as well as, to a certain extent, spatial knowledge) . . . and before that, we must address knowledge representation in general. In the course of our investigation we must ...

The aim of this article is to present, in outline, a representative selection of the ways in which formal logic has been of service to computer science. Logic offers so many possibilities of application, and there are so many diverse groups of researchers developing logic-based applications, that it will be impossible in the space available to do justice to the whole field. Indeed it will be im...

The paper proposes and studies temporal logics for attributed words, that is, data words with a (finite) set of (attribute,value)-pairs at each position. It considers a basic logic which is a semantical fragment of the logic LTL1 of Demri and Lazic with operators for navigation into the future and the past. By reduction to the emptiness problem for data automata it is shown that this basic logi...

The digital computer can be used to synthesize images of Nature from first principles of mathematics and the natural sciences; these images can in turn serve as vehicles of self-expression for the artist directing the synthesis. This peculiar artistic process juxtaposes the deterministic formalisms of the scientific method with the subjective aspects of visual aesthetics and with the pursuit of...

Problems of conceptual uncertainty have been dealt with in theories of formal logic. Such theories try to accommodate vagueness in two main ways. One is fuzzy logic that introduces degrees of truth. The other way of accommodating formal logic to vagueness is super valuations and its descendants. This paper studies a more inclusive class of reasoning support than formal logic. In the present app...

It is commonly believed that the meaning of a formal declarative knowledge representation language is determined by its formal semantics. This is not quite so. This paper shows an epistemological ambiguity that arises in the context of logic programming. Several different logic programming formalisms and semantics have been proposed. Hence, logic programming can be seen as an overlapping family...

What is “Formal Epistemology”? Not sure, really. I first heard the term from Sahotra Sarkar in 2003 . It seems that it is quite a broad field, which includes: Ampliative inference (including inductive logic); Game theory and decision theory; Formal learning theory; Formal theories of coherence: Foundations of probability and statistics; Formal approaches to paradoxes of belief and/or act...