Some Preliminary Steps Towards Metaverse Logic

07/10/2023
by   Antonio L. Furtado, et al.
0

Assuming that the term 'metaverse' could be understood as a computer-based implementation of multiverse applications, we started to look in the present work for a logic that would be powerful enough to handle the situations arising both in the real and in the fictional underlying application domains. Realizing that first-order logic fails to account for the unstable behavior of even the most simpleminded information system domains, we resorted to non-conventional extensions, in an attempt to sketch a minimal composite logic strategy. The discussion was kept at a rather informal level, always trying to convey the intuition behind the theoretical notions in natural language terms, and appealing to an AI agent, namely ChatGPT, in the hope that algorithmic and common-sense approaches can be usefully combined.

READ FULL TEXT
research
07/27/2017

An Epistemic Foundation for Authentication Logics (Extended Abstract)

While there have been many attempts, going back to BAN logic, to base re...
research
07/26/2011

ALPprolog --- A New Logic Programming Method for Dynamic Domains

Logic programming is a powerful paradigm for programming autonomous agen...
research
12/14/2022

Intensional First Order Logic for Strong-AI Generation of Robots

Neuro-symbolic AI attempts to integrate neural and symbolic architecture...
research
05/01/2020

Rejoinder for the discussion of the paper "A novel algorithmic approach to Bayesian Logic Regression"

In this rejoinder we summarize the comments, questions and remarks on th...
research
08/20/2018

Some notes on the superintuitionistic logic of chequered subsets of R^∞

I investigate the superintuitionistic analogue of the modal logic of che...
research
02/11/2018

Bimodal logics with contingency and accident

Contingency and accident are two important notions in philosophy and phi...
research
10/02/2020

Public Announcement Logic in HOL

A shallow semantical embedding for public announcement logic with relati...

Please sign up or login with your details

Forgot password? Click here to reset