A new predicate calculus deduction system based on production rules is pro. Logical deduction is a basic activity in many artificial intelligence Al systems.ideas that support many of the useful applications of artificial intelligence. Many Rule-Based Systems Are Deduction Systems. One of the most important aspects of rule-based systems is the. For instance, in deduction systems, forward.They a...

ChatGPT, one of the leading Large Language Models (LLMs), has acquired linguistic capabilities such as text comprehension and logical reasoning, enabling it to engage in natural conversations with humans. As illustrated “What Does ChatGPT Say: The DAO from Algorithmic Intelligence Linguistic Intelligence” [1], there are three levels intelligence: 1) (AI), 2) (LI), 3) Imaginative (II). is a powe...

More and more location-based services become relying on the logical notion of a physical location, known as logical location (e.g. Starbucks, KFC). In this paper, we propose a new way to identify logical location using (1) a GPS-enabled mobile phone and (2) a wearable camera embedded in user's glasses. When a user with a wearable camera is detected paying attention to a certain physical locatio...

It is well established now that excitable media are capable of implementing of a wide range of computational operations, from image processing to logical computation to navigation of robots. The findings published so far in the field of logical computation were concerned solely with realization of boolean logic. This imposed somewhat artificial limitations on a suitability of excitable media fo...

This paper presents Tweety, an open source project for scientific experimentation on logical aspects of artificial intelligence and particularly knowledge representation. Tweety provides a general framework for implementing and testing knowledge representation formalisms in a way that is familiar to researchers used to logical formalizations. This framework is very general, widely applicable, a...

The representation and manipulation of natural human understanding of temporal phenomena is a fundamental field of study in Computer Science, which aims both to emulate human thinking, and to use the methods of human intelligence to underpin engineering solutions. In particular, in the domain of Artificial Intelligence, temporal knowledge may be uncertain and incomplete due to the unavailabilit...

This paper echoes, from a philosophical standpoint, the claim of McCarthy and Hayes that Philosophy and Artificial Intelligence have important relations. Philosophical problems about the use of ’intuition’ in reasoning are related, via a concept of analogical representation, to problems in the simulation of perception, problem-solving and the generation of useful sets of possibilities in consid...

Much of the research in the Artificial Intelligence and Law community has been concerned with the representation of legislation and regulations with a view to provide advisory systems for policy makers, legal practitioners and the general public. A considerable amount of research in Artificial Intelligence and Law focused on logic-based representations of legislation and regulations (for a comp...

In all 102 participants completed 2 intelligence tests, a self-estimated domain-masculine (DMIQ) intelligence rating (which is a composite of self-rated mathematical-logical and spatial intelligence), a measure of self-esteem, and of self-control. The aim was to confirm and extend previous findings about the role of general intelligence and gender identity in self-assessed intelligence. It aime...

Artificial intelligence emerged from human thinking that has both logical and intuitive or subjective sides. The logical side has been developed and utilized, resulting advanced von Neumann type computers and expert systems, both constituting the hard computing domain. However, it is found that hard computing can’t give the solution of very complicated problems by itself. In order to cope with ...