منابع مشابه
Rational Physical Agent Reasoning Beyond Logic
The paper addresses the problem of defining a theoretical physical agent framework that satisfies practical requirements of programmability by non-programmer engineers and at the same time permitting fast realtime operation of agents on digital computer networks. The objective of the new framework is to enable the satisfaction of performance requirements on autonomous vehicles and robots in spa...
متن کاملAn emergence of formal logic induced by an internal agent
In this paper, we mainly address three issues: externality of an agent, purpose of an agent, and a kind of "softness" of components in a system. Agents are independent of a system in an ordinary multi-agent model, hence the behavior of a system is not autonomous but influenced by the agents. If a multi-agent model is considered as a completely autonomous one, agents in the model are inevitably ...
متن کاملRational fuzzy attribute logic
We present a logic for reasoning with if-then formulas which involve constants for rational truth degrees from the unit interval. We introduce graded semantic and syntactic entailment of formulas. We prove the logic is complete in Pavelka style and depending on the choice of structure of truth degrees, the logic is a decidable fragment of the Rational Pavelka logic (RPL) or the Rational Product...
متن کاملRational Logic Programming Debugging
Information about Prolog data term's dependencies on derivation goals can be used for improved debugging, whether in the wrong solution or the missing solution type of faulty program behaviour. A debugger for full Prolog (itself written in Prolog) has been developed which automates the reasoning ability required to pinpoint errors, resorting to the user only to ask about the intended program se...
متن کاملRational Models of Normal Logic
In general, the application of the meaning function T P to a normal logic program P results in innnite expressions and, hence, is infeasible in practice. On the other hand, the iteration of T P is of interest for several elds in AI. Therefore, we introduce a new representation of interpretations and adopt T P to this. The resulting function always results in nite expressions of tractable length...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Australasian Journal of Logic
سال: 2021
ISSN: 1448-5052
DOI: 10.26686/ajl.v18i2.6286