完整
发表于 2025-3-25 06:55:40
Probabilistic satisfiability and decomposition,its decision version, in finding whether these probabilities are consistent, and in its optimization version in determining best possible lower and upper bounds on the probability that an additional sentence be true. Van der Gaag recently proposed a partially quantified belief network model which ma
很像弓]
发表于 2025-3-25 11:03:48
Update postulates without inertia,an update operator. The update operator class which is obtained is larger than Katsuno and Mendelzon‘s one, since it includes updating operators which are not inert, and which allow for the existence of unreachable states. The main property is that every update operator satisfying this new set of po
anus928
发表于 2025-3-25 12:57:19
http://reply.papertrans.cn/89/8839/883844/883844_23.png
不连贯
发表于 2025-3-25 16:03:48
http://reply.papertrans.cn/89/8839/883844/883844_24.png
Antarctic
发表于 2025-3-25 20:26:31
http://reply.papertrans.cn/89/8839/883844/883844_25.png
白杨鱼
发表于 2025-3-26 01:06:08
http://reply.papertrans.cn/89/8839/883844/883844_26.png
Torrid
发表于 2025-3-26 05:19:43
From non-monotonic syntax-based entailment to preference-based argumentation,ce relations can be exactly restated in the framework of syntax-based entailment. Then, taking advantage of the modelling of prioritized syntax-based entailment, we propose a methodological approach to the integration of preference orderings in argumentation frameworks.
改变立场
发表于 2025-3-26 12:31:30
http://reply.papertrans.cn/89/8839/883844/883844_28.png
AER
发表于 2025-3-26 15:54:09
Multiple database logic, logic characterizes how each database works, and the global logic characterizes how they interact..There is a variety of ways in which the databases can be interconnected to form a network. Each database in the network can even reason with different logic. In this work, we considered some possible architectures.
Insatiable
发表于 2025-3-26 18:36:29
Quasi-classical logic: Non-trivializable classical reasoning from inconsistent information,t a proof-theoretic definition, and semantics, and show that the consequence relation observes reflexivity, monotonicity and transitivity, but fails cut and supraclassicality. Finally we discuss some of the advantages of this logic, over other paraconsistent logics, for applications in information systems.