Article 9.1.4 (Partial assignment)

Modern CDCL SAT solvers generally save the variable value when backtracking. We propose a new measure called nbSAT based on the saved assignment to predict the usefulness of a learnt clause when reducing clause database in Glucose 3.0. Roughly speaking, The nbSAT value of a learnt clause is equal to the number of literals satised by the current partial assignment plus the number of other literals that would be satised by the saved assignment. We study the nbSAT measure by empirically show that it may be more accurate than the LBD measure originally used in Glucose. Based on this study, we implement an improvement in Glucose 3.0 to remove half of learnt clauses with large nbSAT values instead of half of clauses with large LBD values. This improvement, together with a resolution method to keep the learnt clauses or resolvents produced using a learnt clause that subsume an original clause, makes Glucose 3.0 more eective for the application and crafted instances from the SAT 2014 competition.

Download Full-text

Ch.9 Assignment of rights, transfer of obligations, assignment of contracts, s.1: Assignment of rights, Art.9.1.4

10.1093/law/9780198702627.003.0173 ◽

2015 ◽

Author(s):

Mazza Francesca

Keyword(s):

Partial Assignment ◽

Additional Burden ◽

The Right ◽

Economic Need ◽

Rights Transfer

This commentary analyses Article 9.1.4 of the UNIDROIT Principles of International Commercial Contracts (PICC) concerning partial assignment. Art 9.1.4 recognizes the economic need for assigning part of a right. Taking into account the underlying rationale of Section 9.1 of the PICC that the assignment should not burden the obligor, Art 9.1.4 draws a distinction between a right to the payment of a monetary sum and a right to other performance. According to this provision, a right to the payment of a monetary sum may be assigned partially. A right to other performance may be assigned partially only if it is divisible, and the assignment does not render the obligation significantly more burdensome. This commentary discusses the right to the payment of a monetary sum, right to other performance, the divisibility of a right, the additional burden that a partial assignment may put on the obligor, and the effects of partial assignment on the obligee and obligor.

Download Full-text

An Embodied Logical Model for Cognition in Artificial Cognition Systems

Artificial Cognition Systems ◽

10.4018/978-1-59904-111-7.ch002 ◽

2007 ◽

pp. 27-63 ◽

Cited By ~ 2

Author(s):

Guilherme Bittencourt ◽

Jerusa Marchi

Keyword(s):

Cognitive Model ◽

The State ◽

Systemic Approach ◽

Logical Model ◽

Memory Mechanism ◽

Partial Assignment ◽

Prime Implicants ◽

Internal Relations ◽

Definition Of ◽

Semantic Definition

In this paper we describe a cognitive model based on the Systemic approach and on the Autopoiesis theory. The syntactical definition of the model consists of logical propositions but the semantic definition includes, besides the usual truth value assignments, what we call emotional flavors, which correspond to the state of the agent’s body translated into cognitive terms. The combination between logical propositions and emotional flavors allows the agent to learn and memorize relevant propositions that can be used for reasoning. These propositions are represented in a specific format – prime implicants/implicates – which is enriched with annotations that explicitly store the internal relations among their literals. Based on this representation, a memory mechanism is described and algorithms are presented that learn a proposition from the agent’s experiences in the environment and that are able to determine the degree of robustness of the propositions, given a partial assignment representing the environment state.

Download Full-text