Titlebook: Artificial Intelligence: Methodology, Systems, and Applications; 8th International Co Fausto Giunchiglia Conference proceedings 1998 Spring

不在灌木叢中

Andrew J. Clark,Theodore A. Uyeno two results, one for extension calculus, and another for query answering. Given a prioritized default theory, in the first case we are able to build more efficiently all its extensions, and in the second case we are able to compute the prioritized default proof of a given formula.

強(qiáng)行引入

暫時(shí)過(guò)來(lái)

carbohydrate

Ballerina

Pillory

arabesque

序曲

BILK

,Modelling uncertainty with kripke’s semantics,ccessibility relation of a model of modal logic are fixed, different value assignment functions will induce different measures on the set of atomic propositions. The latter can be obtained easily from the measures on the set of possible worlds.

TAIN

Theories and proofs in fault diagnosis,sis algorithm on them. MetaProlog theories are used both in the representation of digital circuits and in the implementation of the fault diagnosis algorithm. Fail branches and the ability to control their construction play a key role during the construction of hypothesises to explain the fault in a given faulty circuit.