Unlike previous AI formalisms, our focus here is on mechanized proofs and proof programmability, not on metamathematical results. Reasoning is performed via relatively cognitively plausible inference rules, and a degree of automation is achieved by generalpurpose inference methods and by a syntactic ...
A knowledge-base agent is composed of a knowledge base and an inference mechanism. It operates by storing sentences about the world in its knowledge base, using the inference mechanism to infer new sentences, and using these sentences to decide what action to take. The knowledge-based agent is...
Moreover, variable values are not numbers but words or sentences in a natural or artificial language. In real uncertainty reasoning and approximate inference, there exist many situations in which the information can not be assessed precisely in a quantitative form but may be in a qualitative one ...
Our evolutionary Monte Carlo method has been applied to theorem proving by resolution refutation in artificial intelligence (Nilsson, 1998; =-=Lee et al., 2003-=-). This theorem proving is a logical inference process from given statements and logical relations among them. In the simulation, we...
BNNs are suitable for working in limited-resource devices, improving the inference speed. However, in contraposition, BNNs may lose accuracy and precision, in particular when both activation and weights are binary [54,55,56]. DEXiRE employs binary neural networks to discretize only the neuron ...
借助Surface Pro 商用版 和 Surface Laptop 商用版 提高生产力、更快地解决问题并开启 AI 新时代。 购买Surface Pro 商业版 购买Surface Laptop 商业版 Microsoft 365 Copilot 使用Microsoft 365 商业版中的 AI 功能,节省时间并专注于最为重要的工作。 了解更多 面向企业的 Windows 11 专为混合办公而设计...
nonmonotonic inference systemsSigma 2p-completenessclause maintenance systemTruth maintenance (TM) has been an active area of artificial intelligence (AI) research in recent years. In particular, truth maintenance systems (TMSs) in many variant types have become popular mechanisms for implementing non...
multivalued logic/ L-valued propositional logic L vplgradational L-type lattice-valued propositional logictruth valueslattice implication algebrasemanticssyntaxcompactness/ C4210 Formal logic C1230R Reasoning and inference in AIIn this paper, two types of gradational L-type lattice-valued propositional ...
causality/ C1230R Reasoning and inference in AI C6170K Knowledge engineering techniques C4240C Computational complexitySummary: In this paper we examine ten concrete propositional update operations of the literature. We start by completely characterizing their relative strength and their computational ...
Here we study the Interpolation Property for the propositional version of the non-monotonic system of equilibrium logic, establishing weaker or stronger forms of interpolation depending on the precise interpretation of the inference relation. These results also yield a form of interpolation for ground ...