In a number of papers *** introduced algebras called bilattices having two separate lattice structure and one additional basic unary operation. they originated as an algebraization of some non-classical logics that ar...
详细信息
ISBN:
(纸本)3540003150
In a number of papers *** introduced algebras called bilattices having two separate lattice structure and one additional basic unary operation. they originated as an algebraization of some non-classical logics that arise in artificial intelligence and knowledge-based logicprogramming. In this paper we introduce some new class of bilattices which originate from interval lattices and show that each of them is simple. A known simple lattices are used to give other examples of simple bilattices. We also describe simple bilattices satisfying some additional identities so called P-bilattices (or interlaced bilattices).
In many mobile agent systems, it is normal for mobile agents to be uninformed about the environment of a computer until they actually arrive at the computer. If the environment of computers is updated frequently, it i...
详细信息
ISBN:
(数字)9783540361121
ISBN:
(纸本)3540000852
In many mobile agent systems, it is normal for mobile agents to be uninformed about the environment of a computer until they actually arrive at the computer. If the environment of computers is updated frequently, it is even more difficult to execute actions as expected. this paper introduces a new procedure for mobile agents that work in such dynamic world. the new procedure smoothly integrates planning, action execution, knowledge updates, and plan modifications.
the proceedings contain 13 papers. the special focus in this conference is on Mobile Agents. the topics include: Mobile agents and logicprogramming;empowering mobile software agents;an intrusion detection system for ...
ISBN:
(纸本)3540000852
the proceedings contain 13 papers. the special focus in this conference is on Mobile Agents. the topics include: Mobile agents and logicprogramming;empowering mobile software agents;an intrusion detection system for aglets;fine-grained interlaced code loading for mobile systems;improving scalability of replicated services in mobile agent systems;toward interoperability of mobile-agent systems;mobile intermediaries supporting information sharing between mobile users;a mobile agent enabled fully distributed mutual exclusion algorithm;using a secure mobile object kernel as operating system on embedded devices to support the dynamic upload of applications;supporting flexible data feeds in dynamic sensor grids through mobile agents and physical mobility and logical mobility in ubiquitous computing environments.
the proceedings contain 30 papers. the special focus in this conference is on Artificial Intelligence, Automated Reasoning, and Symbolic Computation. the topics include: Expressiveness and complexity of full first-ord...
ISBN:
(纸本)3540438653
the proceedings contain 30 papers. the special focus in this conference is on Artificial Intelligence, Automated Reasoning, and Symbolic Computation. the topics include: Expressiveness and complexity of full first-order constraints in the algebra of trees;deduction versus computation;integration of quantifier elimination with constraint logicprogramming;towards a hybrid symbolic/numeric computational approach in controller design;inductive synthesis of functional programs;on a generalised logicality theorem;using symbolic computation in an automated sequent derivation system for multi-valued logic;multicontext logic for semigroups of contexts;indefinite integration as a testbed for developments in multi-agent systems;genetic symbolic classification integrated with non-linear coefficient optimisation;a novel face recognition method;non-commutative logic for hand-written character modeling;from numerical to symbolic data during the recognition of scenarii;on mathematical modeling of networks and implementation aspects;continuous first-order constraint satisfaction;reasoning and scheduling with interval constraints;a genetic-based approach for satisfiability problems;the meaning of infinity in calculus and computer algebra systems and making conjectures about maple functions.
the proceedings contain 39 papers. the topics discussed include: a computational logic approach to heterogeneous agent systems;on the complexity of model checking and inference in minimal models;data integration needs...
ISBN:
(纸本)3540425934
the proceedings contain 39 papers. the topics discussed include: a computational logic approach to heterogeneous agent systems;on the complexity of model checking and inference in minimal models;data integration needs reasoning;nonmonotonic inductive logicprogramming;on the effect of default negation on the expressiveness of disjunctive rules;on the expressibility of stable logicprogramming;on the relationship between defeasible logic and well-founded semantics;a comparative study of well-founded semantics for disjunctive logic programs;reasoning with open logic programs;representation of incomplete knowledge by induction of default theories;explicitly using default knowledge in concept learning: an extended description logics plus strict and default rules;declarative specification and solution of combinatorial auctions using logicprogramming;and planning with different forms of domain-dependent control knowledge - an answer set programming approach.
this paper discusses representation and reasoning approaches of exceptions to inheritance hierarchy based on default logic, examines the intuition of representation with normal defaults and semi-normal defaults, and d...
详细信息
ISBN:
(纸本)7506251817
this paper discusses representation and reasoning approaches of exceptions to inheritance hierarchy based on default logic, examines the intuition of representation with normal defaults and semi-normal defaults, and develops their reasoning mechanisms.
In this paper we define the rather general framework of Monotonic logic Programs, where the main results of (definite) logicprogramming are validly extrapolated. Whenever defining new logicprogramming extensions, we...
详细信息
Nonmonotonic logicprogramming (NMLP) and inductive logicprogramming (ILP) are two important extensions of logicprogramming. the former aims at representing incomplete knowledge and reasoning with commonsense, while...
详细信息
We present a new concurrent (constraint) logicprogramming language based on partially ordered event structures. A system is modeled as: (a) a set of concurrent processes, which are Prolog programs extended with event...
详细信息
We introduce a methodology and framework for expressing general preference information in logicprogramming under the answer set semantics. At first, we are interested in semantical underpinnings for existing approach...
ISBN:
(纸本)9783540424642
We introduce a methodology and framework for expressing general preference information in logicprogramming under the answer set semantics. At first, we are interested in semantical underpinnings for existing approaches to preference handling in extended logicprogramming. To begin with, we explore three different approaches that have been recently proposed in the literature. Because these approaches use rather different formal means, we furnish a uniform characterizations that allows us to gain insights into the relationships among these approaches.
暂无评论