The chapter presents a novel approach to formal verification of logic controller programs [2], focusing especially on reconfigurable logic controllers (RLCs). Control Interpreted Petri Nets [8] are used as formal specification of logic controller behavior. The approach proposes to use an abstract rule-based logical model presented at RTL-level. A Control Interpreted Petri Net is written as a lo...

Pervasive context-aware computing, is one of the topics that received particular attention from researchers. The context, itself is an important notion explored in many works discussing its: acquisition, definition, modelling, reasoning and more. Given the permanent evolution of context-aware systems, context modeling is still a complex task, due to the lack of an adequate, dynamic, formal and ...

This paper examines the role that formal logic ought to play in representing and reasoning with commonsense knowledge. We take issue with the commonly held view (as expressed by Newell [1980]) that the use of representations based on formal logic is inappropriate in most applications of artificial intelligence. We argue to the contrary that there is an important set of issues, involving incompl...

The true belief components of Plato’s tripartite definition of knowledge as justified true belief are represented in formal epistemology by modal logic and its possible worlds semantics. At the same time, the justification component of Plato’s definition did not have a formal representation. This paper introduces the notion of justification into formal epistemology. Epistemic logic with justifi...

Wumpus world is a toy problem domain used in [3] to introduce the concept of logical agents. Using agents that reason about the world with the tools of formal logic is an intuitive approach that underpinned much of the earlier research in artificial intelligence, however there are issues associated with using formal logic as a basis for reasoning (such as the frame problem). I propose to implem...

In the current paper, we re-examine the connection between formal argumentation and logic programming from the perspective of semantics. We observe that one particular translation from logic programs to instantiated argumentation (the one described by Wu, Caminada and Gabbay) is able to serve as a basis for describing various equivalences between logic programming semantics and argumentation se...

We introduce a quantum logic for quantum information, which we identify with the quantum logic of the psychodynamic unconscious, amenable to formal characterization through the theoretical framework of Quantum Mind. We claim that this sub rosa quantum logic of the normal mind’s unconscious domain is also the dominant, pathologically emerging logic of schizophrenia. We interpret Quantum Meta-lan...

In this paper, we summarize an approach to reasoning about a class of BDI agent architectures based on PRS. The theory is formalized using a logic, Agent Dynamic Logic (ADL), that combines elements from Computation Tree Logic, Propositional Dynamic Logic and Rao and Georgeff’s BDI Logic. The motivation of this work is to develop a logical framework that is at once rigorous in providing formal n...

In this paper I explore three related topics emerging from Prior’s work on the logic of time. First, what is the proper province of logic, if any? Is temporal (modal) logic just logic, on a par with the paradigmatic case of first order quantification theory or even simple propositional logic? Second, what counts as an interpretation of a formal system? In particular, can formal semantics provid...