Titlebook: Methodologies for Intelligent Systems; 7th International Sy Jan Komorowski,Zbigniew W. Raś Conference proceedings 1993 Springer-Verlag Berl

漂白

ACRID

Using semantic information for processing negation and disjunction in logic programs,compilation can be used to transform a disjunctive database with or without functions and denial constraints without negation into a new disjunctive database that complies with the integrity constraints.

规范要多

Conference proceedings 1993t the NorwegianInstitute of Technology, Trondheim, Norway, inJune 1993.The volume includes six invited talks and 43 contributedpapers organized under the following headings: logicforartificial intelligence, expert systems, intelligentdatabases, approximate reasoning, constraint programming,learning

Bridle

先驱

Defining variants of default logic: A modal approach,nstrained Default Logic, Brewka‘s CDL and also Lukaszewicz‘ variant, can be reconstructed within KDL: for each variant a different modal translation of default rules is proposed. In this way, the differences among the variants are made explicit on a syntactic ground.

讽刺滑稽戏剧

炸坏

System reorganization and load balancing of parallel database rule processing, rule programs to partition the workload of rule evaluation among an arbitrary number of processing sites, and dynamic load balancing protocols that update and reorganize the distribution of workload at runtime. Finally, we analyze the dynamic load balancing protocols in terms of efficiency and scalability criteria.

neoplasm

Devastate

Compiling proof search in semantic tableaux,t to be expanded any more, but the proof consists of determining whether it can be closed, only. It is shown how the method can be applied for compiling to the target language Prolog, although any other general purpose language can be used.

粗糙

Combining classification and nonmonotonic inheritance reasoning: A first step,though it seems to be desirable to (re-)unify the two approaches, such an attempt has not been made until now. In this paper, we will make a first step into this direction by specifying a nonmonotonic extension of a simple terminological logic.