this paper investigates how the logical aspects of legal language determine possibilities to attack and defend arguments in a dispute. An argumentation framework in logic-programming style is presented which can cope ...
详细信息
this paper investigates how the logical aspects of legal language determine possibilities to attack and defend arguments in a dispute. An argumentation framework in logic-programming style is presented which can cope withthe interplay between assumptions, applicability statements and reasoning about preference relations between norms. the theory is given a solid semantic foundation, and can be used to formalise a wide range of realistic legal examples.
13-16 June 1995, Tokyo, Japan ICLP, which is sponsored by the Association for logicprogramming, is one of two major annual internationalconferences reporting recent research results in logicprogramming. logic progr...
13-16 June 1995, Tokyo, Japan ICLP, which is sponsored by the Association for logicprogramming, is one of two major annual internationalconferences reporting recent research results in logicprogramming. logicprogramming originates from the discovery that a subset of predicate logic could be given a procedural interpretation which was first embodied in the programming language, Prolog. the unique features of logicprogramming make it appealing for numerous applications in artificialintelligence, computer-aided design and verification, databases, and operations research, and for exploring parallel and concurrent computing. the last two decades have witnessed substantial developments in this field from its foundation to implementation, applications, and the exploration of new language *** covered : theoretical Foundations. Higher-Order logics. Non-Monotonic reasoning. programming Methodology. programming Environments. Extensions to logicprogramming. Constraint Satisfaction. Meta-programming. Language Design and Constructs. Implementation of logicprogramming Languages. Compilation Techniques. Architectures. Parallelism. reasoning about Programs. Deductive Databases. *** programming series, Research Reports and Notes
the proceedings contain 26 papers. the special focus in this conference is on Higher Order logictheorem Proving and Its Applications. the topics include: Non-primitive recursive function definitions;experiments with ...
ISBN:
(纸本)3540602755
the proceedings contain 26 papers. the special focus in this conference is on Higher Order logictheorem Proving and Its Applications. the topics include: Non-primitive recursive function definitions;experiments with ZF set theory in HOL and isabelle;automatically synthesized term denotation predicates;on the refinement of symmetric memory protocols;combining decision procedures in the HOL system;deciding cryptographic protocol adequacy with HOL;a practical method for reasoning about distributed systems in a theorem prover;a theory of finite maps;virtual theories;an automata theory dedicated towards formal circuit synthesis;interfacing HOL90 with a functional database query language;floating point verification in HOL;automation and application;a formulation of TLA in isabelle;formal verification of serial pipeline multipliers;a tool for window inference in HOL;formal verification of counterflow pipeline architecture;deep embedding VHDL;higher order logic of computable functions;a mechanized logic for secure key escrow protocol verification;very efficient conversions;recording and checking HOL proofs;formalization of planar graphs;a hierarchical method for reasoning about distributed programming languages.
According to rumors, the early hybrids of object-oriented and deductive languages were mutants that escaped from secret Government AI labs. Whether this is true or not, the fact is that by mid-80’s, database and logi...
详细信息
ISBN:
(纸本)9783540606086
According to rumors, the early hybrids of object-oriented and deductive languages were mutants that escaped from secret Government AI labs. Whether this is true or not, the fact is that by mid-80’s, database and logicprogramming communities began to take notice. the temptation was hard to resist: the object-oriented paradigm provides a better way of manipulating structured objects, while logic and deduction offer the power and flexibility of ad hoc querying and reasoning. thus, hybrid languages have the potential for becoming an ideal turf for cultivating the next generation of information systems. the approaches to integration of the two paradigms range from logic-based languages with unified declarative semantics, to message-passing prologs, to Prolog/C++ cocktails. In the past eight years, my colleagues and I have been developing a unified object-based logic intended to capture most of the essentials of the object-oriented paradigm. the overall plot here is that once the fundamentals are in place, the actual hybrid programming languages can be carved out of the logicthe same way as deductive data languages have been carved out of the classical logic. there are two distinct aspects in object-orientation: structural (the statics) and procedural (the dynamics). the static aspect was somewhat easier to capture in logic and after taking a few wrong turns F-logic was developed [17]. Taming the dynamics was harder, because there was no widely accepted solution to the problem of state changes even for traditional deductive languages. Our recent work on Transaction logic [8, 7] appears to provide an adequate framework for specifying the dynamics in classical deductive languages. this paper first reviews some core aspects of F-logic and Transaction logic, and then shows how the two can be combined in a natural way to yield a unified foundation for future work on deductive object-oriented languages both in theory and practice. At the end, we discuss areas that still remai
作者：
N. LeoneP. RulloISI
CNR-c/o DEIS-UNICAL Rende Italy DIMET
Universita di Reggio Calabria Reggio Calabria Italy
the BQM system extends deductive database technology with knowledge structuring capabilities to provide an advanced environment for the development of data and knowledge-based applications. the system relies on a know...
详细信息
the BQM system extends deductive database technology with knowledge structuring capabilities to provide an advanced environment for the development of data and knowledge-based applications. the system relies on a knowledge representation language that combines the declarativeness of logicprogramming withthe notions of object, inheritance with exceptions and message passing. Exceptions are supported by allowing rules with negated heads. the use of exceptions inside the inheritance mechanism makes the language inherently nonmonotonic. the paper describes BQM focusing on boththe language and the implementation techniques. An informal overview of the language is first given. then, a number of techniques for efficient query evaluation are presented. these techniques significantly extend "traditional" deductive database query evaluation strategies to deal with nonmonotonic reasoning. A description of the architecture of the current prototype of the BQM system is also given.
Associative computation is characterized by the in-tertwining of search by content and data parallel com-putation. this intertwining facilitates the integration of knowledge retrieval and data parallel computation. th...
详细信息
the proceedings contain 24 papers. the special focus in this conference is on logicprogramming and Automated reasoning. the topics include: Generalization and reuse of tactic proofs;program tactics and logic tactics;...
ISBN:
(纸本)9783540582168
the proceedings contain 24 papers. the special focus in this conference is on logicprogramming and Automated reasoning. the topics include: Generalization and reuse of tactic proofs;program tactics and logic tactics;proof plans for the correction of false conjectures;on the value of antiprenexing;implementing a finite-domain CLP-language on top of prolog;logical closures;higher-order rigid e-unification;program extraction in a logical framework setting;higher-order abstract syntax with induction in coq;towards efficient calculi for resource-oriented deductive planning;a logicprogramming framework for the abductive inference of intentions in cooperative dialogues;constraint logicprogramming in the sequent calculus;on conditional rewrite systems with extra variables and deterministic logic programs;a bottom-up reconstruction of the well-founded semantics for disjunctive logic programs;an efficient computation of the extended generalized closed world assumption by support-for-negation sets;multi-SLD resolution;on anti-links;a generic declarative diagnoser for normal logic programs;a kind of achievement by parts method and projection in temporal logicprogramming.
the proceedings contain 20 papers. the special focus in this conference is on Algebraic and logicprogramming. the topics include: Concurrent constraint programming;specifications using multiple-conclusion logic progr...
ISBN:
(纸本)9783540584315
the proceedings contain 20 papers. the special focus in this conference is on Algebraic and logicprogramming. the topics include: Concurrent constraint programming;specifications using multiple-conclusion logic programs;viewing a program transformation system at work;proving implications by algebraic approximation;sufficient completeness and parameterized proofs by induction;proving behavioural theorems with standard first-order logic;compositional analysis for equational horn programs;equation solving in projective planes and planar ternary rings;concurrent logicprogramming as uniform linear proofs;three-valued completion for abductive logic programs;a sequential reduction strategy;on modularity of termination and confluence properties of conditional rewrite systems;syntactical analysis of total termination;logic programs as term rewriting systems;higher-order minimal function graphs;reasoning about layered, wildcard and product patterns;preserving universal termination through unfold/fold and a logic for variable aliasing in logic programs.
the proceedings contain 27 papers. the special focus in this conference is on logic Program Synthesis and Transformation. the topics include: logic frameworks for logic programs;an extended transformation system for C...
ISBN:
(纸本)9783540587927
the proceedings contain 27 papers. the special focus in this conference is on logic Program Synthesis and Transformation. the topics include: logic frameworks for logic programs;an extended transformation system for CLP programs;a transformation system for definite programs based on termination analysis;on the use of inductive reasoning in program synthesis;transforming specifications of observable behaviour into programs;on specification frameworks and deductive synthesis of logic programs;schema-based top-down design of logic programs using abstract data types;generalizing extended execution for normal programs;partial deduction of disjunctive logic programs;logicprogramming and logic grammars with first-order continuations;a model of costs and benefits of meta-level computation;a basis for a multilevel metalogicprogramming language;logic programs with tests;an architecture with multiple meta-levels for the development of correct programs;formal semantics of temporal epistemic reflection;temporal semantics of meta-level architectures for dynamic control of reasoning;gödel as a meta-language for composing logic programs;a module system for meta-programming;building proofs in context;introspective metatheoretic reasoning and abstract debugging of logic programs.
this paper introduces a logic for a class of properties - in particular variable aliasing - used in static analysis of logic programs. the logic is shown to be sound, complete and decidable. Moreover, it is illustrate...
详细信息
暂无评论