English
Related papers

Related papers: Some Preliminary Steps Towards Metaverse Logic

200 papers

Metaverse, as an evolving paradigm of the next-generation Internet, aims to build a fully immersive, hyper spatiotemporal, and self-sustaining virtual shared space for humans to play, work, and socialize. Driven by recent advances in…

Cryptography and Security · Computer Science 2022-09-12 Yuntao Wang , Zhou Su , Ning Zhang , Rui Xing , Dongxiao Liu , Tom H. Luan , Xuemin Shen

The Metaverse represents a transformative shift beyond traditional mobile Internet, creating an immersive, persistent digital ecosystem where users can interact, socialize, and work within 3D virtual environments. Powered by large models…

Computers and Society · Computer Science 2025-08-12 Yuntao Wang , Qinnan Hu , Zhou Su , Linkang Du , Qichao Xu , Weiwei Li

The terms 'human-level artificial intelligence' and 'artificial general intelligence' are widely used to refer to the possibility of advanced artificial intelligence (AI) with potentially extreme impacts on society. These terms are poorly…

Computers and Society · Computer Science 2021-10-26 Ross Gruetzemacher , Jess Whittlestone

This paper proposes a new approach to defining and expressing algorithms: the notion of {\it task logical} algorithms. This notion allows the user to define an algorithm for a task $T$ as a set of agents who can collectively perform $T$.…

Logic in Computer Science · Computer Science 2015-06-15 Keehang Kwon

The global metaverse development is facing a "cooldown moment", while the academia and industry attention moves drastically from the Metaverse to AI Generated Content (AIGC) in 2023. Nonetheless, the current discussion rarely considers the…

Human-Computer Interaction · Computer Science 2023-04-19 Lik-Hang Lee , Pengyuan Zhou , Chaoning Zhang , Simo Hosio

Supporting real-time interactions between human controllers and remote devices remains a challenging goal in the Metaverse due to the stringent requirements on computing workload, communication throughput, and round-trip latency. In this…

Robotics · Computer Science 2024-07-24 Kan Chen , Zhen Meng , Xiangmin Xu , Changyang She , Philip G. Zhao

We develop first-order logic and some extensions for incomplete information scenarios and consider related complexity issues.

Logic · Mathematics 2019-01-04 Antti Kuusisto

The rapid evolution of artificial intelligence (AI) has introduced AI agents as a disruptive paradigm across various industries, yet their application in machine translation (MT) remains underexplored. This paper describes and analyses the…

Computation and Language · Computer Science 2025-04-18 Vicent Briva-Iglesias

In the pursuit of artificial general intelligence, our most significant measurement of progress is an agent's ability to achieve goals in a wide range of environments. Existing platforms for constructing such environments are typically…

While ChatGPT is a well-known artificial intelligence chatbot being used to answer human's questions, one may want to discover its potential in advancing software testing. We examine the capability of ChatGPT in advancing the intelligence…

Software Engineering · Computer Science 2023-11-27 Quang-Hung Luu , Huai Liu , Tsong Yueh Chen

AI agents -- systems that combine foundation models with reasoning, planning, memory, and tool use -- are rapidly becoming a practical interface between natural-language intent and real-world computation. This survey synthesizes the…

Artificial Intelligence · Computer Science 2026-01-06 Bin Xu

Recent studies of the applications of conversational AI tools, such as chatbots powered by large language models, to complex real-world knowledge work have shown limitations related to reasoning and multi-step problem solving. Specifically,…

Artificial Intelligence · Computer Science 2024-03-06 Nova Spivack , Sam Douglas , Michelle Crames , Tim Connors

There is no generally accepted definition for a virtual world, with many complimentary terms and acronyms having emerged implying a virtual world. Advances in systems architecture techniques such as, host migration of instances, mobile…

Human-Computer Interaction · Computer Science 2017-08-28 Kim J. L. Nevelsteen

Improving the interactivity and interconnectivity between people is one of the highlights of the Metaverse. The Metaverse relies on a core approach, digital twinning, which is a means to replicate physical world objects, people, actions and…

Networking and Internet Architecture · Computer Science 2022-09-28 Terence Jie Chua , Wenhan Yu , Jun Zhao

Creating and maintaining the Metaverse requires enormous resources that have never been seen before, especially computing resources for intensive data processing to support the Extended Reality, enormous storage resources, and massive…

Networking and Internet Architecture · Computer Science 2023-02-28 Nam H. Chu , Dinh Thai Hoang , Diep N. Nguyen , Khoa T. Phan , Eryk Dutkiewicz , Dusit Niyato , Tao Shu

A multiverse analysis evaluates all combinations of "reasonable" analytic decisions to promote robustness and transparency, but can lead to a combinatorial explosion of analyses to compute. Long delays before assessing results prevent users…

Human-Computer Interaction · Computer Science 2023-05-16 Yang Liu , Tim Althoff , Jeffrey Heer

The endowment of AI with reasoning capabilities and some degree of agency is widely viewed as a path toward more capable and generalizable systems. Our position is that the current development of agentic AI requires a more holistic,…

As AI is increasingly being adopted into application solutions, the challenge of supporting interaction with humans is becoming more apparent. Partly this is to support integrated working styles, in which humans and intelligent systems…

Artificial Intelligence · Computer Science 2017-10-02 Maria Fox , Derek Long , Daniele Magazzeni

The conversational agents is one of the most interested topics in computer science field in the recent decade. Which can be composite from more than one subject in this field, which you need to apply Natural Language Processing Concepts and…

Computation and Language · Computer Science 2022-01-19 Moataz Mohammed , Mostafa M. Aref

As a contribution to the challenge of building game-playing AI systems, we develop and analyse a formal language for representing and reasoning about strategies. Our logical language builds on the existing general Game Description Language…

Artificial Intelligence · Computer Science 2014-07-22 Dongmo Zhang , Michael Thielsher
‹ Prev 1 4 5 6 7 8 10 Next ›