منابع مشابه
An Explicit Representation of Forgetting
A pervasive, yet much ignored, factor in the analysis of processing-failures is the problem of misorganized knowledge. If a system’s knowledge is not indexed or organized correctly, it may make an error, not because it does not have either the general capability or specific knowledge to solve a problem, but rather because it does not have the knowledge sufficiently organized so that the appropr...
متن کاملForgetting and Update -- an exploration
Knowledge Update (respectively Erasure) and Forgetting are two very different concepts, with very different underlying motivation. Both are tools for knowledge management; however while the former is meant for accommodating new knowledge into a knowledge corpus, the latter is meant for modifying – in fact reducing the expressivity – of the underlying language. In this paper we show that there i...
متن کاملAn argument for Hamiltonicity
A constant-round interactive argument is introduced to show existence of a Hamiltonian cycle in a directed graph. Graph is represented with a characteristic polynomial, top coefficient of a verification polynomial is tested to fit the cycle, soundness follows from Schwartz-Zippel lemma.
متن کاملAn Argument in Favor
We argue in favor of the presumed c o m m i t protocol by proposing two new presumed commit variants that sign$cantly reduce the cost of logging activities associated with the original presumed commit protocol. Furthermore, for read-only transactions, we apply our unsolicited updatevote optim’zationand show that the cost associated with this type of transactions is the same in both presumed com...
متن کاملAn Argument Game
This game was designed to investigate protocols and strategies for resourcebounded disputation. The rules presented here correspond very closely to the problem of controlling search in an actual program. The computer program on which the game is based is LMNOP (see LouiNorman-Stiefvater-Merrill-Olson-Costello [92]). It is a LISP system designed to produce arguments and counterarguments from a s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the AAAI Conference on Artificial Intelligence
سال: 2020
ISSN: 2374-3468,2159-5399
DOI: 10.1609/aaai.v34i03.5662